Deutsch
 
Benutzerhandbuch Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Konferenzbeitrag

Towards a Better-behaved Unification Algorithm for Coq

MPG-Autoren
/persons/resource/persons146400

Ziliani,  Beta
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen
Es sind keine Externen Ressourcen verfügbar
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Ziliani, B., & Sozeau, M. (2014). Towards a Better-behaved Unification Algorithm for Coq. In T. Kutsia, & C. Ringeissen (Eds.), The 28th International Workshop on Unification (pp. 74-87). Linz: Johannes Kepler University. Retrieved from http://www.risc.jku.at/publications/download/risc_5001/proceedings-UNIF2014.pdf.


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-0026-B440-A
Zusammenfassung
Es ist keine Zusammenfassung verfügbar