| Publication | Date of Publication | Type |
|---|
Deformalization as the immanent part of logical solving
Logical Investigations | 2020-09-17 | Paper |
Formalization as the immanent part of logical solving
Logical Investigations | 2019-05-16 | Paper |
| scientific article; zbMATH DE number 6418702 (Why is no real title available?) | 2015-03-23 | Paper |
| Abstract Chaitin's theorem and its methodological consequences | 2013-10-23 | Paper |
| scientific article; zbMATH DE number 6154336 (Why is no real title available?) | 2013-04-15 | Paper |
| scientific article; zbMATH DE number 5994605 (Why is no real title available?) | 2012-01-05 | Paper |
| Manifest of applied constructivism | 2011-03-09 | Paper |
| Reverse constructive logic | 2010-06-17 | Paper |
| scientific article; zbMATH DE number 5364046 (Why is no real title available?) | 2008-11-10 | Paper |
| scientific article; zbMATH DE number 2072505 (Why is no real title available?) | 2004-06-10 | Paper |
| scientific article; zbMATH DE number 1975405 (Why is no real title available?) | 2004-02-27 | Paper |
| scientific article; zbMATH DE number 2034246 (Why is no real title available?) | 2004-01-28 | Paper |
| scientific article; zbMATH DE number 1858064 (Why is no real title available?) | 2003-05-06 | Paper |
| scientific article; zbMATH DE number 1859202 (Why is no real title available?) | 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
Programming and Computer Software | 2001-04-26 | Paper |
| scientific article; zbMATH DE number 1354098 (Why is no real title available?) | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 194217 (Why is no real title available?) | 1993-06-05 | Paper |
A bridge between constructive logic and computer programming
Theoretical Computer Science | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 16511 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4201592 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4133470 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4089535 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4077167 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4006263 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3997782 (Why is no real title available?) | 1985-01-01 | Paper |
Semantics of algorithmic languages
Journal of Soviet Mathematics | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3895058 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3862407 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3871346 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3845028 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3887681 (Why is no real title available?) | 1982-01-01 | Paper |
Table approach to automatic program synthesis
Programming and Computer Software | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3817038 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3954262 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3797743 (Why is no real title available?) | 1982-01-01 | Paper |
Synthesis of correct programs out of correct subroutines
Programming and Computer Software | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3655936 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3759535 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3781169 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3609098 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3752838 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3781168 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3503210 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3487412 (Why is no real title available?) | 1974-01-01 | Paper |
A new concept of predicative truth and definability
Mathematical Notes | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3525109 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3525116 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3415822 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3366910 (Why is no real title available?) | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3772914 (Why is no real title available?)
Programming and Computer Software | 0001-01-03 | Paper |
