16. CADE 1999:
: Invited Talk: Decision procedures for guarded logics.
: On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results.
: Fault-Tolerant Distributed Theorem Proving.
: A formalization of Static Analyses in System F.
Sergei N. Artëmov
: On Explicit Reflection in Theorem Proving and Formal Verification.
: Invited Talk: Rewrite-based Deduction and Symbolic Constraints.
: Towards an Automatic Analysis of Security Protocols in First-Order Logic.
: System Description: MCS: Model-based Conjecture Searching.
: Invited Talk: Embedding Programming Languages in Theorem Provers (Abstract).
Raul H. C. Lopes
: Automatic Generation of Proof Search Strategies for Second-order Logic.
the information on this page was provided by Uwe Waldmann