Marek Zaionc

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