Sontag, Eduardo D. Real addition and the polynomial hierarchy. (English) Zbl 0575.03030 Inf. Process. Lett. 20, 115-120 (1985). Reviewer: M.Zimand MSC: 03D15 × Cite Format Result Cite Review PDF Full Text: DOI
Book, Ronald V.; Otto, Friedrich Cancellation rules and extended word problems. (English) Zbl 0561.68030 Inf. Process. Lett. 20, 5-11 (1985). MSC: 68Q65 03D03 94A99 03D40 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Harel, David; Peleg, David More on looping vs. repeating in dynamic logic. (English) Zbl 0559.68049 Inf. Process. Lett. 20, 87-90 (1985). Reviewer: H.Nishimura MSC: 68Q65 68Q60 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Noshita, Kohei Translation of Turner combinators in O(n log n) space. (English) Zbl 0558.68028 Inf. Process. Lett. 20, 71-74 (1985). MSC: 68Q65 03B40 68N01 68Q25 03-04 × Cite Format Result Cite Review PDF Full Text: DOI