Some general incompleteness results for partial correctness logics

  1. Hortalá-González, M.T.
  2. Lucio-Carrasco, F.
  3. Rodíguez-Artalejo, M.
Aldizkaria:
Information and Computation

ISSN: 1090-2651,  0890-5401

Argitalpen urtea: 1988

Alea: 79

Zenbakia: 1

Orrialdeak: 22-42

Mota: Artikulua

DOI: 10.1016/0890-5401(88)90015-6 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus