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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 7

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 ◽

Cited By ~ 5

Author(s):

V. Dalmau ◽

A. Krokhin ◽

B. Larose

Keyword(s):

First Order

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 ◽

Cited By ~ 13

Author(s):

D.A. Naumann ◽

M. Barnett

Keyword(s):

Mutable State

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 ◽

Cited By ~ 39

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 ◽

Cited By ~ 12

Author(s):

S. Abramsky

Keyword(s):

Quantum Computation ◽

High Level

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 ◽

Cited By ~ 9

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 ◽

Cited By ~ 9

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 ◽

Cited By ~ 5

Author(s):

S. Wohrle ◽

W. Thomas

Keyword(s):

Model Checking ◽

Transition Systems

Download Full-text

Copyright Page

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

10.1109/lics.2004.1319589 ◽

2004 ◽

Download Full-text

Proof nets and Boolean circuits

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

10.1109/lics.2004.1319612 ◽

2004 ◽

Cited By ~ 7

Author(s):

K. Terui

Keyword(s):

Boolean Circuits ◽

Proof Nets

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

An algebraic approach to the complexity of propositional circumscription

First-order definable retraction problems for posets and reflexive graphs

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

Model checking probabilistic pushdown automata

High-level methods for quantum computation and information

Semantics of a sequential language for exact real-number computation

On the geometry of interaction for classical logic

Model checking synchronized products of infinite transition systems

Copyright Page

Proof nets and Boolean circuits

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