Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017018565> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2017018565 abstract "We consider the two-variable logic with counting quantifiers (C <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2</sup> ) interpreted over finite structures that contain two forests of ranked trees. This logic is strictly more expressive than standard C <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2</sup> and it is no longer a fragment of the first order logic. In particular, it can express that a structure is a ranked tree, a cycle or a connected graph of bounded degree. It is also strictly more expressive than the first-order logic with two variables and two successor relations of two finite linear orders. We give a decision procedure for the satisfiability problem for this logic. The procedure runs in NEXPTIME, which is optimal since the satisfiability problem for plain C <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2</sup> is NEXPTIME-complete." @default.
- W2017018565 created "2016-06-24" @default.
- W2017018565 creator A5068443996 @default.
- W2017018565 creator A5068506948 @default.
- W2017018565 date "2013-06-01" @default.
- W2017018565 modified "2023-10-16" @default.
- W2017018565 title "Two-Variable Logic with Counting and Trees" @default.
- W2017018565 cites W1488636480 @default.
- W2017018565 cites W1489366126 @default.
- W2017018565 cites W1564256547 @default.
- W2017018565 cites W1619948012 @default.
- W2017018565 cites W1997817571 @default.
- W2017018565 cites W2036564813 @default.
- W2017018565 cites W2086470346 @default.
- W2017018565 cites W2099081288 @default.
- W2017018565 cites W2104419987 @default.
- W2017018565 cites W2121515872 @default.
- W2017018565 cites W2124580444 @default.
- W2017018565 cites W2132205083 @default.
- W2017018565 cites W2136823804 @default.
- W2017018565 cites W2166108892 @default.
- W2017018565 cites W6480589 @default.
- W2017018565 doi "https://doi.org/10.1109/lics.2013.12" @default.
- W2017018565 hasPublicationYear "2013" @default.
- W2017018565 type Work @default.
- W2017018565 sameAs 2017018565 @default.
- W2017018565 citedByCount "23" @default.
- W2017018565 countsByYear W20170185652013 @default.
- W2017018565 countsByYear W20170185652014 @default.
- W2017018565 countsByYear W20170185652015 @default.
- W2017018565 countsByYear W20170185652016 @default.
- W2017018565 countsByYear W20170185652017 @default.
- W2017018565 countsByYear W20170185652021 @default.
- W2017018565 countsByYear W20170185652022 @default.
- W2017018565 crossrefType "proceedings-article" @default.
- W2017018565 hasAuthorship W2017018565A5068443996 @default.
- W2017018565 hasAuthorship W2017018565A5068506948 @default.
- W2017018565 hasConcept C113174947 @default.
- W2017018565 hasConcept C114614502 @default.
- W2017018565 hasConcept C118615104 @default.
- W2017018565 hasConcept C132525143 @default.
- W2017018565 hasConcept C132569581 @default.
- W2017018565 hasConcept C134306372 @default.
- W2017018565 hasConcept C168773769 @default.
- W2017018565 hasConcept C182365436 @default.
- W2017018565 hasConcept C203776342 @default.
- W2017018565 hasConcept C33923547 @default.
- W2017018565 hasConcept C34388435 @default.
- W2017018565 hasConcept C41008148 @default.
- W2017018565 hasConcept C43517604 @default.
- W2017018565 hasConcept C75306776 @default.
- W2017018565 hasConceptScore W2017018565C113174947 @default.
- W2017018565 hasConceptScore W2017018565C114614502 @default.
- W2017018565 hasConceptScore W2017018565C118615104 @default.
- W2017018565 hasConceptScore W2017018565C132525143 @default.
- W2017018565 hasConceptScore W2017018565C132569581 @default.
- W2017018565 hasConceptScore W2017018565C134306372 @default.
- W2017018565 hasConceptScore W2017018565C168773769 @default.
- W2017018565 hasConceptScore W2017018565C182365436 @default.
- W2017018565 hasConceptScore W2017018565C203776342 @default.
- W2017018565 hasConceptScore W2017018565C33923547 @default.
- W2017018565 hasConceptScore W2017018565C34388435 @default.
- W2017018565 hasConceptScore W2017018565C41008148 @default.
- W2017018565 hasConceptScore W2017018565C43517604 @default.
- W2017018565 hasConceptScore W2017018565C75306776 @default.
- W2017018565 hasLocation W20170185651 @default.
- W2017018565 hasOpenAccess W2017018565 @default.
- W2017018565 hasPrimaryLocation W20170185651 @default.
- W2017018565 hasRelatedWork W2178269805 @default.
- W2017018565 hasRelatedWork W2407805022 @default.
- W2017018565 hasRelatedWork W2903809398 @default.
- W2017018565 hasRelatedWork W2949660516 @default.
- W2017018565 hasRelatedWork W2951043270 @default.
- W2017018565 hasRelatedWork W2963030972 @default.
- W2017018565 hasRelatedWork W3082058299 @default.
- W2017018565 hasRelatedWork W3114856694 @default.
- W2017018565 hasRelatedWork W4289107407 @default.
- W2017018565 hasRelatedWork W4384339936 @default.
- W2017018565 isParatext "false" @default.
- W2017018565 isRetracted "false" @default.
- W2017018565 magId "2017018565" @default.
- W2017018565 workType "article" @default.