FRINK Linked Data Fragments server

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

• W2256242912 abstract "Well-quasi-orderings (wqos) (Kruskal, 1972) are a fundamental tool in logic and computer science. They provide termination arguments in a large number of decidability (or finiteness, regularity, ...) results. In constraint solving, automated deduction, program analysis, and many more fields, wqo's usually appear under the guise of specific tools, like Dickson's Lemma (for tuples of integers), Higman's Lemma (for words and their subwords), Kruskal's Tree Theorem and its variants (for finite trees with embeddings), and recently the Robertson-Seymour Theorem (for graphs and their minors). What is not very well known is that wqo-based proofs have an algorithmic content. The purpose of these notes is to provide an introduction to the complexity-theoretical aspects of wqos, to cover both upper bounds and lower bounds techniques, and provide several applications in logics (e.g. data logics, relevance logic), verification (prominently for well-structured transition systems), and rewriting. Our presentation is largely based on recent works that simplify previous results for upper bounds (Figueira et al., 2011; Schmitz and Schnoebelen, 2011) and lower bounds (Schnoebelen, 2010a; Haddad et al., 2012), but also contains some original material." @default.
• W2256242912 created "2016-06-24" @default.
• W2256242912 creator A5042421707 @default.
• W2256242912 creator A5083815456 @default.
• W2256242912 date "2012-08-06" @default.
• W2256242912 modified "2023-10-07" @default.
• W2256242912 title "Algorithmic Aspects of WQO Theory" @default.
• W2256242912 cites W100843780 @default.
• W2256242912 cites W128361183 @default.
• W2256242912 cites W1496021453 @default.
• W2256242912 cites W1504874300 @default.
• W2256242912 cites W1508360721 @default.
• W2256242912 cites W1523652916 @default.
• W2256242912 cites W1528258327 @default.
• W2256242912 cites W1530843743 @default.
• W2256242912 cites W1531103031 @default.
• W2256242912 cites W1539680626 @default.
• W2256242912 cites W1540737511 @default.
• W2256242912 cites W1543926679 @default.
• W2256242912 cites W1575080936 @default.
• W2256242912 cites W1578114838 @default.
• W2256242912 cites W1579247651 @default.
• W2256242912 cites W1723067587 @default.
• W2256242912 cites W1799125424 @default.
• W2256242912 cites W1964297656 @default.
• W2256242912 cites W1965726041 @default.
• W2256242912 cites W1967109918 @default.
• W2256242912 cites W1967174286 @default.
• W2256242912 cites W1968428133 @default.
• W2256242912 cites W1968600138 @default.
• W2256242912 cites W1970398023 @default.
• W2256242912 cites W1971332773 @default.
• W2256242912 cites W1975261774 @default.
• W2256242912 cites W1978654873 @default.
• W2256242912 cites W1980915530 @default.
• W2256242912 cites W1981324778 @default.
• W2256242912 cites W1985536269 @default.
• W2256242912 cites W1985925577 @default.
• W2256242912 cites W1985986492 @default.
• W2256242912 cites W1987814265 @default.
• W2256242912 cites W1988270822 @default.
• W2256242912 cites W1989736956 @default.
• W2256242912 cites W1994073383 @default.
• W2256242912 cites W1998263323 @default.
• W2256242912 cites W1998717089 @default.
• W2256242912 cites W1999590237 @default.
• W2256242912 cites W2001068306 @default.
• W2256242912 cites W2005312844 @default.
• W2256242912 cites W2009732936 @default.
• W2256242912 cites W2010265885 @default.
• W2256242912 cites W2011495892 @default.
• W2256242912 cites W2019346963 @default.
• W2256242912 cites W2019789808 @default.
• W2256242912 cites W2020050887 @default.
• W2256242912 cites W2026629052 @default.
• W2256242912 cites W2030473999 @default.
• W2256242912 cites W2040295920 @default.
• W2256242912 cites W2042546332 @default.
• W2256242912 cites W2052306562 @default.
• W2256242912 cites W2055081868 @default.
• W2256242912 cites W2060988679 @default.
• W2256242912 cites W206882467 @default.
• W2256242912 cites W2069792094 @default.
• W2256242912 cites W2072088733 @default.
• W2256242912 cites W2076508310 @default.
• W2256242912 cites W2078521778 @default.
• W2256242912 cites W2081063330 @default.
• W2256242912 cites W2083176536 @default.
• W2256242912 cites W2083909946 @default.
• W2256242912 cites W2084077240 @default.
• W2256242912 cites W2084570980 @default.
• W2256242912 cites W2089195129 @default.
• W2256242912 cites W2090757722 @default.
• W2256242912 cites W2098675564 @default.
• W2256242912 cites W2098842075 @default.
• W2256242912 cites W2101508170 @default.
• W2256242912 cites W2106001218 @default.
• W2256242912 cites W2110917011 @default.
• W2256242912 cites W2123160677 @default.
• W2256242912 cites W2123910665 @default.
• W2256242912 cites W2134705851 @default.
• W2256242912 cites W2138781755 @default.
• W2256242912 cites W2142270469 @default.
• W2256242912 cites W2145576118 @default.
• W2256242912 cites W2151720555 @default.
• W2256242912 cites W2156077630 @default.
• W2256242912 cites W2157757085 @default.
• W2256242912 cites W2167003332 @default.
• W2256242912 cites W2171697843 @default.
• W2256242912 cites W2177814128 @default.
• W2256242912 cites W2293708017 @default.
• W2256242912 cites W2316437449 @default.
• W2256242912 cites W2336574378 @default.
• W2256242912 cites W2337668806 @default.
• W2256242912 cites W2394783772 @default.
• W2256242912 cites W2668034915 @default.
• W2256242912 cites W2907713860 @default.
• W2256242912 cites W3029117793 @default.
• W2256242912 cites W3104994285 @default.
• W2256242912 cites W615345195 @default.

• next