The following pages link to Frontiers of Combining Systems (Q5491901):
Displayed 23 items.
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- KBO orientability (Q846165) (← links)
- Mechanizing and improving dependency pairs (Q877836) (← links)
- Flow analysis of lazy higher-order functional programs (Q879358) (← links)
- Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
- Typing termination in a higher-order concurrent imperative language (Q979082) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Match-bounds revisited (Q1041044) (← links)
- Increasing interpretations (Q1044231) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Enhancing dependency pair method using strong computability in simply-typed term rewriting (Q2460908) (← links)
- Harnessing First Order Termination Provers Using Higher Order Dependency Pairs (Q3172889) (← links)
- Generalized and Formalized Uncurrying (Q3172898) (← links)
- Certification of Termination Proofs Using CeTA (Q3183545) (← links)
- Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (Q3522011) (← links)
- Deciding Innermost Loops (Q3522030) (← links)
- Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems (Q3540124) (← links)
- From Outermost Termination to Innermost Termination (Q3599101) (← links)
- Loops under Strategies (Q3636816) (← links)
- Dependency Pairs and Polynomial Path Orders (Q3636818) (← links)
- Argument Filterings and Usable Rules for Simply Typed Dependency Pairs (Q3655195) (← links)
- Beyond Dependency Graphs (Q5191112) (← links)
- CSI – A Confluence Tool (Q5200045) (← links)