Higher order algebra, logic, and term rewriting first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers

Higher order algebra, logic, and term rewriting first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin u.a. Springer 1994
Schriftenreihe:Lecture notes in computer science 816
Schlagworte:
Algèbre - Congrès
Logica
Logique symbolique et mathématique - Congrès
Réécriture, Systèmes de (Informatique) - Congrès
Réécriture, Systèmes de (informatique) - Congrès
algèbre
implémentation système
langage programmation
logique mathématique
programmation en logique
réécriture
spécification langage
théorie modèle
vérification logique
Logik
Rewriting systems (Computer science) > Congresses
Algebra > Congresses
Logic, Symbolic and mathematical > Congresses
Termersetzungssystem
Algebraische Spezifikation
Konferenzschrift > 1993 > Amsterdam
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Ähnliche Einträge