Implicit definability and infinitary logic in finite model theory

Anuj Dawar, Lauri Hella, Phokion Kolaitis

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

10 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationProceedings of 22th International Colloquium on Automata, Languages, and Programming (ICALP95)
Publication statusPublished - 1995
Externally publishedYes
Publication typeA4 Article in conference proceedings

Publication series

NameLecture Notes in Computer Science

Cite this