Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/14277
Title: | On dynamic algebras | Authors: | Crvenković S. Madarász Rozália |
Issue Date: | 7-Nov-1994 | Journal: | Theoretical Computer Science | Abstract: | Dynamic algebras are the Lindenbaum-Tarski algebras of dynamic logics. These algebras can be considered as Boolean algebras with some operators, indexed by the elements of some Kleene algebra. In this paper we prove that there are infinitely many finitely generated varieties of dynamic algebras having undecidable equational theories. All these varieties are generated by representable dynamic algebras. © 1994. | URI: | https://open.uns.ac.rs/handle/123456789/14277 | ISSN: | 03043975 | DOI: | 10.1016/0304-3975(94)90279-8 |
Appears in Collections: | PMF Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
1
checked on Nov 20, 2023
Page view(s)
22
Last Week
7
7
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.