✦ LIBER ✦

Notes on algebraic specifications

✍ Scribed by I.M. Bradley

Publisher: Elsevier Science
Year: 1989
Tongue: English
Weight: 685 KB
Volume: 31
Category: Article
ISSN: 0950-5849
DOI: 10.1016/0950-5849(89)90157-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Randomness, computability and algebraic

Randomness, computability and algebraic specifications

✍ Bakhadyr Khoussainov 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 999 KB

This paper shows how the notion of randomness defines, in a natural way, an algebra. It turns out that the algebra is computably enumerable and finitely generated. The paper investigates algebraic and effective properties of this algebra.

Behavioural approaches to algebraic spec

Behavioural approaches to algebraic specifications

✍ Gilles Bernot; Michel Bidoit; Teodor Knapik 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 English ⚖ 1012 KB

On the data type extension problem for a

On the data type extension problem for algebraic specifications

✍ Michio Oyamaguchi 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 500 KB

On algebraic and logical specifications

On algebraic and logical specifications of classes of regular languages

✍ Bakhadyr Khoussainov 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 231 KB

The paper studies classes of regular languages based on algebraic constraints imposed on transitions of automata and discusses issues related to speciÿcations of these classes from algebraic, computational and logical points of view.

(Ω, Ξ)-Logic: On the Algebraic Extension

(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications

✍ Rolf Hennicker; Alexander Kurz 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 204 KB

A note on specifications

✍ Sheldon Goldstein 📂 Article 📅 1978 🏛 Springer 🌐 English ⚖ 261 KB