First order lax logic as a framework for constraint logic programming

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Fairtlough, Matthew V. (VerfasserIn)
Weitere Verfasser:	Mendler, Michael V. (VerfasserIn), Walton, Matt (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Passau 1997
Schriftenreihe:	Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1997,14
Schlagworte:	Abstraction > Constraint programming (Computer science) > First-order logic > Logic programming > Informatik > Theoretische Informatik > Mathematik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	51, 5 S.