SciDok

Ihr Suchergebnis

Ergebnis 1 - 5 von 5  1    Gehe zu Seite
von 1
1. Sieber, Kurt (1995) Full abstraction for the second order subset of an ALGOL-like language Report (Bericht)
 
2. Sieber, Kurt (1994) Full abstraction for the second order subset of an ALGOL-like language (preliminary report) Report (Bericht)
 
3. Sieber, Kurt (1984) A partial correctness logic for procedures (in an ALGOL-like language) Report (Bericht)
 
4. Sieber, Kurt (1981) A new Hoare-calculs for programs with recursive parameterless procedures Saarbr├╝cken, 1981 Report (Bericht)
 
5. Sieber, Kurt (1980) Relative completeness of a Hoare-calculus for while-programs Saarbr├╝cken, 1980 Report (Bericht)
 
Ergebnis 1 - 5 von 5  1    Gehe zu Seite
von 1

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English