| Publication | Date of Publication | Type |
|---|
| Cognitive reasoning. A formal approach | 2010-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793105 | 2003-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002147 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3995433 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786010 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3732938 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3042457 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3318102 | 1983-01-01 | Paper |
| A theory of interactive programming | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3949960 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960106 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3930657 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3940880 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898022 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898023 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3886835 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3923627 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4174209 | 1978-01-01 | Paper |
| Model theoretical investigation of theorem proving methods | 1978-01-01 | Paper |
| On universal algebraic constructions of logics | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4150951 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4101256 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121284 | 1976-01-01 | Paper |
| On the distribution of the maximum of the sequences of sums of independent random variables | 1975-01-01 | Paper |
| Asymptotic behaviour of stochastic processes modelling an ordinary Poisson process | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875892 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4048323 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4058125 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4095633 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4101662 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4158868 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4170719 | 1975-01-01 | Paper |
| On the busy period of discrete-time queues | 1974-01-01 | Paper |
| Sufficient and Necessary Condition for the Completeness of a Calculus | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4069802 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4077470 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4085028 | 1974-01-01 | Paper |
| On a construction of ordinary Poisson processes and their modelling | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5674409 | 1971-01-01 | Paper |
| Markov chains governed by complicated renewal processes | 1970-01-01 | Paper |
