ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
Latest Publications
TOTAL DOCUMENTS
43
(FIVE YEARS 0)
H-INDEX
11
(FIVE YEARS 0)
Published By IEEE Comput. Soc
076951281x
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Probabilistic polynomial-time process calculus and security protocol analysis
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2001.932477
◽
2005
◽
Cited By ~ 2
Author(s):
J. Mitchell
◽
A. Ramanathan
◽
A. Scedrov
◽
V. Teague
Keyword(s):
Polynomial Time
◽
Protocol Analysis
◽
Security Protocol
◽
Process Calculus
◽
Time Process
◽
Probabilistic Polynomial Time
Download Full-text
Successive approximation of abstract transition relations
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2001.932482
◽
2002
◽
Cited By ~ 32
Author(s):
S. Das
◽
D.L. Dill
Keyword(s):
Successive Approximation
Download Full-text
Intuitionistic linear logic and partial correctness
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2001.932502
◽
2002
◽
Cited By ~ 1
Author(s):
D. Kozen
◽
J. Tiuryn
Keyword(s):
Linear Logic
◽
Partial Correctness
◽
Intuitionistic Linear Logic
Download Full-text
Relating semantic and proof-theoretic concepts for polynomial time decidability of uniform word problems
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2001.932485
◽
2002
◽
Cited By ~ 10
Author(s):
H. Ganzinger
Keyword(s):
Polynomial Time
◽
Word Problems
Download Full-text
Dependent types for program termination verification
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2001.932500
◽
2002
◽
Cited By ~ 2
Author(s):
Hongwei Xi
Keyword(s):
Dependent Types
◽
Program Termination
Download Full-text
Relating levels of the mu-calculus hierarchy and levels of the monadic hierarchy
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2001.932510
◽
2002
◽
Cited By ~ 5
Author(s):
D. Janin
◽
G. Lenzi
Download Full-text
Eliminating definitions and Skolem functions in first-order logic
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2001.932490
◽
2002
◽
Cited By ~ 2
Author(s):
J. Avigad
Keyword(s):
Order Logic
◽
First Order Logic
◽
First Order
◽
Skolem Functions
Download Full-text
A bound on attacks on payment protocols
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2001.932483
◽
2002
◽
Cited By ~ 9
Author(s):
S.D. Stoller
Download Full-text
A second-order system for polytime reasoning using Gradel's theorem
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2001.932495
◽
2002
◽
Cited By ~ 1
Author(s):
S. Cook
◽
A. Kolokova
Keyword(s):
Second Order
◽
Order System
Download Full-text
"An n! lower bound on formula size"
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2001.932497
◽
2002
◽
Cited By ~ 4
Author(s):
M. Adler
◽
N. Immerman
Keyword(s):
Lower Bound
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close