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


Webmaster, Wed Sep 16 10:47:00 2009