15. CADE 1998:
: Reasoning About Deductions in Linear Logic (Abstract of Invited Talk).
: X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi.
: Unification in Lambda-Calculi with if-then-else.
Hans de Nivelle
: A Resolution Decision Procedure for the Guarded Fragment.
Hans Jürgen Ohlbach
: Combining Hilbert Style and Semantic Reasoning in a Resolution Framework.
: ACL2 Support for Verification Projects (Invited Talk).
: Admissibility of Fixpoint Induction over Partial Types.
: Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk).
: Automated Deduction of Finite-State Control Programs for Reactive Systems.
: Using Matings for Pruning Connection Tableaux.