Search results
From MaRDI portal
- 2022-08-25 Paper Fundamental properties of basic slc-trivial fibrations. I 2022-08-23 Paper Fundamental properties of basic slc-trivial fibrations. II 2022-08-23...10 bytes (14 words) - 09:48, 25 September 2023
- 2021-09-03 Paper Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks 2018-09-06 Paper Interval-based resource usage...10 bytes (16 words) - 02:58, 12 December 2023
- Paper On normal-valued basic pseudo-hoops 2013-01-25 Paper Tense operators on basic algebras 2012-06-20 Paper States on commutative basic algebras 2012-06-18...10 bytes (13 words) - 07:21, 7 October 2023
- of operations in program algebras. I 1988-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3783510 1987-01-01 Paper Primitive program algebras of computable...10 bytes (15 words) - 03:14, 13 December 2023
- mardi4nfdi.de/entity/Q3379803 2021-09-27 Paper On instability of a program manifold of basic control systems 2018-11-23 Paper Frequency conditions for the convergence...10 bytes (15 words) - 17:12, 13 December 2023
- $$-Calculus by Reduction to Sequential Program Termination 2023-03-29 Paper RustHorn: CHC-Based Verification for Rust Programs 2022-10-13 Paper ConSORT: Context-...10 bytes (14 words) - 08:08, 25 September 2023
- involutions 2017-07-03 Paper A note on derivations on basic algebras 2017-04-11 Paper The Conrad program: from \(l\)-groups to algebras of logic. 2016-01-29...10 bytes (13 words) - 21:14, 11 December 2023
- 1972-01-01 Paper Subrecursive Programming Languages, Part I 1972-01-01 Paper The Operator Gap 1972-01-01 Paper On Classes of Program Schemata 1972-01-01 Paper...10 bytes (16 words) - 17:41, 11 December 2023
- maximal linked systems: basic properties and topological constructions 2020-11-16 Paper Ultrafilters and maximal linked systems: basic relations 2020-11-16...10 bytes (16 words) - 00:53, 25 September 2023
- Profiling for Logic Program Execution Time Estimation 2008-03-11 Paper Functional and Logic Programming 2007-09-25 Paper Integrated program debugging, verification...10 bytes (15 words) - 13:55, 28 January 2024
- trajectory of a linear program 1999-06-03 Paper Following a “Balanced” Trajectory from an Infeasible Point to an Optimal Linear Programming Solution with a Polynomial-Time...10 bytes (15 words) - 08:39, 25 September 2023
- extended set of basic linear algebra subprograms: model implementation and test programs 1988-01-01 Paper An extended set of FORTRAN basic linear algebra...10 bytes (16 words) - 07:25, 25 September 2023
- Associativity and/or Commutativity Axioms* 2023-11-09 Paper Optimizing Maude programs via program specialization 2023-08-17 Paper Variant-based equational anti-unification...10 bytes (13 words) - 01:46, 12 December 2023
- Type-specialized staged programming with process separation 2013-01-08 Paper The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification 2008-05-15...10 bytes (15 words) - 13:54, 24 September 2023
- Publication Date of Publication Type Approximating any logic program by a CS-program 2023-07-28 Paper Narrowing directed by a graph of terms 2022-12-09...10 bytes (13 words) - 17:16, 24 September 2023
- Date of Publication Type Adventures in time and space 2017-08-21 Paper Program Size Complexity of Correction Grammars in the Ershov Hierarchy 2016-08-17...10 bytes (15 words) - 08:02, 12 December 2023
- Publication Date of Publication Type \textit{Polyrate 2023}: a computer program for the calculation of chemical reaction rates for polyatomics. New version...10 bytes (13 words) - 13:30, 28 January 2024
- over a field of positive characteristic (The idealistic filtration program). II: Basic invariants associated to the idealistic filtration and their properties...10 bytes (14 words) - 20:00, 24 September 2023
- termination of a logic program 1994-04-05 Paper Basic transformation operations which preserve computed answer substitutions of logic programs 1994-01-13 Paper...10 bytes (15 words) - 07:51, 13 December 2023
- 1980-01-01 Paper Program development: From enumeration to backtracking 1980-01-01 Paper Derivation of Invariant Assertions During Program Development by...10 bytes (15 words) - 07:16, 9 December 2023
