๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization

โœ Scribed by G. D. Barbour; J. G. Raftery

Book ID
111543984
Publisher
Springer Netherlands
Year
2003
Tongue
English
Weight
537 KB
Volume
74
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Algebraization of the Three-valued BCK-l
Algebraization of the Three-valued BCK-logic
โœ Francisco M. Garcรญa Olmedo; Antonio J. Rodrรญguez Salas ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 252 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.