Marek Zaionc

Publication Activity (10 Years)

Years Active: 1985-2020
Publications (10 Years): 10

Top Topics

Classical Logic

Parallel And Distributed Computing

Asymptotic Properties

Top Venues

J. Log. Comput.

Comb. Probab. Comput.

Publications

Zofia Kostrzycka, Marek Zaionc
Quantitative Study of Fuzzy Logics. FUZZ-IEEE (2020)
Hsien-Kuei Hwang, Ralph Neininger, Marek Zaionc
Preface. Comb. Probab. Comput. 28 (4) (2019)
Wojciech Turek, Aleksander Byrski, John Hughes, Kevin Hammond, Marek Zaionc
Special issue on Parallel and distributed computing based on the functional programming paradigm. Concurr. Comput. Pract. Exp. 30 (22) (2018)
Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
On the likelihood of normalization in combinatory logic. J. Log. Comput. 27 (7) (2017)
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
Combinatorics of $$\lambda$$-terms: a natural approach. J. Log. Comput. 27 (8) (2017)
Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
On the likelihood of normalisation in combinatory logic. CoRR (2016)
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
Combinatorics of λ-terms: a natural approach. CoRR (2016)
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
A Natural Counting of Lambda Terms. SOFSEM (2016)
Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
Asymptotic Properties of Combinatory Logic. TAMC (2015)
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
A natural counting of Lambda terms. CoRR (2015)
Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc
How big is BCI fragment of BCK logic. J. Log. Comput. 23 (3) (2013)
Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc
How big is BCI fragment of BCK logic CoRR (2011)
Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc
Tautologies over implication with negative literals. Math. Log. Q. 56 (4) (2010)
René David, Marek Zaionc
Counting proofs in propositional logic. Arch. Math. Log. 48 (2) (2009)
René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc
Some properties of random lambda terms Log. Methods Comput. Sci. 9 (1) (2009)
René David, Marek Zaionc
Counting proofs in propositional logic CoRR (2009)
Zofia Kostrzycka, Marek Zaionc
Asymptotic Densities in Logic and Type Theory. Stud Logica 88 (3) (2008)
Antoine Genitrini, Jakub Kozik, Marek Zaionc
Intuitionistic vs. Classical Tautologies, Quantitative Comparison. TYPES (2007)
Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc
Classical and Intuitionistic Logic Are Asymptotically Identical. CSL (2007)
Marek Zaionc
Probability distribution for simple tautologies. Theor. Comput. Sci. 355 (2) (2006)
Marek Zaionc
On the Asymptotic Density of Tautologies in Logic of Implication and Negation. Reports Math. Log. 39 (2005)
Pierre Lescanne, René David, Marek Zaionc
Preface. Electron. Notes Theor. Comput. Sci. 140 (2005)
Marek Zaionc
Probabilistic Approach to the Lambda Definability for Fourth Order Types. Electron. Notes Theor. Comput. Sci. 140 (2005)
Zofia Kostrzycka, Marek Zaionc
Statistics of Intuitionistic versus Classical Logics. Stud Logica 76 (3) (2004)
Marek Zaionc
Statistics of implicational logic. Electron. Notes Theor. Comput. Sci. 84 (2003)
Malgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc
Statistical properties of simple types. Math. Struct. Comput. Sci. 10 (5) (2000)
Jan Malolepszy, Malgorzata Moczurad, Marek Zaionc
Schwichtenberg-Style Lambda Definability Is Undecidable. TLCA (1997)
Marek Zaionc
Lambda Representation of Operations Between Fifferent Term Algebras. CSL (1994)
Marek Zaionc
lambda-Definability on Free Algebras. Ann. Pure Appl. Log. 51 (3) (1991)
Marek Zaionc
A Characterisation of Lambda Definable Tree Operations Inf. Comput. 89 (1) (1990)
Marek Zaionc
How to Define Functionals of Free Structures in Typed Lambda Calculus. MFCS (1989)
Marek Zaionc
Mechanical Procedure for Proof Construction via Closed Terms in Typed \lambda Calculus. J. Autom. Reason. 4 (2) (1988)
Marek Zaionc
On the "lambda"-definable tree operations. Algebraic Logic and Universal Algebra in Computer Science (1988)
Marek Zaionc
Word Operation Definable in the Typed lambda-Calculus. Theor. Comput. Sci. 52 (1987)
Marek Zaionc
The Set of Unifiers in Typed Lambda-Calculus as Regular Expression. RTA (1985)