Matches in SemOpenAlex for { <https://semopenalex.org/work/W2541640833> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2541640833 startingPage "13" @default.
- W2541640833 abstract "We study the class of languages of finitely-labelled countable linear orderings definable in two-variable first-order logic. We give a number of characterisations, in particular an algebraic one in terms of circle monoids, using equations. This generalises the corresponding characterisation, namely variety DA, over finite words to the countable case. A corollary is that the membership in this class is decidable: for instance given an MSO formula it is possible to check if there is an equivalent two-variable logic formula over countable linear orderings. In addition, we prove that the satisfiability problems for two-variable logic over arbitrary, countable, and scattered linear orderings are NEXPTIME-complete." @default.
- W2541640833 created "2016-11-04" @default.
- W2541640833 creator A5019289646 @default.
- W2541640833 creator A5058483969 @default.
- W2541640833 date "2016-01-01" @default.
- W2541640833 modified "2023-10-02" @default.
- W2541640833 title "Two-Variable Logic over Countable Linear Orderings" @default.
- W2541640833 doi "https://doi.org/10.4230/lipics.mfcs.2016.66" @default.
- W2541640833 hasPublicationYear "2016" @default.
- W2541640833 type Work @default.
- W2541640833 sameAs 2541640833 @default.
- W2541640833 citedByCount "3" @default.
- W2541640833 countsByYear W25416408332018 @default.
- W2541640833 countsByYear W25416408332021 @default.
- W2541640833 countsByYear W25416408332022 @default.
- W2541640833 crossrefType "proceedings-article" @default.
- W2541640833 hasAuthorship W2541640833A5019289646 @default.
- W2541640833 hasAuthorship W2541640833A5058483969 @default.
- W2541640833 hasConcept C110729354 @default.
- W2541640833 hasConcept C114614502 @default.
- W2541640833 hasConcept C118615104 @default.
- W2541640833 hasConcept C134306372 @default.
- W2541640833 hasConcept C153269930 @default.
- W2541640833 hasConcept C154945302 @default.
- W2541640833 hasConcept C168773769 @default.
- W2541640833 hasConcept C182365436 @default.
- W2541640833 hasConcept C2777212361 @default.
- W2541640833 hasConcept C2780012671 @default.
- W2541640833 hasConcept C33923547 @default.
- W2541640833 hasConcept C41008148 @default.
- W2541640833 hasConceptScore W2541640833C110729354 @default.
- W2541640833 hasConceptScore W2541640833C114614502 @default.
- W2541640833 hasConceptScore W2541640833C118615104 @default.
- W2541640833 hasConceptScore W2541640833C134306372 @default.
- W2541640833 hasConceptScore W2541640833C153269930 @default.
- W2541640833 hasConceptScore W2541640833C154945302 @default.
- W2541640833 hasConceptScore W2541640833C168773769 @default.
- W2541640833 hasConceptScore W2541640833C182365436 @default.
- W2541640833 hasConceptScore W2541640833C2777212361 @default.
- W2541640833 hasConceptScore W2541640833C2780012671 @default.
- W2541640833 hasConceptScore W2541640833C33923547 @default.
- W2541640833 hasConceptScore W2541640833C41008148 @default.
- W2541640833 hasLocation W25416408331 @default.
- W2541640833 hasOpenAccess W2541640833 @default.
- W2541640833 hasPrimaryLocation W25416408331 @default.
- W2541640833 hasRelatedWork W1540540181 @default.
- W2541640833 hasRelatedWork W1554071505 @default.
- W2541640833 hasRelatedWork W1602509085 @default.
- W2541640833 hasRelatedWork W1725742926 @default.
- W2541640833 hasRelatedWork W1970423298 @default.
- W2541640833 hasRelatedWork W197661321 @default.
- W2541640833 hasRelatedWork W1991307158 @default.
- W2541640833 hasRelatedWork W1999298839 @default.
- W2541640833 hasRelatedWork W2023793207 @default.
- W2541640833 hasRelatedWork W2052875987 @default.
- W2541640833 hasRelatedWork W2084068730 @default.
- W2541640833 hasRelatedWork W2086359902 @default.
- W2541640833 hasRelatedWork W2169691751 @default.
- W2541640833 hasRelatedWork W2277435709 @default.
- W2541640833 hasRelatedWork W2950545907 @default.
- W2541640833 hasRelatedWork W2951585424 @default.
- W2541640833 hasRelatedWork W2953051185 @default.
- W2541640833 hasRelatedWork W2963802496 @default.
- W2541640833 hasRelatedWork W2964117332 @default.
- W2541640833 hasRelatedWork W3040636176 @default.
- W2541640833 hasVolume "58" @default.
- W2541640833 isParatext "false" @default.
- W2541640833 isRetracted "false" @default.
- W2541640833 magId "2541640833" @default.
- W2541640833 workType "article" @default.