Marek Zaionc

From MaRDI portal
Person:751645

Available identifiers

zbMath Open zaionc.marekDBLPz/MarekZaioncWikidataQ30902967 ScholiaQ30902967MaRDI QIDQ751645

List of research outcomes





PublicationDate of PublicationType
Fuzzy logics – quantitatively2024-03-20Paper
Combinatorics of $\lambda$-terms: a natural approach2018-11-20Paper
On the likelihood of normalization in combinatory logic2018-02-13Paper
A Natural Counting of Lambda Terms2016-03-10Paper
Asymptotic Properties of Combinatory Logic2015-09-30Paper
https://portal.mardi4nfdi.de/entity/Q54114082014-04-23Paper
Probabilistic approach to the lambda definability for fourth order types2013-10-02Paper
How big is BCI fragment of BCK logic2013-06-27Paper
Statistics of implicational logic2013-06-06Paper
Asymptotically almost all \lambda-terms are strongly normalizing2013-04-09Paper
Tautologies over implication with negative literals2010-08-18Paper
Counting proofs in propositional logic2009-04-27Paper
Classical and Intuitionistic Logic Are Asymptotically Identical2009-03-05Paper
Asymptotic densities in logic and type theory2008-06-25Paper
Intuitionistic vs. Classical Tautologies, Quantitative Comparison2008-06-03Paper
https://portal.mardi4nfdi.de/entity/Q54882602006-09-14Paper
Probability distribution for simple tautologies2006-04-28Paper
https://portal.mardi4nfdi.de/entity/Q30249132005-07-04Paper
Statistics of intuitionistic versus classical logics2004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44748322004-07-21Paper
https://portal.mardi4nfdi.de/entity/Q44380992003-12-09Paper
Statistical properties of simple types2001-05-10Paper
https://portal.mardi4nfdi.de/entity/Q42734881994-01-13Paper
https://portal.mardi4nfdi.de/entity/Q39751761992-06-26Paper
\(\lambda\)-definability of free algebras1991-01-01Paper
A characterization of lambda definable tree operations1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38242851989-01-01Paper
Mechanical procedure for proof construction via closed terms in typed \(\lambda\) calculus1988-01-01Paper
Word operation definable in the typed \(\lambda\)-calculus1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38015221987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37087741985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37025061985-01-01Paper

Research outcomes over time

This page was built for person: Marek Zaionc