Declarative Representation of Algorithms of Completion by Critical Pairs

A declarative representation of critical pairs for completion algorithms is described. The representation can be considered as a generic program that, after parametrization of some of its functions, realizes the Knuth-Bendix algorithm for solving the word problem in universal algebras or Buchberger...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Cybernetics and systems analysis Jg. 37; H. 6; S. 795 - 799
1. Verfasser:	Volkov, V. A.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer Nature B.V 01.11.2001
Schlagworte:	Algebra Algorithms Computer programming Cybernetics Logic programming Mathematical models Studies
ISSN:	1060-0396, 1573-8337
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!