Search results
From MaRDI portal
- programs 2011-08-17 Paper Non-termination analysis of logic programs with integer arithmetics 2011-08-16 Paper Non-termination Analysis of Logic Programs...10 bytes (19 words) - 04:12, 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 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
- loops with non-polynomial assignments 2023-06-02 Paper Distribution estimation for probabilistic loops 2023-06-02 Paper Automated termination analysis of...10 bytes (16 words) - 16:32, 12 December 2023
- of Publication Type A New Approach to Non-termination Analysis of Logic Programs 2012-11-13 Paper Non-termination analysis of logic programs with integer...10 bytes (16 words) - 19:45, 6 October 2023
- ISO Prolog 2013-03-13 Paper Proving Non-looping Non-termination Automatically 2012-09-05 Paper Proving termination by dependency pairs and inductive theorem...10 bytes (16 words) - 22:05, 24 September 2023
- Analysis of ISO Prolog 2013-03-13 Paper Proving Non-looping Non-termination Automatically 2012-09-05 Paper A Dependency Pair Framework for Innermost Complexity...10 bytes (16 words) - 18:49, 6 October 2023
- Publication Date of Publication Type Termination of triangular Integer loops is decidable 2024-02-16 Paper Proving non-termination and lower runtime bounds with...10 bytes (16 words) - 17:54, 24 September 2023
- Paper Folding variant narrowing and optimal variant termination 2013-01-16 Paper Modular termination of basic narrowing and equational unification 2012-06-08...10 bytes (16 words) - 02:26, 12 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q5740420 2016-07-26 Paper On termination of confluent one-rule string-rewriting systems 2016-05-26 Paper The pseudopalindromic...10 bytes (18 words) - 18:22, 9 December 2023
- Publication Type Proving Termination Through Conditional Termination 2020-08-05 Paper Resource Analysis driven by (Conditional) Termination Proofs 2020-05-04...10 bytes (16 words) - 11:26, 6 October 2023
- Logic Using Multiway Decision Graphs (MDGs) 2004-11-19 Paper On the non-termination of MDG-based abstract state enumeration 2003-07-30 Paper...10 bytes (18 words) - 14:29, 11 December 2023
- Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis 2020-05-04 Paper The applicability of logic program...10 bytes (18 words) - 20:35, 9 December 2023
- Operational Termination of CTRSs 2015-09-09 Paper Localized Operational Termination in General Logics 2015-06-22 Paper Operational Termination of Membership...10 bytes (17 words) - 07:17, 7 October 2023
- 2023-02-03 Paper Tuple interpretations for termination of term rewriting 2022-12-12 Paper Term orderings for non-reachability of (conditional) rewriting 2022-12-07...10 bytes (17 words) - 18:37, 24 September 2023
- continuously non-malleable codes 2020-01-30 Paper Probabilistic termination and composability of cryptographic protocols 2019-08-13 Paper Non-uniform bounds...10 bytes (16 words) - 18:37, 24 September 2023
- quasi-parallel solar wind termination shock 2008-09-08 Paper Full Boltzmann-kinetical treatment of an ion plasma crossing an MHD shock: parallel and non-parallel cases...10 bytes (18 words) - 16:02, 8 December 2023
- de/entity/Q5134690 2020-11-17 Paper Interaction between thalamus and hippocampus in termination of amygdala-kindled seizures in mice 2017-08-04 Paper SU(2) and SU(1,1)...10 bytes (17 words) - 21:07, 12 December 2023
- Paper Blockchains from non-idealized hash functions 2021-12-01 Paper Round-preserving parallel composition of probabilistic-termination cryptographic protocols...10 bytes (18 words) - 16:20, 12 December 2023
- 2017-10-13 Paper On proving left termination of constraint logic programs 2017-06-13 Paper A second-order formulation of non-termination 2015-07-15 Paper A new look...10 bytes (16 words) - 09:51, 6 October 2023