Fixpoint logics, relational machines, and computational complexity

Proceedings of the Seventh Annual Structure in Complexity Theory Conference

Volumn , Issue , 1992, Pages 156-168

  Abiteboul, Serge ^a   Vardi, Moshe Y ^a   Vianu, Victor ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; FORMAL LOGIC;

COMPLEXITY CLASSES; FIXPOINT LOGIC; RELATIONAL COMPLEXITY THEORY;

COMPUTATIONAL COMPLEXITY;

EID: 0027071213     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (51)