Marek Zaionc

Available identifiers

zbMath Open zaionc.marekDBLPz/MarekZaioncWikidataQ30902967 ScholiaQ30902967MaRDI QIDQ751645

List of research outcomes

Publication	Date of Publication	Type
Fuzzy logics – quantitatively	2024-03-20	Paper
Combinatorics of $\lambda$-terms: a natural approach	2018-11-20	Paper
On the likelihood of normalization in combinatory logic	2018-02-13	Paper
A Natural Counting of Lambda Terms	2016-03-10	Paper
Asymptotic Properties of Combinatory Logic	2015-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q5411408	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	2013-06-27	Paper
Statistics of implicational logic	2013-06-06	Paper
Asymptotically almost all \lambda-terms are strongly normalizing	2013-04-09	Paper
Tautologies over implication with negative literals	2010-08-18	Paper
Counting proofs in propositional logic	2009-04-27	Paper
Classical and Intuitionistic Logic Are Asymptotically Identical	2009-03-05	Paper
Asymptotic densities in logic and type theory	2008-06-25	Paper
Intuitionistic vs. Classical Tautologies, Quantitative Comparison	2008-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q5488260	2006-09-14	Paper
Probability distribution for simple tautologies	2006-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3024913	2005-07-04	Paper
Statistics of intuitionistic versus classical logics	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4474832	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4438099	2003-12-09	Paper
Statistical properties of simple types	2001-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q4273488	1994-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3975176	1992-06-26	Paper
\(\lambda\)-definability of free algebras	1991-01-01	Paper
A characterization of lambda definable tree operations	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3824285	1989-01-01	Paper
Mechanical procedure for proof construction via closed terms in typed \(\lambda\) calculus	1988-01-01	Paper
Word operation definable in the typed \(\lambda\)-calculus	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3801522	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3708774	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3702506	1985-01-01	Paper

Research outcomes over time

This page was built for person: Marek Zaionc