Matches in SemOpenAlex for { <https://semopenalex.org/work/W1882580036> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1882580036 abstract "The fact that one can associate a finite monoid with universal properties to each language recognised by an automaton is central to the solution of many practical and theoretical problems in automata theory. It is particularly useful, via the advanced theory initiated by Eilenberg and Reiterman, in separating various complexity classes and, in some cases it leads to decidability of such classes. In joint work with Jean-Eric Pin and Serge Grigorieff we have shown that this theory may be seen as a special case of Stone duality for Boolean algebras extended to a duality between Boolean algebras with additional operations and Stone spaces equipped with Kripke style relations. This is a duality which also plays a fundamental role in other parts of the foundations of computer science, including in modal logic and in domain theory. In this talk I will give a general introduction to Stone duality and explain what this has to do with the connection between regular languages and monoids." @default.
- W1882580036 created "2016-06-24" @default.
- W1882580036 creator A5028851521 @default.
- W1882580036 date "2011-01-01" @default.
- W1882580036 modified "2023-09-25" @default.
- W1882580036 title "Duality and Recognition" @default.
- W1882580036 cites W1991748341 @default.
- W1882580036 cites W2005100072 @default.
- W1882580036 cites W2093397547 @default.
- W1882580036 cites W2097706640 @default.
- W1882580036 cites W2116250539 @default.
- W1882580036 cites W2139772363 @default.
- W1882580036 cites W2139845245 @default.
- W1882580036 cites W2156316905 @default.
- W1882580036 doi "https://doi.org/10.1007/978-3-642-22993-0_3" @default.
- W1882580036 hasPublicationYear "2011" @default.
- W1882580036 type Work @default.
- W1882580036 sameAs 1882580036 @default.
- W1882580036 citedByCount "4" @default.
- W1882580036 countsByYear W18825800362013 @default.
- W1882580036 countsByYear W18825800362014 @default.
- W1882580036 countsByYear W18825800362015 @default.
- W1882580036 countsByYear W18825800362017 @default.
- W1882580036 crossrefType "book-chapter" @default.
- W1882580036 hasAuthorship W1882580036A5028851521 @default.
- W1882580036 hasBestOaLocation W18825800362 @default.
- W1882580036 hasConcept C112505250 @default.
- W1882580036 hasConcept C118615104 @default.
- W1882580036 hasConcept C13355873 @default.
- W1882580036 hasConcept C136119220 @default.
- W1882580036 hasConcept C153269930 @default.
- W1882580036 hasConcept C185592680 @default.
- W1882580036 hasConcept C188027245 @default.
- W1882580036 hasConcept C202444582 @default.
- W1882580036 hasConcept C206901836 @default.
- W1882580036 hasConcept C2524010 @default.
- W1882580036 hasConcept C27508121 @default.
- W1882580036 hasConcept C2778023678 @default.
- W1882580036 hasConcept C33923547 @default.
- W1882580036 hasConcept C41008148 @default.
- W1882580036 hasConcept C52370388 @default.
- W1882580036 hasConcept C71139939 @default.
- W1882580036 hasConcept C80444323 @default.
- W1882580036 hasConceptScore W1882580036C112505250 @default.
- W1882580036 hasConceptScore W1882580036C118615104 @default.
- W1882580036 hasConceptScore W1882580036C13355873 @default.
- W1882580036 hasConceptScore W1882580036C136119220 @default.
- W1882580036 hasConceptScore W1882580036C153269930 @default.
- W1882580036 hasConceptScore W1882580036C185592680 @default.
- W1882580036 hasConceptScore W1882580036C188027245 @default.
- W1882580036 hasConceptScore W1882580036C202444582 @default.
- W1882580036 hasConceptScore W1882580036C206901836 @default.
- W1882580036 hasConceptScore W1882580036C2524010 @default.
- W1882580036 hasConceptScore W1882580036C27508121 @default.
- W1882580036 hasConceptScore W1882580036C2778023678 @default.
- W1882580036 hasConceptScore W1882580036C33923547 @default.
- W1882580036 hasConceptScore W1882580036C41008148 @default.
- W1882580036 hasConceptScore W1882580036C52370388 @default.
- W1882580036 hasConceptScore W1882580036C71139939 @default.
- W1882580036 hasConceptScore W1882580036C80444323 @default.
- W1882580036 hasLocation W18825800361 @default.
- W1882580036 hasLocation W18825800362 @default.
- W1882580036 hasOpenAccess W1882580036 @default.
- W1882580036 hasPrimaryLocation W18825800361 @default.
- W1882580036 hasRelatedWork W1502914746 @default.
- W1882580036 hasRelatedWork W1906467488 @default.
- W1882580036 hasRelatedWork W1966591210 @default.
- W1882580036 hasRelatedWork W1981448743 @default.
- W1882580036 hasRelatedWork W2027839484 @default.
- W1882580036 hasRelatedWork W2093814492 @default.
- W1882580036 hasRelatedWork W2139845245 @default.
- W1882580036 hasRelatedWork W2144927799 @default.
- W1882580036 hasRelatedWork W2146204372 @default.
- W1882580036 hasRelatedWork W2156316905 @default.
- W1882580036 hasRelatedWork W2182877775 @default.
- W1882580036 hasRelatedWork W2203011585 @default.
- W1882580036 hasRelatedWork W2401384051 @default.
- W1882580036 hasRelatedWork W2530099022 @default.
- W1882580036 hasRelatedWork W2531839794 @default.
- W1882580036 hasRelatedWork W2601350484 @default.
- W1882580036 hasRelatedWork W2747442053 @default.
- W1882580036 hasRelatedWork W2978030444 @default.
- W1882580036 hasRelatedWork W3002095623 @default.
- W1882580036 hasRelatedWork W3117857062 @default.
- W1882580036 isParatext "false" @default.
- W1882580036 isRetracted "false" @default.
- W1882580036 magId "1882580036" @default.
- W1882580036 workType "book-chapter" @default.