Search results
From MaRDI portal
- Relative termination via dependency pairs 2017-06-29 Paper Reducing Relative Termination to Dependency Pair Problems 2015-12-02 Paper Proving Termination of...10 bytes (16 words) - 06:07, 13 December 2023
- 2012-05-07 Paper Monotonicity Constraints for Termination in the Integer Domain 2012-04-02 Paper SAT-based termination analysis using monotonicity constraints...10 bytes (20 words) - 05:04, 9 December 2023
- in term rewriting 2023-03-09 Paper Termination of term rewriting by interpretation 2023-03-09 Paper Total termination of term rewriting 2022-12-09 Paper...10 bytes (17 words) - 04:11, 9 December 2023
- Paper On Termination of Meta-programs 2011-05-06 Paper Inference of Termination Conditions for Numerical Loops in Prolog 2011-05-06 Paper Termination prediction...10 bytes (19 words) - 04:12, 9 December 2023
- generation with templates 2012-06-14 Paper On Termination of Meta-programs 2011-05-06 Paper Inference of Termination Conditions for Numerical Loops in Prolog...10 bytes (16 words) - 04:13, 9 December 2023
- Confluence without termination via parallel critical pairs 2023-02-23 Paper Simple termination is difficult 2022-12-09 Paper On proving termination by innermost...10 bytes (17 words) - 03:23, 9 December 2023
- 2012-04-24 Paper Proving operational termination of membership equational programs 2009-08-04 Paper Certifying a Termination Criterion Based on Graphs, without...10 bytes (16 words) - 02:18, 12 December 2023
- 2010-09-14 Paper Operational termination of conditional term rewriting systems 2009-12-04 Paper Proving operational termination of membership equational programs...10 bytes (16 words) - 12:26, 12 December 2023
- Paper On tree automata that certify termination of left-linear term rewriting systems 2007-04-16 Paper Termination proofs for string rewriting systems...10 bytes (16 words) - 02:16, 13 December 2023
- 2009-04-14 Paper Proving Termination with (Boolean) Satisfaction 2009-01-22 Paper Solving Partial Order Constraints for LPO Termination 2008-09-25 Paper Proving...10 bytes (16 words) - 11:27, 11 December 2023
- participants with unequal linear speeds 2018-05-08 Paper Aircraft proximity termination conditions in the planar turn centric modes 2016-12-02 Paper Computation...10 bytes (18 words) - 13:37, 28 January 2024
- Total termination of term rewriting 2022-12-09 Paper Dummy elimination in equational rewriting 2022-12-09 Paper Dummy elimination: Making termination easier...10 bytes (21 words) - 14:31, 13 December 2023
- Paper An ordinal measure based procedure for termination of functions 2001-08-20 Paper Automatizing termination proofs of recursively defined functions 1995-04-06...10 bytes (16 words) - 01:50, 9 December 2023
- Program Development in Computational Logic 2005-12-23 Paper On modular termination proofs of general logic programs 2004-03-01 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 13:16, 12 December 2023
- interpretations as a basis for termination analysis of logic programs 2011-08-17 Paper Termination of Isabelle Functions via Termination of Rewriting 2011-08-17...10 bytes (16 words) - 22:05, 24 September 2023
- Harnessing First Order Termination Provers Using Higher Order Dependency Pairs 2011-10-07 Paper Termination of Isabelle Functions via Termination of Rewriting 2011-08-17...10 bytes (16 words) - 11:26, 6 October 2023
- Paper Analyzing program termination and complexity automatically with \textsf{AProVE} 2017-07-10 Paper Automatically proving termination and memory safety for...10 bytes (18 words) - 09:53, 7 October 2023
- Graphs 2015-10-30 Paper On the termination of some biclique operators on multipartite graphs 2015-09-21 Paper Termination of the iterated strong-factor...10 bytes (20 words) - 08:18, 9 December 2023
- 2011-10-07 Paper Termination of Isabelle Functions via Termination of Rewriting 2011-08-17 Paper Signature Extensions Preserve Termination 2010-09-03 Paper...10 bytes (16 words) - 03:52, 25 September 2023
- Weak Operational Termination of Order-Sorted Rewrite Theories 2015-09-09 Paper 2D Dependency Pairs for Proving Operational Termination of CTRSs 2015-09-09...10 bytes (17 words) - 11:55, 11 December 2023
