Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/14277
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Crvenković S. | en_US |
dc.contributor.author | Madarász Rozália | en_US |
dc.date.accessioned | 2020-03-03T14:55:36Z | - |
dc.date.available | 2020-03-03T14:55:36Z | - |
dc.date.issued | 1994-11-07 | - |
dc.identifier.issn | 03043975 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/14277 | - |
dc.description.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. | en |
dc.relation.ispartof | Theoretical Computer Science | en |
dc.title | On dynamic algebras | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.doi | 10.1016/0304-3975(94)90279-8 | - |
dc.identifier.scopus | 2-s2.0-0028767856 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/0028767856 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 86 | en |
dc.relation.firstpage | 79 | en |
dc.relation.issue | 1 | en |
dc.relation.volume | 134 | en |
item.grantfulltext | none | - |
item.fulltext | No Fulltext | - |
crisitem.author.dept | Prirodno-matematički fakultet, Departman za matematiku i informatiku | - |
crisitem.author.orcid | https://orcid.org/0000-0001-5115-6943 | - |
crisitem.author.orcid | 0000-0001-5115-6943 | - |
crisitem.author.parentorg | Prirodno-matematički fakultet | - |
Appears in Collections: | PMF Publikacije/Publications |
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.