Treffer: Declarative Graph Algorithms via Knuth-Bendix Completion
Titel:
Declarative Graph Algorithms via Knuth-Bendix Completion / Georg Struth
Beteiligt:
Veröffentlicht:
Augsburg : Universität Augsburg, 2006
Umfang:
Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2002-10