FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1840130062> ?p ?o ?g. }

• W1840130062 endingPage "336" @default.
• W1840130062 startingPage "321" @default.
• W1840130062 abstract "Term algebras have wide applicability in computer science. Unfortunately, the decision problem for term algebras has a nonelementary lower bound, which makes the theory and any extension of it intractable in practice. However, it is often more appropriate to consider the bounded class, in which formulae can have arbitrarily long sequences of quantifiers but the quantifier alternation depth is bounded. In this paper we present new quantifier elimination procedures for the first-order theory of term algebras and for its extension with integer arithmetic. The elimination procedures deal with a block of quantifiers of the same type in one step. We show that for the bounded class of at most k quantifier alternations, regardless of the total number of quantifiers, the complexity of our procedures is k-fold exponential (resp. 2k fold exponential) for the theory of term algebras (resp. for the extended theory with integers)." @default.
• W1840130062 created "2016-06-24" @default.
• W1840130062 creator A5034436241 @default.
• W1840130062 creator A5058348937 @default.
• W1840130062 creator A5088174174 @default.
• W1840130062 date "2004-01-01" @default.
• W1840130062 modified "2023-10-18" @default.
• W1840130062 title "Term Algebras with Length Function and Bounded Quantifier Alternation" @default.
• W1840130062 cites W1026721552 @default.
• W1840130062 cites W1502368951 @default.
• W1840130062 cites W1509422729 @default.
• W1840130062 cites W1513644114 @default.
• W1840130062 cites W1517044999 @default.
• W1840130062 cites W1964783683 @default.
• W1840130062 cites W1969335410 @default.
• W1840130062 cites W1992963060 @default.
• W1840130062 cites W1997791746 @default.
• W1840130062 cites W2010104109 @default.
• W1840130062 cites W2033074970 @default.
• W1840130062 cites W2095182415 @default.
• W1840130062 cites W2096975981 @default.
• W1840130062 cites W2113722134 @default.
• W1840130062 cites W2152922041 @default.
• W1840130062 cites W2181289644 @default.
• W1840130062 cites W3037175162 @default.
• W1840130062 doi "https://doi.org/10.1007/978-3-540-30142-4_23" @default.
• W1840130062 hasPublicationYear "2004" @default.
• W1840130062 type Work @default.
• W1840130062 sameAs 1840130062 @default.
• W1840130062 citedByCount "11" @default.
• W1840130062 crossrefType "book-chapter" @default.
• W1840130062 hasAuthorship W1840130062A5034436241 @default.
• W1840130062 hasAuthorship W1840130062A5058348937 @default.
• W1840130062 hasAuthorship W1840130062A5088174174 @default.
• W1840130062 hasConcept C118615104 @default.
• W1840130062 hasConcept C121332964 @default.
• W1840130062 hasConcept C134306372 @default.
• W1840130062 hasConcept C136119220 @default.
• W1840130062 hasConcept C138885662 @default.
• W1840130062 hasConcept C14036430 @default.
• W1840130062 hasConcept C151376022 @default.
• W1840130062 hasConcept C154945302 @default.
• W1840130062 hasConcept C199360897 @default.
• W1840130062 hasConcept C202444582 @default.
• W1840130062 hasConcept C26826806 @default.
• W1840130062 hasConcept C2777212361 @default.
• W1840130062 hasConcept C2778029271 @default.
• W1840130062 hasConcept C2778523021 @default.
• W1840130062 hasConcept C32278780 @default.
• W1840130062 hasConcept C33923547 @default.
• W1840130062 hasConcept C34388435 @default.
• W1840130062 hasConcept C41008148 @default.
• W1840130062 hasConcept C41895202 @default.
• W1840130062 hasConcept C61797465 @default.
• W1840130062 hasConcept C62520636 @default.
• W1840130062 hasConcept C78458016 @default.
• W1840130062 hasConcept C86803240 @default.
• W1840130062 hasConcept C97137487 @default.
• W1840130062 hasConceptScore W1840130062C118615104 @default.
• W1840130062 hasConceptScore W1840130062C121332964 @default.
• W1840130062 hasConceptScore W1840130062C134306372 @default.
• W1840130062 hasConceptScore W1840130062C136119220 @default.
• W1840130062 hasConceptScore W1840130062C138885662 @default.
• W1840130062 hasConceptScore W1840130062C14036430 @default.
• W1840130062 hasConceptScore W1840130062C151376022 @default.
• W1840130062 hasConceptScore W1840130062C154945302 @default.
• W1840130062 hasConceptScore W1840130062C199360897 @default.
• W1840130062 hasConceptScore W1840130062C202444582 @default.
• W1840130062 hasConceptScore W1840130062C26826806 @default.
• W1840130062 hasConceptScore W1840130062C2777212361 @default.
• W1840130062 hasConceptScore W1840130062C2778029271 @default.
• W1840130062 hasConceptScore W1840130062C2778523021 @default.
• W1840130062 hasConceptScore W1840130062C32278780 @default.
• W1840130062 hasConceptScore W1840130062C33923547 @default.
• W1840130062 hasConceptScore W1840130062C34388435 @default.
• W1840130062 hasConceptScore W1840130062C41008148 @default.
• W1840130062 hasConceptScore W1840130062C41895202 @default.
• W1840130062 hasConceptScore W1840130062C61797465 @default.
• W1840130062 hasConceptScore W1840130062C62520636 @default.
• W1840130062 hasConceptScore W1840130062C78458016 @default.
• W1840130062 hasConceptScore W1840130062C86803240 @default.
• W1840130062 hasConceptScore W1840130062C97137487 @default.
• W1840130062 hasLocation W18401300621 @default.
• W1840130062 hasOpenAccess W1840130062 @default.
• W1840130062 hasPrimaryLocation W18401300621 @default.
• W1840130062 hasRelatedWork W1840130062 @default.
• W1840130062 hasRelatedWork W2016056788 @default.
• W1840130062 hasRelatedWork W2278358334 @default.
• W1840130062 hasRelatedWork W2739011940 @default.
• W1840130062 hasRelatedWork W2949223734 @default.
• W1840130062 hasRelatedWork W3023629693 @default.
• W1840130062 hasRelatedWork W3080875783 @default.
• W1840130062 hasRelatedWork W3125214380 @default.
• W1840130062 hasRelatedWork W4297847959 @default.
• W1840130062 hasRelatedWork W2787070439 @default.
• W1840130062 isParatext "false" @default.
• W1840130062 isRetracted "false" @default.
• W1840130062 magId "1840130062" @default.

• next