On the expressive power of variable-confined logics

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 348-359

  Kolaitis, Phokion G ^a   Vardi, Moshe Y ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; EQUIVALENCE CLASSES; FINITE AUTOMATA; THEOREM PROVING;

DESCRIPTIVE COMPLEXITY THEORY; EXPRESSIVE POWER; FINITE MODEL THEORY; FINITE VARIABLE INFINITARY LOGIC; FIRST ORDER LOGIC (FO); LEAST FIXPOINT LOGIC (LFP); VARIABLE CONFINED LOGICS;

FORMAL LOGIC;

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

References (31)