Implicit definability and infinitary logic in finite model theory

Anuj Dawar; Lauri Hella; Phokion Kolaitis

Implicit definability and infinitary logic in finite model theory

Anuj Dawar, Lauri Hella, Phokion Kolaitis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

10 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Proceedings of 22th International Colloquium on Automata, Languages, and Programming (ICALP95)
Pages	624-635
Publication status	Published - 1995
Externally published	Yes
Publication type	A4 Article in conference proceedings

Publication series

Name	Lecture Notes in Computer Science
Number	944

Cite this

@inproceedings{f52e4c94b1df49c0b0e263b71df002f2,

title = "Implicit definability and infinitary logic in finite model theory",

author = "Anuj Dawar and Lauri Hella and Phokion Kolaitis",

year = "1995",

language = "Ei tiedossa",

series = "Lecture Notes in Computer Science",

number = "944",

pages = "624--635",

booktitle = "Proceedings of 22th International Colloquium on Automata, Languages, and Programming (ICALP95)",

}

Implicit definability and infinitary logic in finite model theory. / Dawar, Anuj; Hella, Lauri; Kolaitis, Phokion.

Proceedings of 22th International Colloquium on Automata, Languages, and Programming (ICALP95). 1995. p. 624-635 (Lecture Notes in Computer Science; No. 944).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review