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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467322638, 9780769547695

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Ordered Conjecture

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

10.1109/lics.2012.33 ◽

2012 ◽

Cited By ~ 3

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 ◽

Cited By ~ 11

Author(s):

Hubie Chen ◽

Victor Dalmau

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 ◽

Cited By ~ 3

Author(s):

Sanjay Jain ◽

Alexei Miasnikov ◽

Frank Stephan

Download Full-text

[Cover art]

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

10.1109/lics.2012.76 ◽

2012 ◽

Keyword(s):

Cover Art

Download Full-text

Better Abstractions for Timed Automata

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

10.1109/lics.2012.48 ◽

2012 ◽

Cited By ~ 8

Author(s):

Frederic Herbreteau ◽

B. Srivathsan ◽

Igor Walukiewicz

Keyword(s):

Timed Automata

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 ◽

Cited By ~ 26

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

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 ◽

Cited By ~ 22

Author(s):

Arnaud Carayol ◽

Olivier Serre

Keyword(s):

Effective Selection ◽

Pushdown Automata

Download Full-text

Decidable Elementary Modal Logics

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

10.1109/lics.2012.59 ◽

2012 ◽

Cited By ~ 3

Author(s):

Jakub Michaliszyn ◽

Jan Otop

Keyword(s):

Modal Logics

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 ◽

Cited By ~ 10

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 ◽

Cited By ~ 2

Author(s):

Andreas Krebs ◽

A.V. Sreejith

Keyword(s):

First Order

Download Full-text

2012 27th Annual IEEE Symposium on Logic in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

On the Ordered Conjecture

Decomposing Quantified Conjunctive (or Disjunctive) Formulas

The Complexity of Verbal Languages over Groups

[Cover art]

Better Abstractions for Timed Automata

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

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

Decidable Elementary Modal Logics

Graph Logics with Rational Relations and the Generalized Intersection Problem

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

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