Search results
From MaRDI portal
- Recursion Schemes 2020-05-26 Paper ICE-based refinement type discovery for higher-order functional programs 2019-09-16 Paper Higher-order program verification...10 bytes (14 words) - 08:08, 25 September 2023
- Paper On the power of deep pushdown stacks 2009-11-16 Paper Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws 2009-06-23 Paper Logical and...10 bytes (14 words) - 23:40, 9 December 2023
- of Flowchart and Loop Program Schemes and Programming Languages 1982-01-01 Paper On the Computational Complexity of Program Scheme Equivalence 1980-01-01...10 bytes (18 words) - 07:05, 9 December 2023
- Knowledge Even in a Quantum World 2022-03-31 Paper Recursive proof composition from accumulation schemes 2022-03-23 Paper Linear-time arguments with sublinear...10 bytes (13 words) - 10:22, 7 October 2023
- 2023-11-02 Paper Model Checking Timed Recursive CTL. 2023-10-02 Paper The tail-recursive fragment of timed recursive CTL 2023-09-27 Paper A Decidable Non-Regular...10 bytes (13 words) - 02:46, 25 September 2023
- Paper Recursive assertions and parallel programs 1981-01-01 Paper Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes...10 bytes (17 words) - 23:04, 11 December 2023
- 2022-05-09 Paper Parallel functions in recursive program schemes 2008-06-11 Paper Some equivalent transformations of recursive programs based on their schematic...10 bytes (15 words) - 00:58, 13 December 2023
- Coupling proofs are probabilistic product programs 2017-10-20 Paper Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model 2017-06-13...10 bytes (15 words) - 15:57, 24 September 2023
- 1985-01-01 Paper On separation of the emptiness and equivalence problems for program schemes 1985-01-01 Paper On the power of probabilistic strategies in inductive...10 bytes (14 words) - 09:35, 11 December 2023
- proofs of imperative programs 1998-10-06 Paper A mechanical proof of Segall's PIF algorithm 1997-11-10 Paper Safety and progress of recursive procedures 1996-02-01...10 bytes (15 words) - 11:05, 9 December 2023
- deterministic recursive program schemes 1980-01-01 Paper Metric interpretations of infinite trees and semantics of non deterministic recursive programs 1980-01-01...10 bytes (13 words) - 13:37, 7 December 2023
- Coupling proofs are probabilistic product programs 2017-10-20 Paper Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model 2017-06-13...10 bytes (13 words) - 01:13, 25 September 2023
- de/entity/Q3900995 1980-01-01 Paper Formal computations of non deterministic recursive program schemes 1980-01-01 Paper Adherences of languages 1980-01-01 Paper Metric...10 bytes (15 words) - 10:08, 9 December 2023
- integer programs 2010-03-06 Paper Information-based branching schemes for binary linear mixed integer problems 2010-03-01 Paper An integer programming approach...10 bytes (17 words) - 15:36, 6 December 2023
- 2004-10-06 Paper PARALLEL ROMBERG INTEGRATION OF MULTIDIMENSIONAL INTEGRALS 2004-10-06 Paper BLOCK PARTITIONING IN THE PARALLEL RECURSIVE DECOUPLING METHOD...10 bytes (15 words) - 07:04, 9 December 2023
- and quantitative factors 2021-05-03 Paper A new parallel fuzzy data envelopment analysis model for parallel systems with two components based on Stackelberg...10 bytes (13 words) - 05:17, 7 October 2023
- mardi4nfdi.de/entity/Q4145866 1977-01-01 Paper Primitive recursive algebraic theories and program schemes 1977-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4125728...10 bytes (15 words) - 10:55, 11 December 2023
- Church–Rosser Made Easy 2011-05-18 Paper Halting and equivalence of program schemes in models of arbitrary theories 2010-09-03 Paper Applications of Metric...10 bytes (16 words) - 10:54, 6 October 2023
- Data-driven optimal control with a relaxed linear program 2022-01-03 Paper Parallel and Flexible Dynamic Programming via the Randomized Mini-Batch Operator 2021-10-06...10 bytes (15 words) - 01:39, 7 October 2023
- for linear programming 2012-05-24 Paper On clusterings: good, bad and spectral 2010-08-17 Paper Tensor decomposition and approximation schemes for constraint...10 bytes (15 words) - 00:56, 12 December 2023
