On simultaneous rigid E-unification

Zugl.: Uppsala, Univ., Diss., 1997

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Veanes, Margus (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Uppsala Uppsala University, Computing Science Department 1997
Schriftenreihe:	Uppsala theses in computing science 29
Schlagworte:	Hochschulschrift
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!