First-order logic vs. fixed-point logic in finite set theory

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 275-284

  Atserias, Albert ^a   Kolaitis, Phokion G ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC DESIGN; MATHEMATICAL MODELS; POLYNOMIALS; PROBLEM SOLVING; SET THEORY; THEOREM PROVING;

FINITE SET THEORY; FIRST ORDER LOGIC; FIXED POINT LOGIC;

COMPUTATIONAL COMPLEXITY;

EID: 0032597499     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)