Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Datatype-Generic Termination P...

Treffer: Datatype-Generic Termination Proofs.

Title:
Datatype-Generic Termination Proofs.
Authors:
Backhouse, Roland1 rcb@cs.nott.ac.uk, Doornbos, Henk2 henk.doornbos@questance.com
Source:
Theory of Computing Systems. Oct2008, Vol. 43 Issue 3/4, p362-393. 32p.
Database:
Business Source Ultimate