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
Ano de publicación: 1988
Volume: 79
Número: 1
Páxinas: 22-42
Tipo: Artigo
ISSN: 1090-2651, 0890-5401
Ano de publicación: 1988
Volume: 79
Número: 1
Páxinas: 22-42
Tipo: Artigo