Zum Inhalt springen

Avenhaus, Jürgen [VerfasserIn]

Reduktionssysteme : Rechnen und Schließen in gleichungsdefinierten Strukturen : mit 39 Abbildungen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York: Springer, 1995

Erschienen in: Springer-Lehrbuch
Avenhaus, Jürgen [VerfasserIn]

On congruences and normal forms definable by term rewriting systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Univ., Fachbereich Informatik, 1984

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 116
Avenhaus, Jürgen [VerfasserIn]

On the termination of the Knuth-Bendix completion algorithm

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Fachbereich Informatik, Univ., 1984

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 120
Avenhaus, Jürgen [HerausgeberIn]; Madlener, K. [HerausgeberIn]

Combinatorial algorithms in algebraic structures

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Univ., Fachbereich Informatik, 1985

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 146
Avenhaus, Jürgen [VerfasserIn]; Madlener, Klaus [VerfasserIn]

P-complete problems in free groups

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Univ., Fachbereich Informatik, 1980

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 32
Avenhaus, Jürgen [VerfasserIn]

Transforming infinite rewrite systems into finite rewrite systems by embedding techniques

Online ansehen
Schließen

Links

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarländische Universitäts- und Landesbibliothek, 1989
Avenhaus, Jürgen [VerfasserIn]; Denzinger, Jörg [VerfasserIn]

Distributing equational theorem proving

Online ansehen
Schließen

Links

https://kluedo.ub.rptu.de/frontdoor/index/index/docId/346

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1999
Avenhaus, Jürgen [VerfasserIn]; Madlener, Klaus [VerfasserIn]

Theorem Proving in Hierarchical Clausal Specifications

Online ansehen
Schließen

Links

https://kluedo.ub.rptu.de/frontdoor/index/index/docId/384

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1999
Avenhaus, Jürgen [VerfasserIn]; Denzinger, Jörg [VerfasserIn]

Informal Proceedings of the Annual Meeting of "GI-Fachgruppe Deduktionssysteme"

Online ansehen
Schließen

Links

https://kluedo.ub.rptu.de/frontdoor/index/index/docId/415

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1993
Avenhaus, Rudolf [VerfasserIn]; Beedgen, Rainer [VerfasserIn]; Goeres, Hans-Jürgen [VerfasserIn]

Sampling for the verification of materials balances - [Als Ms. vervielfältigt]

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: Kernforschungszentrum Karlsruhe, 1983 ; Online-Ausgabe: Karlsruhe: KIT-Bibliothek, 2014

Erschienen in: Kernforschungszentrum Karlsruhe: Kernforschungszentrum Karlsruhe ; 3570
Avenhaus, Jürgen [VerfasserIn]; Plaisted, David A. [VerfasserIn]

General Algorithms for Permutations in Equational Inference

Online ansehen
Schließen

Links

https://kluedo.ub.rptu.de/frontdoor/index/index/docId/377

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1999
Avenhaus, Jürgen [VerfasserIn]; Loría-Sáenz, Carlos [VerfasserIn]

Canonical Conditional Rewrite Systems Containing Extra Variables

Online ansehen
Schließen

Links

https://kluedo.ub.rptu.de/frontdoor/index/index/docId/344

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1993
Avenhaus, Jürgen [VerfasserIn]; Loría-Sáenz, Carlos [VerfasserIn]; Steinbach, Joachim [VerfasserIn]

A Reduction Ordering for Higher-Order Terms

Online ansehen
Schließen

Links

https://kluedo.ub.rptu.de/frontdoor/index/index/docId/372

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1999
Avenhaus, Jürgen

Automated Reasoning: Efficient Algorithms for Computing Modulo Permutation Theories

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2004

Erschienen in: Automated Reasoning
Avenhaus, Jürgen

On the descriptive power of term rewriting systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1986

Erschienen in: Journal of Symbolic Computation
Avenhaus, Jürgen; Löchner, Bernd

Automated Reasoning: CCE: Testing Ground Joinability

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2001

Erschienen in: Automated Reasoning
Avenhaus, Jürgen; Becker, Klaus

Lecture Notes in Computer Science: Operational specifications with built-ins

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1994

Erschienen in: Lecture Notes in Computer Science
Heck, Norbert; Avenhaus, Jürgen

EUROCAL '85: On logic programs with data-driven computations

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1985

Erschienen in: EUROCAL '85
Avenhaus, Jürgen; Loría-Sáenz, Carlos

Logic Programming and Automated Reasoning: On conditional rewrite systems with extra variables and deterministic logic programs

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1994

Erschienen in: Logic Programming and Automated Reasoning
Avenhaus, Jürgen; Denzinger, Jörg; Fuchs, Matthias

Rewriting Techniques and Applications: DISCOUNT: A system for distributed equational deduction

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1995

Erschienen in: Rewriting Techniques and Applications

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr