Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 1998
Remove all filters
Displaying results 101 to 102 of 102.

  1. Serge Autexier; Heiko Mantel

    Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus

    Vol. SEKI Report SR-98-05, 1998.

  2. Serge Autexier; Heiko Mantel; Werner Stephan

    Simultaneous Quantifier Elimination

    In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German …

Year