Towards semantics of guarded induction

Bibliografiset tiedot
Päätekijä: ́Pavlovic, D
Aineistotyyppi: Report
Julkaistu: Kestrel Institute 1998