Treffer 1 – 3 von 3 für Suche 'MacQueen, David B.', Suchdauer: 0,02s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Completeness of proof systems for equational specifications von MacQueen, David B., Sannella, Donald T.
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
2
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages von MacQueen, David B
Veröffentlicht 1998Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
3
Post's problem for recursion in higher types von MacQueen, David B.
Veröffentlicht 1972Signatur: Wird geladen …
Standort: Wird geladen …