𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Neat function algebraic characterizations of logspace and linspace

✍ Scribed by Lars Kristiansen

Publisher
Springer
Year
2005
Tongue
English
Weight
204 KB
Volume
14
Category
Article
ISSN
1016-3328

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Algebraic Characterizations for Universa
Algebraic Characterizations for Universal Fragments of Logic
✍ Raimon Elgueta πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 970 KB

## Abstract In this paper we address our efforts to extend the well‐known connection in equational logic between equational theories and fully invariant congruences to other–possibly infinitary–logics. In the special case of algebras, this problem has been formerly treated by H. J. Hoehnke [10] and