prof. dr hab. Marek Zaionc

Jednostki:

  • Wydział Matematyki i Informatyki UJ
  • Instytut Informatyki Analitycznej
  • Katedra Podstaw Informatyki

Profesura  Otwarcie: 2005-01-27, Zamknięcie: 2006-05-17

Publikacje:

38.
Zofia Kostrzycka, Marek Zaionc
Fuzzy Logics - quantitatively, Journal of Applied Non-Classical Logics vol. 34 (2024), 97-132
37.
Zofia Kostrzycka, Marek Zaionc
Quantitative Study of Fuzzy Logics, 2020 Ieee International Conference On Fuzzy Systems (fuzz-ieee) (2020), 1-8
36.
Marek Zaionc, Neininger Ralph, Hwang
Preface, Combinatorics Probability and Computing vol. 28(4) (2019), 483-484
35.
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 Computation Practice and Experience (2018), 4
34.
Marek Zaionc
Asymptotic density in logic and computability, Proceedings of the Tenth Workshop On Information Theoretic Methods in Science and Engineering, Paris, France, September 11-13, 2017 vol. Publication series B, Report B-2017-3 (Editors: Jacquet Philippe, Leppä-Aho Janne, Roos Teemu (2017), 43
33.
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
Combinatorics of λ-terms: a natural approach, Journal of Logic and Computation vol. Volume 27, Issue 8 (2017), 2611–2630
32.
Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
On the likelihood of normalisation in combinatory logic, Journal of Logic and Computation vol. Volume 27, Issue 7 (2017), 2251–2269
31.
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
A natural counting of lambda terms, Lecture Notes in Computer Science vol. 9587 (2016), 183-194
30.
Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
Asymptotic properties of combinatory logic, Lecture Notes in Computer Science vol. 9076 (2013), 62-72
29.
Rene David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier,
Asymptotically almost all λ-terms are strongly normalizing, Logical Methods in Computer Science vol. 9 (1:02) (2013), 1-30
28.
Katarzyna Grygiel, Paweł Idziak, Marek Zaionc
How big is BCI fragment of BCK logic, Journal of Logic and Computation vol. 23(3) (2013), 673-691
27.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc
Tautologies over implication with negative literals, Mathematical Logic Quarterly vol. 56 (2010), 388-396
26.
Rene David, Marek Zaionc
Counting proofs in propositional logic, Archive for Mathematical Logic vol. 48 (2009), 185-199
25.
Zofia Kostrzycka, Marek Zaionc
Asymptotic densities in logic and type theory, Studia Logica vol. 88 (2008), 385-403
24.
Antoine Genitrini, Jakub Kozik, Marek Zaionc
Intuitionistic vs. Classical Tautologies, Quantitative Comparison, Lecture Notes in Computer Science vol. 4941 (2008), 100-109
23.
Lidia Badura, Marek Zaionc
Parametrizability by regular expressions for equations on words, Bulletin of the Section of Logic vol. 36 (2007), 79-93
22.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc
Classical and intuitionistic logic are asymptotically identical, Lecture Notes in Computer Science vol. 4646 (2007), 177-193
21.
Marek Zaionc
Probability distribution for simple tautologies, Theoretical Computer Science vol. 355 (2006), 243-260
20.
Marek Zaionc
On the asymptotic density of tautologies in logic of implication and negation, Reports on Mathematical Logic vol. 39 (2005), 67-87
19.
Marek Zaionc
Probabilistic approach to the lambda definability for fourth order types, Electronic Notes in Theoretical Computer Science (2005), 41-54
18.
Zofia Kostrzycka, Marek Zaionc
Statistics of intuitionistic versus classical logics, Studia Logica vol. 76 (2004), 307 - 328
17.
Marek Zaionc
Asymptotic properties of logics, Schedae Informaticae vol. 12 (2003), 129-138
16.
Zofia Kostrzycka, Marek Zaionc
On the density of truth in Dummet logic, Bulletin of the Section of Logic vol. 32 (2003), 43-55
15.
Marek Zaionc
Statistics of implicational logic, Electronic Notes in Theoretical Computer Science vol. 84 (2003), 205–216
14.
Małgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc
Statistical properties of simple types, Mathematical Structures in Computer Science vol. 10 (2000), 575-594
13.
Jan Małolepszy, Małgorzata Moczurad, Marek Zaionc
Schwichtenberg style lambda definability is undecidable, Lecture Notes in Computer Science vol. 1210 (1997), 267-283
12.
Marek Zaionc
Lambda representations of operations between different term algebras, Lecture Notes in Computer Science vol. 993 (1995), 91-105
11.
Marek Zaionc
Lambda definability on free algebras, Annals of Pure and Applied Logic vol. 51 (1992), 279-300
10.
Marek Zaionc
A Characterization of Lambda Definable Tree Operations, Information and Computation vol. 89 (1990), 35-46
9.
Marek Zaionc
On the lambda definable higher-order boolean functionals, Fundamenta Informaticae vol. 12 (1989), 181-190
8.
Marek Zaionc
How To Define Functionals on Free Structures in Typed lambda Calculus, Lecture Notes in Computer Science vol. 379 (1989), 566-576
7.
Marek Zaionc
Mechanical Procedure for Proof Construction via Closed Terms in Typed lambda Calculus, Journal of Automated Reasoning vol. 4 (1988), 173-190
6.
Marek Zaionc
On the lambda definable tree operations, Lecture Notes in Computer Science vol. 425 (1988), 279-292
5.
Marek Zaionc
Word Operations Definable in the Typed lambda Calculus, Theoretical Computer Science vol. 52 (1987), 1-14
4.
Marek Zaionc
The Regular Expression Descriptions of Unifier Sets in the Typed lambda Calculus, Fundamenta Informaticae vol. 10 (1987), 309-322
3.
Marek Zaionc
Nondeterministic Programs Definable in Typed Lambda Calculus, Fundamenta Informaticae vol. 8 (1985), 63-72
2.
Marek Zaionc
The set of Unifiers in Typed lambda calculus as Regular Expression, Lecture Notes in Computer Science vol. 202 (1985), 430-440
1.
Marian Mrozek, Marek Zaionc
A computer model of evolution and ecological processes, Modeling, Simulation & Control C (1984), 59-63

Konferencje:

4.
Marek Zaionc.
IEEE International Conference on Fuzzy Systems, IEEE, Glasgow, Wielka Brytania, 2020-07-19 - 2020-07-24
3.
Marek Zaionc.
14th workshop Computational Logic and Applications, Versailles University, France, Versailles, Francja, 2019-07-01 - 2019-07-03
2.
Marek Zaionc.
The Tenth Workshop on Information Theoretic Methods in Science and Engineering, Laboratory for Information, Networking and Communication Sciences (LINCS), Telecom ParisTech, INRIA,, Paryż, Francja, 2017-09-11 - 2017-09-13
1.
Marek Zaionc, Katarzyna Grygiel.
12th Annual Conference on Theory and Applications of Models of Computation, 18 - 20 May 2015 School of Computing National University of Singapore, Singapur, Singapur, 2015-05-18 - 2015-05-22

Konferencje organizowane:

Doktoranci (po 27 października 2003 roku)

DoktorantOtwarcieZakonczenie
Jakub Kozik2005-01-272006-11-30
Katarzyna Grygiel2010-12-162013-05-23
Mateusz Kostanek2010-02-25 
Michał Handzlik2013-06-27 
Jarosław Duda2008-02-282010-10-28
Maciej Bendkowski2015-12-172017-11-30
Łukasz Lachowski2018-05-24 

Recenzje (po 27 października 2003 roku)

RecenzowanyJednostkaTreść recenzji
Doktorat: Grzegorz MateckiKatedra Algorytmiki 
Doktorat: Edward SzczypkaKatedra Metod Efektywnych Algebry 
Doktorat: Przemysław Broniek 

Granty (realizowane po maju 2009 roku)