ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
Latest Publications
TOTAL DOCUMENTS
50
(FIVE YEARS 0)
H-INDEX
13
(FIVE YEARS 0)
Published By IEEE
0818670509
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
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
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
Once and for all [temporal logic]
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.1995.523241
◽
2002
◽
Cited By ~ 9
Author(s):
O. Kupferman
◽
A. Pnueli
Keyword(s):
Temporal Logic
Download Full-text
Complete proof systems for first order interval temporal logic
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.1995.523242
◽
2002
◽
Cited By ~ 26
Author(s):
B. Dutertre
Keyword(s):
Temporal Logic
◽
Order Interval
◽
Complete Proof
◽
First Order
◽
Proof Systems
◽
Interval Temporal Logic
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close