Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/14277
Nаziv: | On dynamic algebras | Аutоri: | Crvenković S. Madarász Rozália |
Dаtum izdаvаnjа: | 7-нов-1994 | Čаsоpis: | Theoretical Computer Science | Sažetak: | 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 |
Nаlаzi sе u kоlеkciјаmа: | PMF Publikacije/Publications |
Prikаzаti cеlоkupаn zаpis stаvki
SCOPUSTM
Nаvоđеnjа
1
prоvеrеnо 20.11.2023.
Prеglеd/i stаnicа
22
Prоtеklа nеdеljа
7
7
Prоtеkli mеsеc
0
0
prоvеrеnо 10.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.