Jürgen Avenhaus und Automated - Info zur Person

(1 - 9 von 11

)

SCEAS

sceas.csd.auth.gr

Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin Combining Parallel and Distributed Search in Automated Equational Deduction. [Citation ...

Automated Reasoning: Second International Joint Conference, IJCAR...

books.google.de

Jürgen Avenhaus and David Plaisted. General algorithms for permutations in equational inference. Journal of Automated Reasoning, (26):223–268,

Automated Deduction - CADE-18: 18th International Conference on...

books.google.ae

Jürgen Avenhaus Leo Bachmair Peter Baumgartner Maria Paola Bonacina Li Dafa Gilles Dowek Xiao-Shan Gao Jean Goubault-Larrecq Ryuzo Hasegawa Steffen Hoelldobler Andrew Ireland Deepak Kapur Christoph Kreitz Alexander Leitsch Alexander V. Lyaletski Zohar Manna Fabio Massacci Tom Melham Ralf Moeller ...

Automated Reasoning: First International Joint Conference, IJCAR

books.google.de

Jürgen Avenhaus and Bernd Löchner FB Informatik, Universität Kaiserslautern, Kaiserslautern, Germany &#-kl.de Abstract. Redundancy elimination is a key feature for the efficiency of saturation based theorem provers. Ground joinability is a good candidate for a redundancy criterion but is ...

KLUEDO | Advances in Equational Theorem Proving - Architecture,...

kluedo.ub.uni-kl.de

Automated theorem proving is a search problem and, by its undecidability, a very difficult one. The challenge in the development of a practically successful...

Jürgen Avenhaus

www.infona.pl

Reasoning , Combinatorial Reasoning. In automated deduction it is sometimes helpful ...

Carsten Sinz - Publications

www.carstensinz.de

Publications Activities Talks Software CV Links: ... Jürgen Avenhaus, and Wolfgang Küchlin. Combining parallel and distributed search in automated equational deduction.

Combining Parallel and Distributed Search in Automated Equational...

www.infona.pl

Jürgen Avenhaus, Wolfgang Küchlin ... Jürgen Avenhaus. Universität Kaiserslautern ...

CiteSeerX — Combining Parallel and Distributed Search in Automated...

citeseerx.ist.psu.edu

by Carsten Sinz , Jörg Denzinger , Jürgen Avenhaus , Wolfgang Küchlin ... author = {Carsten Sinz and Jörg Denzinger and Jürgen Avenhaus and Wolfgang ...

Alle Infos zum Namen "Jürgen Avenhaus"

Verwandte Suchanfragen zu Jürgen Avenhaus

Aart Middeldorp
Claude Kirchner
Theo Härder

Wolfgang Küchlin
Jörg Denzinger
Carsten Sinz

Reinhard Gotzhein
Norbert Ritter
Thomas Hillenbrand

Personen
Vorname "Jürgen" (57107)
Name "Avenhaus" (20)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Jürgen Avenhaus und Automated Person-Info