Jürgen Müller

Publication Activity (10 Years)

Years Active: 1986-1993
Publications (10 Years): 0

Publications

Stefan Bussmann, Jürgen Müller
Bargaining Agents. EPIA (1993)
Jörg Denzinger, Jürgen Müller
EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. GWAI (1989)
Jürgen Müller, Rolf Socher-Ambrosius
Workshop on Automated Reasoning. Künstliche Intell. 3 (4) (1989)
Jürgen Müller, Rolf Socher-Ambrosius
A Resolution Calculus Extende by Equivalence. GWAI (1989)
Jürgen Avenhaus, Jörg Denzinger, Jürgen Müller
THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques. RTA (1989)
Jürgen Müller, Rolf Socher-Ambrosius
On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. GWAI (1988)
Jürgen Müller
THEOPOGLES - A Theorem Prover Based on First-Order Polynominals and a Special Knuth-Bendix Procedure. GWAI (1987)
Jürgen Müller, Joachim Steinbach
Topologische Multisetordnungen. GWAI (1986)
Jürgen Müller, Elvira Wagner
Effiziente Reduktionsstrategien in Termersetzunssystemen. GWAI (1986)