| Publication | Date of Publication | Type |
|---|
| Deformalization as the immanent part of logical solving | 2020-09-17 | Paper |
| Formalization as the Immanent Part of Logical Solving | 2019-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982103 | 2015-03-23 | Paper |
| Abstract Chaitin's theorem and its methodological consequences | 2013-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4914853 | 2013-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3108637 | 2012-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081824 | 2011-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3567768 | 2010-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3535120 | 2008-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4467740 | 2004-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424648 | 2004-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4444894 | 2004-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789041 | 2003-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789184 | 2003-04-23 | Paper |
| On applied theories with superintuitionistic logics | 2002-03-12 | Paper |
| Logical and algorithmic formalisms for the problem of correct program design | 2001-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268407 | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041013 | 1993-06-05 | Paper |
| A bridge between constructive logic and computer programming | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3973194 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3349960 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3034802 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3818307 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3808064 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757913 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4724622 | 1985-01-01 | Paper |
| Semantics of algorithmic languages | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5187276 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3330479 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3338238 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3314967 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3222190 | 1982-01-01 | Paper |
| Table approach to automatic program synthesis | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664429 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3723688 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4742777 | 1982-01-01 | Paper |
| Synthesis of correct programs out of correct subroutines | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3855180 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3942385 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960849 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4174205 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3936733 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960848 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083404 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071208 | 1974-01-01 | Paper |
| A new concept of predicative truth and definability | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103081 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103086 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5680104 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5639703 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6483349 | 0001-01-03 | Paper |
