Two-variable guarded fragment with transitive relations

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 24-34

  Ganzinger, H ^a   Meyer, C ^a   Veanes, M ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; EQUIVALENCE CLASSES; MATHEMATICAL MODELS; TREES (MATHEMATICS);

BINARY RELATIONS; COMPUTATIONAL TREE LOGIC; MODAL LOGICS;

COMPUTABILITY AND DECIDABILITY;

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

References (26)