Please use this identifier to cite or link to this item: https://open.uns.ac.rs/handle/123456789/14277
DC FieldValueLanguage
dc.contributor.authorCrvenković S.en_US
dc.contributor.authorMadarász Rozáliaen_US
dc.date.accessioned2020-03-03T14:55:36Z-
dc.date.available2020-03-03T14:55:36Z-
dc.date.issued1994-11-07-
dc.identifier.issn03043975en_US
dc.identifier.urihttps://open.uns.ac.rs/handle/123456789/14277-
dc.description.abstractDynamic 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.ispartofTheoretical Computer Scienceen
dc.titleOn dynamic algebrasen_US
dc.typeJournal/Magazine Articleen_US
dc.identifier.doi10.1016/0304-3975(94)90279-8-
dc.identifier.scopus2-s2.0-0028767856-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/0028767856-
dc.description.versionUnknownen_US
dc.relation.lastpage86en
dc.relation.firstpage79en
dc.relation.issue1en
dc.relation.volume134en
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.deptPrirodno-matematički fakultet, Departman za matematiku i informatiku-
crisitem.author.orcidhttps://orcid.org/0000-0001-5115-6943-
crisitem.author.orcid0000-0001-5115-6943-
crisitem.author.parentorgPrirodno-matematički fakultet-
Appears in Collections:PMF Publikacije/Publications
Show simple item record

SCOPUSTM   
Citations

1
checked on Nov 20, 2023

Page view(s)

22
Last Week
7
Last month
0
checked on May 10, 2024

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.