Costa, Gerardo; Reggio, Gianna Specification of abstract dynamic-data types: A temporal logic approach. (English) Zbl 0901.68122 Theor. Comput. Sci. 173, No. 2, 513-554 (1997). MSC: 68Q65 68P05 PDFBibTeX XMLCite \textit{G. Costa} and \textit{G. Reggio}, Theor. Comput. Sci. 173, No. 2, 513--554 (1997; Zbl 0901.68122) Full Text: DOI
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut Institutions for logic programming. (English) Zbl 0901.68027 Theor. Comput. Sci. 173, No. 2, 485-511 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Orejas} et al., Theor. Comput. Sci. 173, No. 2, 485--511 (1997; Zbl 0901.68027) Full Text: DOI
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej The definition of Extended ML: A gentle introduction. (English) Zbl 0901.68024 Theor. Comput. Sci. 173, No. 2, 445-484 (1997). MSC: 68N15 PDFBibTeX XMLCite \textit{S. Kahrs} et al., Theor. Comput. Sci. 173, No. 2, 445--484 (1997; Zbl 0901.68024) Full Text: DOI
Hennicker, Rolf; Wirsing, Martin; Bidoit, Michel Proof systems for structured specifications with observability operators. (English) Zbl 0901.68116 Theor. Comput. Sci. 173, No. 2, 393-443 (1997). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. Hennicker} et al., Theor. Comput. Sci. 173, No. 2, 393--443 (1997; Zbl 0901.68116) Full Text: DOI
Jouannaud, Jean-Pierre; Okada, Mitsuhiro Abstract data type systems. (English) Zbl 0901.68121 Theor. Comput. Sci. 173, No. 2, 349-391 (1997). MSC: 68Q65 PDFBibTeX XMLCite \textit{J.-P. Jouannaud} and \textit{M. Okada}, Theor. Comput. Sci. 173, No. 2, 349--391 (1997; Zbl 0901.68121) Full Text: DOI
Cerioli, Maura; Meseguer, José May I borrow your logic? (Transporting logical structures along maps). (English) Zbl 0901.68186 Theor. Comput. Sci. 173, No. 2, 311-347 (1997). MSC: 68T27 PDFBibTeX XMLCite \textit{M. Cerioli} and \textit{J. Meseguer}, Theor. Comput. Sci. 173, No. 2, 311--347 (1997; Zbl 0901.68186) Full Text: DOI