On the forms of locality over finite models

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 204-215

  Libkin, Leonid ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; MATHEMATICAL MODELS; QUERY LANGUAGES; RELATIONAL DATABASE SYSTEMS; THEOREM PROVING;

FIRST ORDER LOGIC; GAIFMANS'S LOCALITY THEOREM;

FORMAL LOGIC;

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

References (28)