Search results
From MaRDI portal
- C. A. R. Hoare (section List of research outcomes)Proof of a structured program: 'The sieve of Eratosthenes' 1972-01-01 Paper Proof of correctness of data representations 1972-01-01 Paper Proof of a program...10 bytes (22 words) - 01:01, 11 December 2023
- compression power of classical reasoning 2016-12-16 Paper Yet another bijection between sequent calculus and natural deduction 2016-08-01 Paper A calculus for automatic...10 bytes (18 words) - 15:25, 10 December 2023
- Ralph-Johan Back (section List of research outcomes)1982-01-01 Paper Proving total correctness of nondeterministic programs in infinitary logic 1981-01-01 Paper On correct refinement of programs 1981-01-01 Paper...10 bytes (19 words) - 06:31, 9 December 2023
- Ian J. Hayes (section List of research outcomes)2011-07-18 Paper Refinement of Higher-Order Logic Programs 2011-03-04 Paper Reasoning about Loops in Total and General Correctness 2010-08-31 Paper Invariants...10 bytes (18 words) - 14:34, 8 December 2023
- Ildikó Sain (section List of research outcomes)cylindric algebra versions of the downward Löwenheim- Skolem theorem 1988-01-01 Paper Total correctness in nonstandard logics of programs 1987-01-01 Paper...10 bytes (16 words) - 05:13, 12 December 2023
- Zohar Manna (section List of research outcomes)Formalization of Properties of Functional Programs 1970-01-01 Paper The correctness of nondeterministic programs 1970-01-01 Paper Properties of Programs and...10 bytes (17 words) - 09:16, 12 December 2023
- Jan A. Bergstra (section List of research outcomes)Functions in the Context of Signed Involutive Meadows (Extended Abstract) 2020-01-16 Paper On the complexity of the correctness problem for non-zeroness...10 bytes (19 words) - 21:19, 8 December 2023
- Eric C. R. Hehner (section List of research outcomes)de/entity/Q4493907 2001-01-29 Paper Specifications, programs, and total correctness 1999-11-01 Paper Formalization of time and space 1999-06-29 Paper https://portal.mardi4nfdi...10 bytes (20 words) - 00:40, 25 September 2023
- Patrick Cousot (section List of research outcomes)Induction Principles for Proving Total Correctness of Programs with Denotational Semantics 2022-08-25 Paper Calculational design of a regular model checker by...10 bytes (17 words) - 15:03, 12 December 2023
- David Nualart (section List of research outcomes)determinant of the iterated Malliavin matrix and the density of a pair of multiple integrals 2017-03-22 Paper Asymptotic properties of the derivative of self-intersection...10 bytes (17 words) - 11:56, 9 December 2023
- Bart De Moor (section List of research outcomes)identification of linear state-space models 1989-01-01 Paper Non-conventional matrix calculus in the analysis of rank deficient Hankel matrices of finite dimensions...10 bytes (21 words) - 09:03, 9 December 2023
- Gian-Carlo Rota (section List of research outcomes)de/entity/Q4157021 1978-01-01 Paper On the lattice of faces of the 𝑛-cube 1978-01-01 Paper Combinatorial Structure of the Faces of then-Cube 1978-01-01 Paper A measure...10 bytes (19 words) - 09:09, 9 December 2023
- Paul Glasserman (section List of research outcomes)Sampling for the Tail Distribution of Sums of Random Variables 2008-05-27 Paper Malliavin Greeks without Malliavin calculus 2007-12-17 Paper Additive and multiplicative...10 bytes (17 words) - 02:54, 12 December 2023
- K. R. Parthasarathy (section List of research outcomes)quantum stochastic calculus 1999-01-01 Paper Some New Examples of Lie Super-Algebra Representations Arising from Quantum Stochastic Calculus 1998-10-26 Paper...10 bytes (19 words) - 08:50, 7 October 2023
- Adem Kilicman (section List of research outcomes)the sequence of functions via \(q\)-calculus 2022-10-24 Paper Implications of some types of pairwise closed graphs 2022-10-12 Paper Solitons of dispersive...10 bytes (17 words) - 15:41, 9 December 2023
- Joachim Niehren (section List of research outcomes)Paper Observational program calculi and the correctness of translations 2015-04-01 Paper The first-order theory of subtyping constraints 2015-03-17 Paper Knockout...10 bytes (16 words) - 19:06, 24 September 2023
- Ivan Nourdin (section List of research outcomes)Paper Two Properties of Vectors of Quadratic Forms in Gaussian Random Variables 2015-06-15 Paper An invariance principle under the total variation distance...10 bytes (16 words) - 13:31, 28 January 2024
- Pierre-Louis Lions (section List of research outcomes)principle in the calculus of variations. The limit case. I 1985-01-01 Paper The concentration-compactness principle in the calculus of variations. The limit...10 bytes (19 words) - 21:33, 8 December 2023
- Ulrich Berger (section List of research outcomes)computation 2009-05-08 Paper A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ 2009-05-08 Paper A domain model characterising...10 bytes (16 words) - 00:36, 25 September 2023
- Aaron Stump (section List of research outcomes)intersection 2018-06-05 Paper Efficiency of lambda-encodings in total type theory 2017-10-23 Paper The calculus of dependent lambda eliminations 2017-10-23...10 bytes (16 words) - 11:19, 6 October 2023