14. LICS 1999:
Trento, Italy
14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999.
IEEE Computer Society 1999, ISBN 0-7695-0158-3
Invited Talk
Session 1
Session 2
Session 3
Session 4
Dexter Kozen:
On Hoare Logic and Kleene Algebra with Tests.
167-172
Session 5
Session 6
Martin Hofmann:
Semantical Analysis of Higher-Order Abstract Syntax.
204-213
Invited Talk
Session 7
Jan Johannsen:
Weak Bounded Arithmetic, the Diffie-Hellman Problem and Constable's Class K.
268-274
Session 8
Leonid Libkin:
Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries.
316-325
Matthias Ruhl:
Counting and Addition Cannot Express Deterministic Transitive Closure.
326-334
Session 9
Session 10
Session 11
Session 12
Martin Hofmann:
Linear Types and Non-Size-Increasing Polynomial Time Computation.
464-473