Schoett, Oliver Two impossibility theorems on behaviour specification of abstract data types. (English) Zbl 0790.68080 Acta Inf. 29, No. 6-7, 595-621 (1992). Reviewer: O.Schoett (München) MSC: 68Q65 68Q60 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Biela, Andrzej Program-substitution and admissibility of rules in algorithmic logic. (English) Zbl 0627.68031 Acta Inf. 25, No. 4, 439-473 (1988). MSC: 68Q65 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Back, R. J. R. Proving total correctness of nondeterministic programs in infinitary logic. (English) Zbl 0467.03028 Acta Inf. 15, 233-249 (1981). MSC: 03C75 68Q60 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI