Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014676306> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2014676306 endingPage "86" @default.
- W2014676306 startingPage "79" @default.
- W2014676306 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." @default.
- W2014676306 created "2016-06-24" @default.
- W2014676306 creator A5004740417 @default.
- W2014676306 creator A5033996279 @default.
- W2014676306 date "1994-11-01" @default.
- W2014676306 modified "2023-10-16" @default.
- W2014676306 title "On dynamic algebras" @default.
- W2014676306 cites W137476671 @default.
- W2014676306 cites W1542382543 @default.
- W2014676306 cites W1586267180 @default.
- W2014676306 cites W1975977228 @default.
- W2014676306 cites W1988609263 @default.
- W2014676306 cites W2008967744 @default.
- W2014676306 cites W2022554132 @default.
- W2014676306 cites W2045561258 @default.
- W2014676306 cites W2049894505 @default.
- W2014676306 cites W2098297140 @default.
- W2014676306 cites W2149366752 @default.
- W2014676306 cites W2163152086 @default.
- W2014676306 cites W2402038485 @default.
- W2014676306 cites W2890735527 @default.
- W2014676306 cites W64759565 @default.
- W2014676306 doi "https://doi.org/10.1016/0304-3975(94)90279-8" @default.
- W2014676306 hasPublicationYear "1994" @default.
- W2014676306 type Work @default.
- W2014676306 sameAs 2014676306 @default.
- W2014676306 citedByCount "1" @default.
- W2014676306 crossrefType "journal-article" @default.
- W2014676306 hasAuthorship W2014676306A5004740417 @default.
- W2014676306 hasAuthorship W2014676306A5033996279 @default.
- W2014676306 hasConcept C10021369 @default.
- W2014676306 hasConcept C118615104 @default.
- W2014676306 hasConcept C136119220 @default.
- W2014676306 hasConcept C14394260 @default.
- W2014676306 hasConcept C153269930 @default.
- W2014676306 hasConcept C162860070 @default.
- W2014676306 hasConcept C192034797 @default.
- W2014676306 hasConcept C202444582 @default.
- W2014676306 hasConcept C203254541 @default.
- W2014676306 hasConcept C207764348 @default.
- W2014676306 hasConcept C33923547 @default.
- W2014676306 hasConcept C39685927 @default.
- W2014676306 hasConcept C45503250 @default.
- W2014676306 hasConcept C518143113 @default.
- W2014676306 hasConcept C81518389 @default.
- W2014676306 hasConceptScore W2014676306C10021369 @default.
- W2014676306 hasConceptScore W2014676306C118615104 @default.
- W2014676306 hasConceptScore W2014676306C136119220 @default.
- W2014676306 hasConceptScore W2014676306C14394260 @default.
- W2014676306 hasConceptScore W2014676306C153269930 @default.
- W2014676306 hasConceptScore W2014676306C162860070 @default.
- W2014676306 hasConceptScore W2014676306C192034797 @default.
- W2014676306 hasConceptScore W2014676306C202444582 @default.
- W2014676306 hasConceptScore W2014676306C203254541 @default.
- W2014676306 hasConceptScore W2014676306C207764348 @default.
- W2014676306 hasConceptScore W2014676306C33923547 @default.
- W2014676306 hasConceptScore W2014676306C39685927 @default.
- W2014676306 hasConceptScore W2014676306C45503250 @default.
- W2014676306 hasConceptScore W2014676306C518143113 @default.
- W2014676306 hasConceptScore W2014676306C81518389 @default.
- W2014676306 hasIssue "1" @default.
- W2014676306 hasLocation W20146763061 @default.
- W2014676306 hasOpenAccess W2014676306 @default.
- W2014676306 hasPrimaryLocation W20146763061 @default.
- W2014676306 hasRelatedWork W1496446432 @default.
- W2014676306 hasRelatedWork W1968888224 @default.
- W2014676306 hasRelatedWork W1976227173 @default.
- W2014676306 hasRelatedWork W2014676306 @default.
- W2014676306 hasRelatedWork W2015769372 @default.
- W2014676306 hasRelatedWork W2035242660 @default.
- W2014676306 hasRelatedWork W2069967356 @default.
- W2014676306 hasRelatedWork W2386876903 @default.
- W2014676306 hasRelatedWork W2804748379 @default.
- W2014676306 hasRelatedWork W4301972976 @default.
- W2014676306 hasVolume "134" @default.
- W2014676306 isParatext "false" @default.
- W2014676306 isRetracted "false" @default.
- W2014676306 magId "2014676306" @default.
- W2014676306 workType "article" @default.