Marek Zaionc
Back to the main page
PUBLICATIONS AND REPORTS:
- 55 Zofia Kostrzycka, Marek Zaionc,
Fuzzy Logics - quantitatively
Journal of Applied Non-Classical Logics, 2023.
- 54 Zofia Kostrzycka, Marek Zaionc,
Quantitative
Study of Fuzzy Logics,
2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), pp1-8
- 53 Neininger Ralph, Hwang, Hsien-Kuei, Marek Zaionc,
Preface,
COMBINATORICS PROBABILITY & COMPUTING, vol. 28(4) (2019), pp483-484
- 52 Aleksander Byrski,Kevin Hammond,John
Hughes,Wojciech Turek,Marek Zaionc,
Foreword to the Special Issue on Parallel and Distributed Computing based
on The Functional Programming Paradigm,
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE (2018), vol 4
- 51 Marek Zaionc,
Asymptotic density in logic and computability,
vol. Publication series B, Report B-2017-3 (Editors: Jacquet Philippe,
Leppä-Aho Janne, Roos Teemu (2017), 43
- 50 Maciej Bendkowski, Katarzyna Grygiel, Pierre
Lescanne and Marek Zaionc,
Combinatorics
of λ-terms: a natural approach,
JOURNAL OF LOGIC AND COMPUTATION ,Volume 27, Issue 8 (2017), pp1-20
- 49 Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc,
"On
the likelihood of normalisation in combinatory logic"
Journal of Logic and Computation, ,
Volume 27, Issue 7, (2017) p.1-19
- 48 Maciej Bendkowski, Katarzyna Grygiel, Pierre
Lescanne, Marek Zaionc,
"A
Natural Counting of Lambda Terms" ,
SOFSEM 2016: Theory and Practice of Computer Science,
LECTURE NOTES IN COMPUTER SCIENCE 9587 (2016), pp 183-194.
- 47 Maciej Bendkowski, Katarzyna Grygiel, Marek
Zaionc,
"Asymptotic
Properties of Combinatory Logic" ,
12th Annual Conference on Theory and Applications of Models of
Computation,
LECTURE NOTES IN COMPUTER SCIENCE 9076 (2015), pp 62-72.
- 46 Katarzyna Grygiel, Pawel M. Idziak and Marek
Zaionc,
"How
big is BCI fragment of BCK logic",
Journal of Logic and
Computation vol. 23(3), pp 673-691, (2013)
- 45 René David, Christophe Raffalli, Guillaume
Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc,
"Asymptotically
almost all λ-terms are strongly normalizing",
Logical
Methods in Computer Science, Volume 9 (2013), Issue 1, pp
1-30
- 44. Herve Fournier, Daniele Gardy, Antoine Genitrini, Marek
Zaionc,
"Tautologies
over implication with negative literals",
Mathematical
Logic Quarterly , 56, No. 4, pp388 – 396 (2010)
- 43. Rene David, Marek Zaionc,
"Counting
proofs in propositional logic" ,
Archive for Mathematical
Logic , Volume 48, Number 2, 2009, pp 185-199.
- 42. Antoine Genitrini, Jakub Kozik, Marek Zaionc,
"Intuitionistic
vs Classical tautologies, Quantitative Comparison"
TYPES 2007 Proceedings, Lecture
Notes in Computer Science 4941 (2008) pp.
100-109.
- 41. Zofia Kostrzycka, Marek Zaionc
"Asymptotic densities in logic and type theory",
Studia
Logica vol 88 (2008) pp385-403.
- 39. Lidia Badura, Marek Zaionc
"Parametrizability by regular expressions for equations on words",
Bulletin of the Section of Logic, Vol. 36:1/2 (2007) pp 79 - 93.
- 34. R. David, P. Lescanne, M.
Zaionc
Editors of the proceedings of Chambery-Kraków-Lyon Workshop on lambda
calculus, type theory, and mathematical logic, Lyon 2004,
Electronic
Notes in Theoretical Computer Science, vol 140
(2005).
- 33. R. David, P. Lescanne, M.
Zaionc
Editors of the proceedings of Chambery-Kraków-Lyon Workshop on lambda
calculus, type theory, and mathematical logic, Krakow 2003
Special issue of
Schedae Informaticae vol. 12 (2003).
- 31. Marek Zaionc
"Asymptotic properties of logics"
Schedea Informaticae, vol. 12 (2003) pp 129-138.
- 30. Marek Zaionc
"O gestosci prawdy w Matematyce" (in Polish)
Zagadnienia Filozoficzne w
Nauce , number 33, Center for Interdisciplinary Studies, 2003 pp
93-111.
- 22. Marek Zaionc
"Statistical properties of types "
NATO workshop "Foundations of Object Oriented, Functional and Parallel
Programming" Warsaw, 7 - 10 July 1998.
- 16. Marek Zaionc
"A Characterization of Lambda Definable Tree Operations"
Information and
Computation Vol. 89, No. 1, 1990. Academic Press, pp
35-46
- 14. Marek Zaionc
"How To Define Functionals on Free Structures in Typed lambda Calculus"
Lecture
Notes in Computer Science 379 Springer - Verlag, August 1989, pp
566-576.
- 13. Marek Zaionc
"On the lambda definable higher-order boolean functionals"
Fundamenta Informaticae XII
(1989) North-Holland, pp 181-190.
- 12. Marek Zaionc
"Mechanical Procedure for Proof Construction via Closed Terms in Typed
lambda Calculus",
Journal of Automated
Reasoning 4 (1988), Reidel Publ, pp 173-190.
- 11. Marek Zaionc
"The Proof Synthesizer Based on the Theory of Constructions"
Colloquia Proceedings of International Symposium on Methodologies for
Intelligent Systems. Published by Oak Ridge National Laboratory,
January 1987
- 10. Marek Zaionc
"Lambda calculus applications in computer science",
Proceedings of 25-th Annual Southeast Regional Conference of the ACM
, April 1-3, 1987.
- 9. Fundalis H., K. Reilly, Zaionc M.
"A Type Schema and its Impact on a Theorem Prover"
Proceedings of 25-th Annual Southeast Regional Conference of the ACM
April 1-3, 1987 ORNL-6362.
- 8. Marek Zaionc
"The Regular Expression Descriptions of Unifier Sets in the Typed lambda
Calculus"
Fundamenta Informaticae X
(1987) North-Holland pp 309-322.
- 5. Marek Zaionc
"Nondeterministic Programs Definable in Typed Lambda Calculus",
Fundamenta Informaticae
VIII.1 (1985) pp 63-72.
- 4. Marek Zaionc
"Automated theorem proving in modal logic"
Institute of Computer Science, Polish Academy of Science Reports
478, June 1982
- 3. Marek Zaionc,
"An extension of Schwichtenberg's theorem in typed lambda calculus"
Proceedings of the Logic Colloquium 85 , Paris 1985. (Abstract
published in The Journal of Symbolic Logic vol 52, n.1 1987
p.348).
- 2. Marian Mrozek, Marek Zaionc
"A computer model of evolution and ecological processes"
Modeling, Simulation & Control C, vol 1 Nr. 3 1984 pp
59-63
- 1. Marian Mrozek, Marek Zaionc,
"Simulation model of evolution in simplified ecological system",
Wiadomosci ekologiczne, vol. XXVII 1981 nr 1, pp 49-59, (In
Polish, English summary)