PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Avenhaus, Jürgen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On using ground joinable equations in equational theorem proving.

, , und . J. Symb. Comput., 36 (1-2): 217-233 (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

apl. Prof. Dr. Jürgen Pleiss University of Stuttgart

Univ. -Prof. Dr. Jürgen Pafel University of Stuttgart

Dr. rer. nat. Jürgen Steinwandel University of Stuttgart

Hon. -Prof. Dr. Jürgen Hammer University of Stuttgart

Hon. -Prof. Dr. Jürgen Blum University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Theorem Proving in Hierarchical Causal Specifications., und . Advances in Algorithms, Languages, and Complexity, Seite 1-51. Kluwer, (1997)On Expressing Commutativity by Finite Church-Rosser Presentations: A Note on Commutative Monoids., , und . ITA, 18 (1): 47-52 (1984)Efficient Algorithms for Computing Modulo Permutation Theories.. IJCAR, Volume 3097 von Lecture Notes in Computer Science, Seite 415-429. Springer, (2004)COMTES - An Experimental Environment for the Completion of Term Rewriting Systems., , und . RTA, Volume 355 von Lecture Notes in Computer Science, Seite 542-546. Springer, (1989)The Nielsen Reduction and P-Complete Problems in Free Groups., und . Theor. Comput. Sci., (1984)CCE: Testing Ground Joinability., und . IJCAR, Volume 2083 von Lecture Notes in Computer Science, Seite 658-662. Springer, (2001)Operational Specifications with Built-Ins., und . STACS, Volume 775 von Lecture Notes in Computer Science, Seite 263-274. Springer, (1994)Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language., und . FGCS, Seite 210-219. OHMSHA Ltd. Tokyo and North-Holland, (1984)On Logic Programs with Data-Driven Computations., und . European Conference on Computer Algebra (2), Volume 204 von Lecture Notes in Computer Science, Seite 433-443. Springer, (1985)On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs., und . LPAR, Volume 822 von Lecture Notes in Computer Science, Seite 215-229. Springer, (1994)