van Raamsdonk, Femke; Severi, Paula; Sørensen, Morten Heine B.; Xi, Hongwei Perpetual reductions in \(\lambda\)-calculus. (English) Zbl 0920.03024 Inf. Comput. 149, No. 2, 173-225 (1999). MSC: 03B40 × Cite Format Result Cite Review PDF Full Text: DOI
Badouel, Eric; Darondeau, Philippe; Raoult, Jean-Claude Context-free event domains are recognizable. (English) Zbl 0928.68050 Inf. Comput. 149, No. 2, 134-172 (1999). MSC: 68Q10 × Cite Format Result Cite Review PDF Full Text: DOI Link
Tung, Shih Ping Sentences over integral domains and their computational complexities. (English) Zbl 0940.03015 Inf. Comput. 149, No. 2, 99-133 (1999). MSC: 03B25 12L05 12L12 03D15 68Q25 12E25 03C60 × Cite Format Result Cite Review PDF Full Text: DOI