*Result*: Nominal unification with atom and context variables
*Title*:
Nominal unification with atom and context variables / Manfred Schmidt-Schauß and David Sabel
*Author/editor-in-chief*:
*Publication*:
Frankfurt am Main : Institut für Informatik, Goethe-Universität, [2018?]
*Distribution*:
Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg
*Physical description scale*:
1 Online-Ressource (25 Seiten)
*Format*:
*Language*:
*eng*
*series_multipart*:
Technical Report Frank ; 59