Some general incompleteness results for partial correctness logics
- Hortalá-González, M.T.
- Lucio-Carrasco, F.
- Rodíguez-Artalejo, M.
ISSN: 1090-2651, 0890-5401
Datum der Publikation: 1988
Ausgabe: 79
Nummer: 1
Seiten: 22-42
Art: Artikel
ISSN: 1090-2651, 0890-5401
Datum der Publikation: 1988
Ausgabe: 79
Nummer: 1
Seiten: 22-42
Art: Artikel