FRINK Linked Data Fragments server

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

• W2065930159 endingPage "548" @default.
• W2065930159 startingPage "513" @default.
• W2065930159 abstract "We consider fragments of first-order logic over finite words. In particular, we deal with first-order logic with a restricted number of variables and with the lower levels of the alternation hierarchy. We use the algebraic approach to show decidability of expressibility within these fragments. As a byproduct, we survey several characterizations of the respective fragments. We give complete proofs for all characterizations and we provide all necessary background. Some of the proofs seem to be new and simpler than those which can be found elsewhere. We also give a proof of Simon's theorem on factorization forests restricted to aperiodic monoids because this is simpler and sufficient for our purpose." @default.
• W2065930159 created "2016-06-24" @default.
• W2065930159 creator A5054093863 @default.
• W2065930159 creator A5055386769 @default.
• W2065930159 creator A5064833291 @default.
• W2065930159 date "2008-06-01" @default.
• W2065930159 modified "2023-10-18" @default.
• W2065930159 title "A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS" @default.
• W2065930159 cites W1508466008 @default.
• W2065930159 cites W1533648993 @default.
• W2065930159 cites W1708589781 @default.
• W2065930159 cites W1816620374 @default.
• W2065930159 cites W1976025900 @default.
• W2065930159 cites W1978605527 @default.
• W2065930159 cites W1980692207 @default.
• W2065930159 cites W1985780795 @default.
• W2065930159 cites W1991376038 @default.
• W2065930159 cites W1997358966 @default.
• W2065930159 cites W200063938 @default.
• W2065930159 cites W2003227046 @default.
• W2065930159 cites W2013085432 @default.
• W2065930159 cites W2018073184 @default.
• W2065930159 cites W2019522567 @default.
• W2065930159 cites W2020558489 @default.
• W2065930159 cites W2021552369 @default.
• W2065930159 cites W2028504862 @default.
• W2065930159 cites W2032853624 @default.
• W2065930159 cites W2034847619 @default.
• W2065930159 cites W2038638040 @default.
• W2065930159 cites W2039934838 @default.
• W2065930159 cites W2042177219 @default.
• W2065930159 cites W2047822387 @default.
• W2065930159 cites W2048435760 @default.
• W2065930159 cites W2052706627 @default.
• W2065930159 cites W2053510959 @default.
• W2065930159 cites W2060549391 @default.
• W2065930159 cites W2065599266 @default.
• W2065930159 cites W2066702102 @default.
• W2065930159 cites W2076872551 @default.
• W2065930159 cites W2078174437 @default.
• W2065930159 cites W2079162006 @default.
• W2065930159 cites W2081443805 @default.
• W2065930159 cites W2083946433 @default.
• W2065930159 cites W2089401790 @default.
• W2065930159 cites W2095131801 @default.
• W2065930159 cites W2095996785 @default.
• W2065930159 cites W2116250539 @default.
• W2065930159 cites W2119414381 @default.
• W2065930159 cites W2131159347 @default.
• W2065930159 cites W2222913098 @default.
• W2065930159 cites W2315234012 @default.
• W2065930159 cites W2315689691 @default.
• W2065930159 cites W2318841766 @default.
• W2065930159 cites W2904842705 @default.
• W2065930159 cites W4205178514 @default.
• W2065930159 cites W4210981569 @default.
• W2065930159 cites W4213219346 @default.
• W2065930159 cites W4298234521 @default.
• W2065930159 doi "https://doi.org/10.1142/s0129054108005802" @default.
• W2065930159 hasPublicationYear "2008" @default.
• W2065930159 type Work @default.
• W2065930159 sameAs 2065930159 @default.
• W2065930159 citedByCount "69" @default.
• W2065930159 countsByYear W20659301592012 @default.
• W2065930159 countsByYear W20659301592013 @default.
• W2065930159 countsByYear W20659301592014 @default.
• W2065930159 countsByYear W20659301592015 @default.
• W2065930159 countsByYear W20659301592016 @default.
• W2065930159 countsByYear W20659301592017 @default.
• W2065930159 countsByYear W20659301592018 @default.
• W2065930159 countsByYear W20659301592019 @default.
• W2065930159 countsByYear W20659301592020 @default.
• W2065930159 countsByYear W20659301592021 @default.
• W2065930159 countsByYear W20659301592022 @default.
• W2065930159 countsByYear W20659301592023 @default.
• W2065930159 crossrefType "journal-article" @default.
• W2065930159 hasAuthorship W2065930159A5054093863 @default.
• W2065930159 hasAuthorship W2065930159A5055386769 @default.
• W2065930159 hasAuthorship W2065930159A5064833291 @default.
• W2065930159 hasConcept C100481476 @default.
• W2065930159 hasConcept C10138342 @default.
• W2065930159 hasConcept C104247578 @default.
• W2065930159 hasConcept C108710211 @default.
• W2065930159 hasConcept C11413529 @default.
• W2065930159 hasConcept C114614502 @default.
• W2065930159 hasConcept C118615104 @default.
• W2065930159 hasConcept C134306372 @default.
• W2065930159 hasConcept C136119220 @default.
• W2065930159 hasConcept C138885662 @default.
• W2065930159 hasConcept C153269930 @default.
• W2065930159 hasConcept C162324750 @default.
• W2065930159 hasConcept C182306322 @default.
• W2065930159 hasConcept C187834632 @default.
• W2065930159 hasConcept C202444582 @default.
• W2065930159 hasConcept C2524010 @default.
• W2065930159 hasConcept C26826806 @default.
• W2065930159 hasConcept C31170391 @default.
• W2065930159 hasConcept C33923547 @default.

• next