Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(1236)
Moshe Vardi
26
Gordon Plotkin
17
Marcelo P. Fiore
16
Martin Grohe
14
Phokion G. Kolaitis
13
C.-H. Luke Ong
13
Martín Abadi
13
Leonid Libkin
13
Vincent Danos
12
Amir Pnueli
12
Keywords
(907)
Subscribe
Academic
Conferences
LICS - Logic in Computer Science
Logic in Computer Science,LICS,Algorithms & Theory
LICS - Logic in Computer Science
Publications: 1,344
|
Citation Count: 36,867 (Self-Citation: 1,568)
Year Range: 1986-2011
Fields of study:
Algorithms & Theory
Homepage
Cumulative
Annual
Sort by:
Publications
(1344)
Regular Repair of Specifications
(
Citations: 1
)
Michael Benedikt
,
Gabriele Puppis
,
Cristian Riveros
Conference:
Logic in Computer Science - LICS
, pp. 335-344, 2011
The Dichotomy for Conservative Constraint Satisfaction Problems Revisited
(
Citations: 2
)
Libor Barto
Conference:
Logic in Computer Science - LICS
, pp. 301-310, 2011
Semantics of Higher-Order Quantum Computation via Geometry of Interaction
(
Citations: 1
)
Ichiro Hasuo
,
Naohiko Hoshino
Conference:
Logic in Computer Science - LICS
, pp. 237-246, 2011
Powermonads and Tensors of Unranked Effects
(
Citations: 1
)
Sergey Goncharov
,
Lutz Schröder
Conference:
Logic in Computer Science - LICS
, vol. abs/1101.2, pp. 227-236, 2011
The Complexity of Verifying Ground Tree Rewrite Systems
(
Citations: 1
)
Stefan Goller
,
Anthony Widjaja Lin
Conference:
Logic in Computer Science - LICS
, pp. 279-288, 2011