| Publication | Date of Publication | Type |
|---|
Fuzzy logics – quantitatively
Journal of Applied Non-Classical Logics | 2024-03-20 | Paper |
Combinatorics of \(\lambda\)-terms: a natural approach
Journal Of Logic And Computation | 2018-11-20 | Paper |
On the likelihood of normalization in combinatory logic
Journal Of Logic And Computation | 2018-02-13 | Paper |
A natural counting of lambda terms
Lecture Notes in Computer Science | 2016-03-10 | Paper |
Asymptotic properties of combinatory logic
Lecture Notes in Computer Science | 2015-09-30 | Paper |
| Parametrizability by regular expressions for equations on words | 2014-04-23 | Paper |
| Probabilistic approach to the lambda definability for fourth order types | 2013-10-02 | Paper |
How big is BCI fragment of BCK logic
Journal Of Logic And Computation | 2013-06-27 | Paper |
Statistics of implicational logic
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
Asymptotically almost all \lambda-terms are strongly normalizing
Logical Methods in Computer Science | 2013-04-09 | Paper |
Tautologies over implication with negative literals
Mathematical Logic Quarterly | 2010-08-18 | Paper |
Counting proofs in propositional logic
Archive for Mathematical Logic | 2009-04-27 | Paper |
Classical and Intuitionistic Logic Are Asymptotically Identical
Computer Science Logic | 2009-03-05 | Paper |
Asymptotic densities in logic and type theory
Studia Logica | 2008-06-25 | Paper |
Intuitionistic vs. Classical Tautologies, Quantitative Comparison
Lecture Notes in Computer Science | 2008-06-03 | Paper |
| On the asymptotic density of tautologies in logic of implication and negation | 2006-09-14 | Paper |
Probability distribution for simple tautologies
Theoretical Computer Science | 2006-04-28 | Paper |
| scientific article; zbMATH DE number 2185720 (Why is no real title available?) | 2005-07-04 | Paper |
Statistics of intuitionistic versus classical logics
Studia Logica | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2079020 (Why is no real title available?) | 2004-07-21 | Paper |
| scientific article; zbMATH DE number 2015271 (Why is no real title available?) | 2003-12-09 | Paper |
Statistical properties of simple types
Mathematical Structures in Computer Science | 2001-05-10 | Paper |
| scientific article; zbMATH DE number 475247 (Why is no real title available?) | 1994-01-13 | Paper |
| scientific article; zbMATH DE number 17832 (Why is no real title available?) | 1992-06-26 | Paper |
\(\lambda\)-definability of free algebras
Annals of Pure and Applied Logic | 1991-01-01 | Paper |
A characterization of lambda definable tree operations
Information and Computation | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4099256 (Why is no real title available?) | 1989-01-01 | Paper |
Mechanical procedure for proof construction via closed terms in typed \(\lambda\) calculus
Journal of Automated Reasoning | 1988-01-01 | Paper |
Word operation definable in the typed \(\lambda\)-calculus
Theoretical Computer Science | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4068831 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3935004 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3928341 (Why is no real title available?) | 1985-01-01 | Paper |
