Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
Finite validity via model checking: computing certain answers
Libkin, L.
(Speaker)
School of Informatics
Laboratory for Foundations of Computer Science
Activity
:
Academic talk or presentation types
›
Invited talk
Period
2013
Event title
12th International Workshop on Logic and Computational Complexity
Event type
Conference
Location
Croatia
Show on map
Related content
Projects
XML with Incomplete Information: Representation, Querying and Applications
Project
:
Research