Umfang:
1 Online-Ressource (278 S.
,
graph. Darst.)
ISBN:
0387506675
,
3540506675
,
0387506675
Serie:
Lecture notes in computer science 343
Anmerkung:
Literaturangaben
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Logische Programmierung
;
Programmierung
;
Algebraische Spezifikation
;
Termersetzungssystem
;
Programmierung
;
Algebra
;
Konferenzschrift
DOI:
10.1007/3-540-50667-5