Mahr, B.; Makowsky, J. A. Characterizing specification languages which admit initial semantics. (English) Zbl 0522.68026 Trees in algebra and programming, CAAP ’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 300-316 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 Documents MSC: 68P05 Data structures 68Q60 Specification and verification (program logics, model checking, etc.) 03C99 Model theory Keywords:algebraic specification; initial semantics; universal Horn sentences Citations:Zbl 0516.00024 PDFBibTeX XML