A 1ST-ORDER LOGIC FOR PARTIAL RECURSIVE FUNCTIONS

[1] 10 YEARS OF HOARE LOGIC - A SURVEY .1. [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1981, 3 (04): : 431 - 483

[2] A LOGIC COVERING UNDEFINEDNESS IN PROGRAM PROOFS [J]. ACTA INFORMATICA, 1984, 21 (03) : 251 - 269

[3] Blamey Stephen., 1986, HDB PHILOS LOGIC, P1

[4] PARTIAL ABSTRACT TYPES [J]. ACTA INFORMATICA, 1982, 18 (01) : 47 - 64

[5] Burmeister P., 1986, MODEL THEORETIC OR 1

[6] DELAHAYE JP, 1988, EUROPEAN WORKSHOP LO

[7] FAVILANES A, 1989, DIA892 U COMP TECH R

[8] PARTIAL MODELS AND LOGIC PROGRAMMING [J]. THEORETICAL COMPUTER SCIENCE, 1986, 48 (2-3) : 229 - 255

[9] GAVILANES A, 1989, IN PRESS THEORETICAL

[10] GAVILANES A, 1989, THESIS MADRID

[1] 10 YEARS OF HOARE LOGIC - A SURVEY .1. [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1981, 3 (04): : 431 - 483

[2] A LOGIC COVERING UNDEFINEDNESS IN PROGRAM PROOFS [J]. ACTA INFORMATICA, 1984, 21 (03) : 251 - 269

[3] Blamey Stephen., 1986, HDB PHILOS LOGIC, P1

[4] PARTIAL ABSTRACT TYPES [J]. ACTA INFORMATICA, 1982, 18 (01) : 47 - 64

[5] Burmeister P., 1986, MODEL THEORETIC OR 1

[6] DELAHAYE JP, 1988, EUROPEAN WORKSHOP LO

[7] FAVILANES A, 1989, DIA892 U COMP TECH R

[8] PARTIAL MODELS AND LOGIC PROGRAMMING [J]. THEORETICAL COMPUTER SCIENCE, 1986, 48 (2-3) : 229 - 255

[9] GAVILANES A, 1989, IN PRESS THEORETICAL

[10] GAVILANES A, 1989, THESIS MADRID