Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
Latest Publications

TOTAL DOCUMENTS

56

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By IEEE

0769521924

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An algebraic approach to the complexity of propositional circumscription

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. ◽

10.1109/lics.2004.1319631 ◽

2004 ◽

Author(s):

G. Nordh ◽

P. Jonsson

Keyword(s):

Algebraic Approach

Download Full-text

First-order definable retraction problems for posets and reflexive graphs

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. ◽

10.1109/lics.2004.1319617 ◽

2004 ◽

Author(s):

V. Dalmau ◽

A. Krokhin ◽

B. Larose

Keyword(s):

Download Full-text

Towards imperative modules: reasoning about invariants and sharing of mutable state

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. ◽

10.1109/lics.2004.1319626 ◽

2004 ◽

Author(s):

D.A. Naumann ◽

M. Barnett

Keyword(s):

Download Full-text

Model checking probabilistic pushdown automata

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. ◽

10.1109/lics.2004.1319596 ◽

2004 ◽

Author(s):

J. Esparza ◽

A. Kucera ◽

R. Mayr

Keyword(s):

Model Checking ◽

Pushdown Automata

Download Full-text

High-level methods for quantum computation and information

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. ◽

10.1109/lics.2004.1319635 ◽

2004 ◽

Author(s):

S. Abramsky

Keyword(s):

Quantum Computation ◽

Download Full-text

Semantics of a sequential language for exact real-number computation

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. ◽

10.1109/lics.2004.1319637 ◽

2004 ◽

Author(s):

J.R. Marcial-Romero ◽

M.H. Escardo

Keyword(s):

Real Number ◽

Exact Real Number Computation

Download Full-text

On the geometry of interaction for classical logic

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. ◽

10.1109/lics.2004.1319615 ◽

2004 ◽

Author(s):

C. Fuhrmann ◽

D. Pym

Keyword(s):

Classical Logic

Download Full-text

Model checking synchronized products of infinite transition systems

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. ◽

10.1109/lics.2004.1319595 ◽

2004 ◽

Author(s):

S. Wohrle ◽

W. Thomas

Keyword(s):

Model Checking ◽

Transition Systems

Download Full-text

A sequent calculus for nominal logic

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. ◽

10.1109/lics.2004.1319608 ◽

2004 ◽

Author(s):

M. Gabbay ◽

J. Cheney

Keyword(s):

Sequent Calculus ◽

Download Full-text

The sensible graph theories of lambda calculus

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. ◽

10.1109/lics.2004.1319622 ◽

2004 ◽

Author(s):

A. Bucciarelli ◽

A. Salibra

Keyword(s):

Lambda Calculus

Download Full-text