Search results
From MaRDI portal
- study based on Presburger arithmetic 2014-12-03 Paper A practical approach to model checking duration calculus using Presburger arithmetic 2014-07-11 Paper...10 bytes (18 words) - 01:45, 12 December 2023
- iterated truth 2022-04-01 Paper Multi-dimensional Interpretations of Presburger Arithmetic in Itself 2020-12-15 Paper Short proofs for slow consistency 2020-05-04...10 bytes (18 words) - 15:07, 10 December 2023
- for quantifier-free Presburger arithmetic 2012-07-31 Paper Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic 2011-02-15 Paper Mutation-Based...10 bytes (16 words) - 11:26, 6 October 2023
- Type WHEN IS A NUMERICAL SEMIGROUP A QUOTIENT? 2024-02-12 Paper PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS 2015-08-14...10 bytes (18 words) - 19:43, 11 December 2023
- Multi-dimensional Interpretations of Presburger Arithmetic in Itself 2020-12-15 Paper Interpretations of Presburger arithmetic in itself 2018-04-06 Paper...10 bytes (16 words) - 12:35, 24 September 2023
- Type A practical approach to model checking duration calculus using Presburger arithmetic 2014-07-11 Paper Models and formal verification of multiprocessor...10 bytes (18 words) - 06:47, 13 December 2023
- Paper Structure of Uninorms 2012-02-17 Paper Generic complexity of Presburger arithmetic 2010-03-05 Paper https://portal.mardi4nfdi.de/entity/Q5502885 2009-01-12...10 bytes (18 words) - 15:19, 10 December 2023
- Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic 2009-03-06 Paper Using First-Order Theorem Provers in the Jahob Data...10 bytes (19 words) - 03:01, 13 December 2023
- Interpolating Quantifier-Free Presburger Arithmetic 2010-10-12 Paper An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic 2010-09-14 Paper Ranking...10 bytes (16 words) - 07:09, 7 October 2023
- Publication Date of Publication Type Short Presburger Arithmetic Is Hard 2022-05-03 Paper https://portal.mardi4nfdi.de/entity/Q5155665 2021-10-08 Paper...10 bytes (16 words) - 13:27, 28 January 2024
- Result 2007-05-02 Paper A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition. 2005-06-21 Paper...10 bytes (18 words) - 00:36, 10 December 2023
- 2012-09-25 Paper An interpolating sequent calculus for quantifier-free Presburger arithmetic 2012-07-31 Paper Linear Completeness Thresholds for Bounded Model...10 bytes (17 words) - 11:26, 6 October 2023
- Boolean Algebra with Presburger Arithmetic 2009-03-06 Paper Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars 2008-11-20...10 bytes (16 words) - 20:06, 12 December 2023
- counter systems and Presburger arithmetic 2018-06-05 Paper Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic 2015-10-28 Paper...10 bytes (18 words) - 06:07, 7 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q3837737 1997-07-01 Paper Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs...10 bytes (17 words) - 07:42, 13 December 2023
- Publication Date of Publication Type TaPAS: The Talence Presburger Arithmetic Suite 2009-03-31 Paper https://portal.mardi4nfdi.de/entity/Q4948010 2000-04-26...10 bytes (16 words) - 03:03, 28 December 2023
- Publication Date of Publication Type Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages 2013-09-20 Paper...10 bytes (16 words) - 08:37, 7 October 2023
- study based on Presburger arithmetic 2014-12-03 Paper A practical approach to model checking duration calculus using Presburger arithmetic 2014-07-11 Paper...10 bytes (18 words) - 11:03, 7 October 2023
- de/entity/Q4431395 2003-10-21 Paper The definable criterion for definability in Presburger arithmetic and its applications. 2003-08-17 Paper One application of real-valued...10 bytes (19 words) - 13:28, 28 January 2024
- Publication Date of Publication Type On Presburger arithmetic extended with non-unary counting quantifiers 2023-08-26 Paper Constrained properties, semilinear...10 bytes (16 words) - 03:52, 25 September 2023
