ALL RESULTS

Professor, School of Informatics, University of Edinburgh. I resigned from the University of Toronto. My new webpage is here.

• www.cs.toronto.edu/~libkin
•  · Cached page

Leonid Libkin Position Professor Roles Member of Laboratory for Foundations of Computer Science Research Interests Databases and Applications of logic in computer science.

• www.inf.ed.ac.uk/people/staff/Leonid_Libkin.html
•  · Cached page

Leonid Libkin. Professor, School of Informatics Laboratory for Foundations of Computer Science University of Edinburgh Informatics Forum, IF 5.33, Crichton Street

• homepages.inf.ed.ac.uk/libkin
•  · Cached page

Position: Professor: Affiliation: Department of Computer Science University of Toronto: Address: Department of Computer Science 6 King's College Road Pratt Building, Room PT398A ...

• arnetminer.org/viewperson.do?id=486849&name=Leonid%20Libkin
•  · Cached page

View Leonid Libkin's (United Kingdom) professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Leonid Libkin discover ...

• Higher Education ·
• 30 connections ·
• Edinburgh, United Kingdom

• www.linkedin.com/pub/leonid-libkin/0/639/a77
•  · Cached page

2009; 135 : Leonid Libkin, Cristina Sirangelo: Open and Closed World Assumptions in Data Exchange. Description Logics 2009: 134 : Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina ...

• www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Libkin:Leonid.html
•  · Cached page

Logic/automata connection Regular tree languages =given by tree automata . Typically characterized via MSO | M onadic S econd- O rderlogic MSO isanextension ofrst-order logic with ...

• www.cs.toronto.edu/~libkin/csc2538/icalp05slides.pdf
•  · Cached page
•  · PDF file

Leonid Libkin University of Edinburgh 1 The Mendelzon Workshop, November 2006 Databases and ... being branching and not linear, a logic similar t o LTL can be defined fo r them Libkin 24 ...

• grupoweb.upf.es/webdb/slides/libkin.pdf
•  · Cached page
•  · PDF file

Sign up for Facebook to connect with Leonid Libkin.

• www.facebook.com/people/Leonid-Libkin/1845918294
•  · Cached page

Publications of Leonid Libkin . ACM copyright notice: Copyright (C) 20xx by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of ...

• db.cis.upenn.edu/publications/libkin
•  · Cached page