Publication details

Saarland University Computer Science

Modulare Datentypdefinitionen und Ihre Beziehungen zur Logik erster Stufe

Ralf Treinen

PhD Thesis, Universit├Ąt des Saarlandes, In german, December 1991

Download PDF        Show BibTeX               


Login to edit


Legal notice, Privacy policy