The Exact Unification Type of Commutative Theories

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings of the 29th International Workshop on Unification (UNIF'15)
Redakteure/-innenSantiago Escobar, Mateu Villaret
ErscheinungsortWarsaw, Poland
Seiten19-23
Seitenumfang5
PublikationsstatusVeröffentlicht - 2015
Peer-Review-StatusJa

Externe IDs

ORCID /0000-0002-4049-221X/work/174429082

Schlagworte