Treffer: Nominal unification with atom and context variables
Titel:
Nominal unification with atom and context variables / Manfred Schmidt-Schauß and David Sabel
Veröffentlicht:
Frankfurt am Main : Institut für Informatik, Goethe-Universität, [2018?]
Vertrieb:
Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg
Umfang:
1 Online-Ressource (25 Seiten)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Technical Report Frank ; 59