Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818670509

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finitely monotone properties

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1995.523267 ◽

2002 ◽

Cited By ~ 7

Author(s):

A.P. Stolboushkin

Download Full-text

Ordering, AC-theories and symbolic constraint solving

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1995.523272 ◽

2002 ◽

Cited By ~ 3

Author(s):

H. Comon ◽

R. Nieuwenhuis ◽

A. Rubio

Keyword(s):

Constraint Solving

Download Full-text

Relativized logspace and generalized quantifiers over finite structures

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1995.523245 ◽

2002 ◽

Cited By ~ 5

Author(s):

G. Gottlob

Keyword(s):

Generalized Quantifiers ◽

Finite Structures

Download Full-text

Ptime canonization for two variables with counting

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1995.523269 ◽

2002 ◽

Cited By ~ 5

Author(s):

M. Otto

Download Full-text

Equality between functionals in the presence of coproducts

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1995.523263 ◽

2002 ◽

Cited By ~ 2

Author(s):

D.J. Dougherty ◽

R. Subrahmanyam

Download Full-text

Compositionality via cut-elimination: Hennessy-Milner logic for an arbitrary GSOS

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1995.523276 ◽

2002 ◽

Cited By ~ 9

Author(s):

A.K. Simpson

Keyword(s):

Cut Elimination

Download Full-text

Complexity of normal default logic and related modes of nonmonotonic reasoning

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1995.523255 ◽

2002 ◽

Cited By ~ 2

Author(s):

V.W. Marek ◽

A. Nerode ◽

J.B. Remmel

Keyword(s):

Nonmonotonic Reasoning ◽

Default Logic

Download Full-text

Decision problems for second-order linear logic

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1995.523281 ◽

2002 ◽

Cited By ~ 1

Author(s):

P. Lincoln ◽

A. Scedrov ◽

N. Shankar

Keyword(s):

Linear Logic ◽

Second Order ◽

Decision Problems ◽

Order Linear

Download Full-text

A typed calculus of synchronous processes

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1995.523258 ◽

2002 ◽

Cited By ~ 3

Author(s):

S. Gay ◽

R. Nagarajan

Download Full-text

Generalized quantifiers and 0-1 laws

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1995.523244 ◽

2002 ◽

Cited By ~ 5

Author(s):

A. Dawar ◽

E. Gradel

Keyword(s):

Generalized Quantifiers

Download Full-text

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Finitely monotone properties

Ordering, AC-theories and symbolic constraint solving

Relativized logspace and generalized quantifiers over finite structures

Ptime canonization for two variables with counting

Equality between functionals in the presence of coproducts

Compositionality via cut-elimination: Hennessy-Milner logic for an arbitrary GSOS

Complexity of normal default logic and related modes of nonmonotonic reasoning

Decision problems for second-order linear logic

A typed calculus of synchronous processes

Generalized quantifiers and 0-1 laws

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
Latest Publications