Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100526372> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W3100526372 endingPage "176" @default.
- W3100526372 startingPage "132" @default.
- W3100526372 abstract "Preface. This paper grew out of three tutorial lectures on automatic structures given at the Logic Colloquium 2007 in Wrocław (Poland). The paper will follow the outline of the tutorial lectures, supplementing some material along the way. We discuss variants of automatic structures related to several models of computation: word automata, tree automata, Büchi automata, and Rabin automata. Word automata process finite strings, tree automata process finite labeled trees, Büchi automata process infinite strings, and Rabin automata process infinite binary labeled trees. Finite automata are the most commonly known in the general computer science community. An automaton of this type reads finite input strings from left to right, making state transitions along the way. Depending on its last state after processing a given string, the automaton either accepts or rejects the input string. Automatic structures are mathematical objects which can be represented by (word, tree, Büchi, or Rabin) automata. The study of properties of automatic structures is a relatively new and very active area of research." @default.
- W3100526372 created "2020-11-23" @default.
- W3100526372 creator A5026955369 @default.
- W3100526372 creator A5034299594 @default.
- W3100526372 date "2010-06-07" @default.
- W3100526372 modified "2023-10-14" @default.
- W3100526372 title "Three lectures on automatic structures" @default.
- W3100526372 cites W1487632266 @default.
- W3100526372 cites W1492946114 @default.
- W3100526372 cites W1501737527 @default.
- W3100526372 cites W1517606395 @default.
- W3100526372 cites W1564588006 @default.
- W3100526372 cites W1580390879 @default.
- W3100526372 cites W1602107066 @default.
- W3100526372 cites W1848324794 @default.
- W3100526372 cites W1998523218 @default.
- W3100526372 cites W2020663042 @default.
- W3100526372 cites W2025670714 @default.
- W3100526372 cites W2052306562 @default.
- W3100526372 cites W2056895958 @default.
- W3100526372 cites W2067474877 @default.
- W3100526372 cites W2089351755 @default.
- W3100526372 cites W2114381574 @default.
- W3100526372 cites W4205178514 @default.
- W3100526372 cites W4245789266 @default.
- W3100526372 doi "https://doi.org/10.1017/cbo9780511778421.008" @default.
- W3100526372 hasPublicationYear "2010" @default.
- W3100526372 type Work @default.
- W3100526372 sameAs 3100526372 @default.
- W3100526372 citedByCount "16" @default.
- W3100526372 countsByYear W31005263722012 @default.
- W3100526372 countsByYear W31005263722014 @default.
- W3100526372 countsByYear W31005263722015 @default.
- W3100526372 countsByYear W31005263722016 @default.
- W3100526372 countsByYear W31005263722019 @default.
- W3100526372 countsByYear W31005263722020 @default.
- W3100526372 countsByYear W31005263722021 @default.
- W3100526372 countsByYear W31005263722022 @default.
- W3100526372 crossrefType "book-chapter" @default.
- W3100526372 hasAuthorship W3100526372A5026955369 @default.
- W3100526372 hasAuthorship W3100526372A5034299594 @default.
- W3100526372 hasConcept C104091681 @default.
- W3100526372 hasConcept C112505250 @default.
- W3100526372 hasConcept C113174947 @default.
- W3100526372 hasConcept C11413529 @default.
- W3100526372 hasConcept C114614502 @default.
- W3100526372 hasConcept C116248031 @default.
- W3100526372 hasConcept C118615104 @default.
- W3100526372 hasConcept C157486923 @default.
- W3100526372 hasConcept C167822520 @default.
- W3100526372 hasConcept C174327141 @default.
- W3100526372 hasConcept C2524010 @default.
- W3100526372 hasConcept C33923547 @default.
- W3100526372 hasConcept C37914503 @default.
- W3100526372 hasConcept C41008148 @default.
- W3100526372 hasConcept C50348692 @default.
- W3100526372 hasConcept C80444323 @default.
- W3100526372 hasConcept C90805587 @default.
- W3100526372 hasConcept C92117001 @default.
- W3100526372 hasConcept C92710233 @default.
- W3100526372 hasConceptScore W3100526372C104091681 @default.
- W3100526372 hasConceptScore W3100526372C112505250 @default.
- W3100526372 hasConceptScore W3100526372C113174947 @default.
- W3100526372 hasConceptScore W3100526372C11413529 @default.
- W3100526372 hasConceptScore W3100526372C114614502 @default.
- W3100526372 hasConceptScore W3100526372C116248031 @default.
- W3100526372 hasConceptScore W3100526372C118615104 @default.
- W3100526372 hasConceptScore W3100526372C157486923 @default.
- W3100526372 hasConceptScore W3100526372C167822520 @default.
- W3100526372 hasConceptScore W3100526372C174327141 @default.
- W3100526372 hasConceptScore W3100526372C2524010 @default.
- W3100526372 hasConceptScore W3100526372C33923547 @default.
- W3100526372 hasConceptScore W3100526372C37914503 @default.
- W3100526372 hasConceptScore W3100526372C41008148 @default.
- W3100526372 hasConceptScore W3100526372C50348692 @default.
- W3100526372 hasConceptScore W3100526372C80444323 @default.
- W3100526372 hasConceptScore W3100526372C90805587 @default.
- W3100526372 hasConceptScore W3100526372C92117001 @default.
- W3100526372 hasConceptScore W3100526372C92710233 @default.
- W3100526372 hasLocation W31005263721 @default.
- W3100526372 hasLocation W31005263722 @default.
- W3100526372 hasOpenAccess W3100526372 @default.
- W3100526372 hasPrimaryLocation W31005263721 @default.
- W3100526372 hasRelatedWork W1569273857 @default.
- W3100526372 hasRelatedWork W1871456602 @default.
- W3100526372 hasRelatedWork W1978638999 @default.
- W3100526372 hasRelatedWork W2066393902 @default.
- W3100526372 hasRelatedWork W2070641420 @default.
- W3100526372 hasRelatedWork W2072239058 @default.
- W3100526372 hasRelatedWork W2321667159 @default.
- W3100526372 hasRelatedWork W2367596017 @default.
- W3100526372 hasRelatedWork W2368684504 @default.
- W3100526372 hasRelatedWork W2482365960 @default.
- W3100526372 isParatext "false" @default.
- W3100526372 isRetracted "false" @default.
- W3100526372 magId "3100526372" @default.
- W3100526372 workType "book-chapter" @default.