Ying, Mingsheng When is the ideal completion of abstract basis algebraic. (English) Zbl 0871.68064 Theor. Comput. Sci. 159, No. 2, 355-356 (1996). MSC: 68P05 PDFBibTeX XMLCite \textit{M. Ying}, Theor. Comput. Sci. 159, No. 2, 355--356 (1996; Zbl 0871.68064) Full Text: DOI
Arai, Noriko H. A proper hierarchy of propositional sequent calculi. (English) Zbl 0871.68161 Theor. Comput. Sci. 159, No. 2, 343-354 (1996). MSC: 68T27 PDFBibTeX XMLCite \textit{N. H. Arai}, Theor. Comput. Sci. 159, No. 2, 343--354 (1996; Zbl 0871.68161) Full Text: DOI
Sambin, Giovanni; Valentini, Silvio; Virgili, Paolo Constructive domain theory as a branch of intuitionistic pointfree topology. (English) Zbl 0871.68063 Theor. Comput. Sci. 159, No. 2, 319-341 (1996). MSC: 68P05 PDFBibTeX XMLCite \textit{G. Sambin} et al., Theor. Comput. Sci. 159, No. 2, 319--341 (1996; Zbl 0871.68063) Full Text: DOI
Erdogmus, Hakan; Johnston, Robert; Ferguson, Michael On the operational semantics of nondeterminism and divergence. (English) Zbl 0871.68123 Theor. Comput. Sci. 159, No. 2, 271-317 (1996). MSC: 68Q55 PDFBibTeX XMLCite \textit{H. Erdogmus} et al., Theor. Comput. Sci. 159, No. 2, 271--317 (1996; Zbl 0871.68123) Full Text: DOI Link
Gritzner, Thomas F.; Berghammer, Rudolf A relation algebraic model of robust correctness. (English) Zbl 0871.68125 Theor. Comput. Sci. 159, No. 2, 245-270 (1996). MSC: 68Q65 PDFBibTeX XMLCite \textit{T. F. Gritzner} and \textit{R. Berghammer}, Theor. Comput. Sci. 159, No. 2, 245--270 (1996; Zbl 0871.68125) Full Text: DOI
Asperti, Andrea; Laneve, Cosimo Interaction systems II: The practice of optimal reductions. (English) Zbl 0873.03015 Theor. Comput. Sci. 159, No. 2, 191-244 (1996). MSC: 03B40 68Q42 68M10 PDFBibTeX XMLCite \textit{A. Asperti} and \textit{C. Laneve}, Theor. Comput. Sci. 159, No. 2, 191--244 (1996; Zbl 0873.03015) Full Text: DOI Link
Bündgen, Reinhard Buchberger’s algorithm: The term rewriter’s point of view. (English) Zbl 0871.68088 Theor. Comput. Sci. 159, No. 2, 143-190 (1996). MSC: 68W10 68Q42 PDFBibTeX XMLCite \textit{R. Bündgen}, Theor. Comput. Sci. 159, No. 2, 143--190 (1996; Zbl 0871.68088) Full Text: DOI