Meyer, J.-J. Ch.; van der Hoek, W.; Vreeswijk, G. A. W. Epistemic logic for computer science: A tutorial. II. (English) Zbl 0760.68073 Bull. EATCS 45, 256-287 (1991). MSC: 68T27 PDFBibTeX XMLCite \textit{J. J. Ch. Meyer} et al., Bull. EATCS 45, 256--287 (1991; Zbl 0760.68073)
Permvall, Oskar A bibliography on sketches from the computer science point of view. (English) Zbl 0756.18005 Bull. EATCS 45, 238-255 (1991). MSC: 18C10 68Qxx 00A15 18-00 68-00 PDFBibTeX XMLCite \textit{O. Permvall}, Bull. EATCS 45, 238--255 (1991; Zbl 0756.18005)
Turner, David Duality and De Morgan laws for the algebra of lists. (English) Zbl 0759.68015 Bull. EATCS 45, 229-237 (1991). Reviewer: M.Juza (Opava) MSC: 68N01 68P05 68W30 PDFBibTeX XMLCite \textit{D. Turner}, Bull. EATCS 45, 229--237 (1991; Zbl 0759.68015)
Turakainen, Paavo A unified approach to characterizations of recursively enumerable languages. (English) Zbl 0756.68065 Bull. EATCS 45, 223-228 (1991). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Turakainen}, Bull. EATCS 45, 223--228 (1991; Zbl 0756.68065)
Păun, Gheorghe A characterization of recursively enumerable languages. (English) Zbl 0756.68063 Bull. EATCS 45, 218-222 (1991). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Păun}, Bull. EATCS 45, 218--222 (1991; Zbl 0756.68063)
Leuchner, John H.; Miller, Les; Slutzki, Giora Agreement graph dependencies. (English) Zbl 0757.68040 Bull. EATCS 45, 202-217 (1991). MSC: 68P15 68R10 PDFBibTeX XMLCite \textit{J. H. Leuchner} et al., Bull. EATCS 45, 202--217 (1991; Zbl 0757.68040)
Fülöp, Zoltán; Vágvölgyi, Sándor Ground term rewriting rules for the word problem of ground term equations. (English) Zbl 0757.68069 Bull. EATCS 45, 186-201 (1991). MSC: 68Q42 68Q05 68T15 PDFBibTeX XMLCite \textit{Z. Fülöp} and \textit{S. Vágvölgyi}, Bull. EATCS 45, 186--201 (1991; Zbl 0757.68069)
Inverardi, Paola; Priami, Corrado Evaluation of tools for the analysis of communicating systems. (English) Zbl 0757.68054 Bull. EATCS 45, 158-185 (1991). MSC: 68Q10 68Q60 PDFBibTeX XMLCite \textit{P. Inverardi} and \textit{C. Priami}, Bull. EATCS 45, 158--185 (1991; Zbl 0757.68054)
Choffrut, Christian Conjugacies. (English) Zbl 0780.20036 Bull. EATCS 45, 148-157 (1991). MSC: 20M05 PDFBibTeX XMLCite \textit{C. Choffrut}, Bull. EATCS 45, 148--157 (1991; Zbl 0780.20036)
Akman, Varol Undaunted sets. (English) Zbl 0800.03027 Bull. EATCS 45, 146-147 (1991). MSC: 03E70 PDFBibTeX XMLCite \textit{V. Akman}, Bull. EATCS 45, 146--147 (1991; Zbl 0800.03027)
Dassow, Jürgen; Kelemen, Jozef Cooperating/distributed grammar systems: A link between formal languages and artificial intelligence. (English) Zbl 0756.68069 Bull. EATCS 45, 131-145 (1991). MSC: 68Q42 68Q45 68T99 PDFBibTeX XMLCite \textit{J. Dassow} and \textit{J. Kelemen}, Bull. EATCS 45, 131--145 (1991; Zbl 0756.68069)
Selman, Alan L. Complexity classes for partial functions. (English) Zbl 0757.68058 Bull. EATCS 45, 114-130 (1991). MSC: 68Q15 PDFBibTeX XMLCite \textit{A. L. Selman}, Bull. EATCS 45, 114--130 (1991; Zbl 0757.68058)
Gunter, Carl A. Forms of semantic specification. (English) Zbl 0757.68075 Bull. EATCS 45, 98-113 (1991). MSC: 68Q55 PDFBibTeX XMLCite \textit{C. A. Gunter}, Bull. EATCS 45, 98--113 (1991; Zbl 0757.68075)
Parisi Presicce, F.; Pierantonio, A. Towards the algebraic specification of classes in object oriented programming. (English) Zbl 0757.68081 Bull. EATCS 45, 86-97 (1991). MSC: 68Q65 PDFBibTeX XMLCite \textit{F. Parisi Presicce} and \textit{A. Pierantonio}, Bull. EATCS 45, 86--97 (1991; Zbl 0757.68081)