Implicit definability and infinitary logic in finite model theory

Anuj Dawar, Lauri Hella, Phokion Kolaitis

Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

10 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings of 22th International Colloquium on Automata, Languages, and Programming (ICALP95)
Sivut	624-635
Tila	Julkaistu - 1995
Julkaistu ulkoisesti	Kyllä
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Nimi	Lecture Notes in Computer Science
Numero	944

Siteeraa tätä

@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)",

}