Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Bericht;
E-Book
Titel:
General Algorithms for Permutations in Equational Inference
Beteiligte:
Avenhaus, Jürgen
[VerfasserIn];
Plaisted, David A.
[VerfasserIn]
Erschienen:
KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1999
Sprache:
Englisch
Entstehung:
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
We study some general algorithms for processing permutations and permu-tation groups and consider their application to equational reasoning and term-rewriting systems. We also present some complexity results for particular equa-tional consequence problems related to permutations.