David, R. The Inf function in the system \(F\). (English) Zbl 0829.68072 Theor. Comput. Sci. 135, No. 2, 423-431 (1994). MSC: 68W30 68Q42 68T27 PDFBibTeX XMLCite \textit{R. David}, Theor. Comput. Sci. 135, No. 2, 423--431 (1994; Zbl 0829.68072) Full Text: DOI
Trigg, Peter; Hindley, J. Roger; Bunder, Martin W. Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends. (English) Zbl 0838.03012 Theor. Comput. Sci. 135, No. 2, 405-422 (1994). Reviewer: S.Martini (Udine) MSC: 03B40 PDFBibTeX XMLCite \textit{P. Trigg} et al., Theor. Comput. Sci. 135, No. 2, 405--422 (1994; Zbl 0838.03012) Full Text: DOI
Li, Jianan; Suzuki, Ichiro; Yamashita, Masafumi Fair Petri nets and structural induction for rings of processes. (English) Zbl 0829.68091 Theor. Comput. Sci. 135, No. 2, 377-404 (1994). MSC: 68Q85 68Q10 PDFBibTeX XMLCite \textit{J. Li} et al., Theor. Comput. Sci. 135, No. 2, 377--404 (1994; Zbl 0829.68091) Full Text: DOI
Hiraishi, Kunihiko Some complexity results on transition systems and elementary net systems. (English) Zbl 0829.68090 Theor. Comput. Sci. 135, No. 2, 361-376 (1994). MSC: 68Q85 68W15 68Q15 PDFBibTeX XMLCite \textit{K. Hiraishi}, Theor. Comput. Sci. 135, No. 2, 361--376 (1994; Zbl 0829.68090) Full Text: DOI
Scott, E. A. Weights for total division orderings on strings. (English) Zbl 0829.68074 Theor. Comput. Sci. 135, No. 2, 345-359 (1994). MSC: 68Q42 PDFBibTeX XMLCite \textit{E. A. Scott}, Theor. Comput. Sci. 135, No. 2, 345--359 (1994; Zbl 0829.68074) Full Text: DOI
Manoury, Pascal; Simonot, Marianne Automatizing termination proofs of recursively defined functions. (English) Zbl 0829.68031 Theor. Comput. Sci. 135, No. 2, 319-343 (1994). MSC: 68N99 68Q45 PDFBibTeX XMLCite \textit{P. Manoury} and \textit{M. Simonot}, Theor. Comput. Sci. 135, No. 2, 319--343 (1994; Zbl 0829.68031) Full Text: DOI
Bracho, Felipe; Droste, Manfred Labelled domains and automata with concurrency. (English) Zbl 0829.68087 Theor. Comput. Sci. 135, No. 2, 289-318 (1994). MSC: 68Q45 PDFBibTeX XMLCite \textit{F. Bracho} and \textit{M. Droste}, Theor. Comput. Sci. 135, No. 2, 289--318 (1994; Zbl 0829.68087) Full Text: DOI
Lastovetsky, Alexey L.; Gaissaryan, Sergey S. An algebraic approach to semantics of programming languages. (English) Zbl 0829.68080 Theor. Comput. Sci. 135, No. 2, 267-288 (1994). MSC: 68Q55 68N15 68Q45 PDFBibTeX XMLCite \textit{A. L. Lastovetsky} and \textit{S. S. Gaissaryan}, Theor. Comput. Sci. 135, No. 2, 267--288 (1994; Zbl 0829.68080) Full Text: DOI
Ehrig, Hartmut; Große-Rhode, Martin Functorial theory of parameterized specifications in a general specification framework. (English) Zbl 0829.68086 Theor. Comput. Sci. 135, No. 2, 221-266 (1994). MSC: 68Q65 68Q60 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{M. Große-Rhode}, Theor. Comput. Sci. 135, No. 2, 221--266 (1994; Zbl 0829.68086) Full Text: DOI
Baier, Christel; Majster-Cederbaum, Mila E. Denotational semantics in the cpo and metric approach. (English) Zbl 0829.68079 Theor. Comput. Sci. 135, No. 2, 171-220 (1994). MSC: 68Q55 PDFBibTeX XMLCite \textit{C. Baier} and \textit{M. E. Majster-Cederbaum}, Theor. Comput. Sci. 135, No. 2, 171--220 (1994; Zbl 0829.68079) Full Text: DOI