2012 27th Annual IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

76

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By IEEE

9781467322638, 9780769547695

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

[Cover art]

2012 27th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2012.76 ◽

2012 ◽

Keyword(s):

Download Full-text

The Complexity of Verbal Languages over Groups

2012 27th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2012.50 ◽

2012 ◽

Author(s):

Sanjay Jain ◽

Alexei Miasnikov ◽

Frank Stephan

Download Full-text

On the Ordered Conjecture

2012 27th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2012.33 ◽

2012 ◽

Author(s):

Yijia Chen ◽

Jorg Flum

Download Full-text

Decomposing Quantified Conjunctive (or Disjunctive) Formulas

2012 27th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2012.31 ◽

2012 ◽

Author(s):

Hubie Chen ◽

Victor Dalmau

Download Full-text

Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection

2012 27th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2012.73 ◽

2012 ◽

Author(s):

Arnaud Carayol ◽

Olivier Serre

Keyword(s):

Effective Selection ◽

Pushdown Automata

Download Full-text

Better Abstractions for Timed Automata

2012 27th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2012.48 ◽

2012 ◽

Author(s):

Frederic Herbreteau ◽

B. Srivathsan ◽

Igor Walukiewicz

Keyword(s):

Download Full-text

Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving

2012 27th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2012.75 ◽

2012 ◽

Author(s):

Dmitry Traytel ◽

Andrei Popescu ◽

Jasmin C. Blanchette

Keyword(s):

Theorem Proving ◽

Category Theory ◽

Higher Order ◽

Order Logic ◽

Higher Order Logic

Download Full-text

Decidable Elementary Modal Logics

2012 27th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2012.59 ◽

2012 ◽

Author(s):

Jakub Michaliszyn ◽

Jan Otop

Keyword(s):

Download Full-text

Graph Logics with Rational Relations and the Generalized Intersection Problem

2012 27th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2012.23 ◽

2012 ◽

Author(s):

Pablo Barcelo ◽

Diego Figueira ◽

Leonid Libkin

Keyword(s):

Intersection Problem

Download Full-text

Non-definability of Languages by Generalized First-order Formulas over (N,+)

2012 27th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2012.55 ◽

2012 ◽

Author(s):

Andreas Krebs ◽

A.V. Sreejith

Keyword(s):

Download Full-text