Marek Zaionc - Author Profile

Edit Profile

Zaionc, Marek

Author ID:	zaionc.marek
Published as:	Zaionc, Marek; Zaionc, Marec; Zaionc, M. more...less
External Links:	MGP · Wikidata

Documents Indexed:	32 Publications since 1985
	4 Contributions as Editor
Reviewing Activity:	2 Reviews
Co-Authors:	18 Co-Authors with 21 Joint Publications
	298 Co-Co-Authors

all top 5

Co-Authors

15	single-authored
6	Grygiel, Katarzyna
4	Bendkowski, Maciej
4	David, Rene
4	Kostrzycka, Zofia
4	Lescanne, Pierre
3	Gardy, Danièle
3	Genitrini, Antoine
2	Fournier, Hervé
2	Kozik, Jakub
2	Moczurad, Małgorzata
2	Neininger, Ralph
1	Badura, Lidia
1	Hwang, Hsien-Kuei
1	Idziak, Paweł M.
1	Małolepszy, Jan
1	Raffalli, Christophe
1	Theyssier, Guillaume
1	Tyszkiewicz, Jerzy

all top 5

Serials

3	Annales Societatis Mathematicae Polonae. Series IV
3	Journal of Logic and Computation
2	Studia Logica
2	Theoretical Computer Science
2	Bulletin of the Section of Logic
1	Reports on Mathematical Logic
1	Annals of Pure and Applied Logic
1	Information and Computation
1	Journal of Automated Reasoning
1	Mathematical Structures in Computer Science
1	Archive for Mathematical Logic
1	Journal of Applied Non-Classical Logics
1	Combinatorics, Probability and Computing
1	Mathematical Logic Quarterly (MLQ)
1	Electronic Notes in Theoretical Computer Science
1	Logical Methods in Computer Science
1	Discrete Mathematics & Theoretical Computer Science. Proceedings

all top 5

Fields

32	Mathematical logic and foundations (03-XX)
13	Computer science (68-XX)
4	General and overarching topics; collections (00-XX)
2	Combinatorics (05-XX)
2	General algebraic systems (08-XX)
1	Statistics (62-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

28 Publications have been cited 156 times in 63 Documents	Cited by ▼	Year ▼
Statistical properties of simple types. Zbl 0966.03016 Moczurad, M.; Tyszkiewicz, J.; Zaionc, M.	19	2000
Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034 David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek	15	2013
Classical and intuitionistic logic are asymptotically identical. Zbl 1179.03015 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek	13	2007
Statistics of intuitionistic versus classical logics. Zbl 1049.03007 Kostrzycka, Zofia; Zaionc, Marek	13	2004
On the asymptotic density of tautologies in logic of implication and negation. Zbl 1098.03019 Zaionc, Marek	11	2005
Intuitionistic vs. classical tautologies, quantitative comparison. Zbl 1138.03309 Genitrini, Antoine; Kozik, Jakub; Zaionc, Marek	9	2008
A natural counting of lambda terms. Zbl 1428.68095 Bendkowski, Maciej; Grygiel, Katarzyna; Lescanne, Pierre; Zaionc, Marek	9	2016
Combinatorics of \(\lambda\)-terms: a natural approach. Zbl 1444.03017 Bendkowski, Maciej; Grygiel, Katarzyna; Lescanne, Pierre; Zaionc, Marek	6	2017
Word operation definable in the typed \(\lambda\)-calculus. Zbl 0638.03014 Zaionc, Marek	6	1987
On the likelihood of normalization in combinatory logic. Zbl 1454.03022 Bendkowski, Maciej; Grygiel, Katarzyna; Zaionc, Marek	6	2017
The set of unifiers in typed \(\lambda\)-calculus as regular expression. Zbl 0584.03010 Zaionc, Marek	6	1985
\(\lambda\)-definability of free algebras. Zbl 0727.03010 Zaionc, Marek	5	1991
Probabilistic approach to the lambda definability for fourth order types. Zbl 1272.03083 Zaionc, Marek	4	2005
Counting proofs in propositional logic. Zbl 1168.03005 David, René; Zaionc, Marek	4	2009
Probability distribution for simple tautologies. Zbl 1090.03002 Zaionc, Marek	4	2006
How big is BCI fragment of BCK logic. Zbl 1282.03012 Grygiel, Katarzyna; Idziak, Paweł M.; Zaionc, Marek	3	2013
Tautologies over implication with negative literals. Zbl 1196.03012 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek	3	2010
Mechanical procedure for proof construction via closed terms in typed \(\lambda\) calculus. Zbl 0715.03008 Zaionc, Marek	3	1988
Statistics of implicational logic. Zbl 1264.03036 Zaionc, Marek	2	2003
On the \(\lambda\) definable higher order Boolean operations. Zbl 0672.03005 Zaionc, Marek	2	1989
A characterization of lambda definable tree operations. Zbl 0705.68029 Zaionc, Marek	2	1990
Asymptotic densities in logic and type theory. Zbl 1142.03008 Kostrzycka, Zofia; Zaionc, Marek	2	2008
On the \(\lambda\)-definable tree operations. Zbl 0783.03005 Zaionc, Marek	2	1990
On the density of truth in Dummett’s logic. Zbl 1032.03015 Kostrzycka, Zofia; Zaionc, Marek	2	2003
Asymptotic properties of combinatory logic. Zbl 1461.03015 Bendkowski, Maciej; Grygiel, Katarzyna; Zaionc, Marek	2	2015
Lambda representation of operations between different term algebras. Zbl 1044.03512 Zaionc, Marek	1	1995
The regular expression descriptions of unifier set in the typed \(\lambda\)-calculus. Zbl 0655.03007 Zaionc, Marec	1	1987
Nondeterministic programs definable in typed \(\lambda\)-calculus. Zbl 0579.68022 Zaionc, Marek	1	1985
Combinatorics of \(\lambda\)-terms: a natural approach. Zbl 1444.03017 Bendkowski, Maciej; Grygiel, Katarzyna; Lescanne, Pierre; Zaionc, Marek	6	2017
On the likelihood of normalization in combinatory logic. Zbl 1454.03022 Bendkowski, Maciej; Grygiel, Katarzyna; Zaionc, Marek	6	2017
A natural counting of lambda terms. Zbl 1428.68095 Bendkowski, Maciej; Grygiel, Katarzyna; Lescanne, Pierre; Zaionc, Marek	9	2016
Asymptotic properties of combinatory logic. Zbl 1461.03015 Bendkowski, Maciej; Grygiel, Katarzyna; Zaionc, Marek	2	2015
Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034 David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek	15	2013
How big is BCI fragment of BCK logic. Zbl 1282.03012 Grygiel, Katarzyna; Idziak, Paweł M.; Zaionc, Marek	3	2013
Tautologies over implication with negative literals. Zbl 1196.03012 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek	3	2010
Counting proofs in propositional logic. Zbl 1168.03005 David, René; Zaionc, Marek	4	2009
Intuitionistic vs. classical tautologies, quantitative comparison. Zbl 1138.03309 Genitrini, Antoine; Kozik, Jakub; Zaionc, Marek	9	2008
Asymptotic densities in logic and type theory. Zbl 1142.03008 Kostrzycka, Zofia; Zaionc, Marek	2	2008
Classical and intuitionistic logic are asymptotically identical. Zbl 1179.03015 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek	13	2007
Probability distribution for simple tautologies. Zbl 1090.03002 Zaionc, Marek	4	2006
On the asymptotic density of tautologies in logic of implication and negation. Zbl 1098.03019 Zaionc, Marek	11	2005
Probabilistic approach to the lambda definability for fourth order types. Zbl 1272.03083 Zaionc, Marek	4	2005
Statistics of intuitionistic versus classical logics. Zbl 1049.03007 Kostrzycka, Zofia; Zaionc, Marek	13	2004
Statistics of implicational logic. Zbl 1264.03036 Zaionc, Marek	2	2003
On the density of truth in Dummett’s logic. Zbl 1032.03015 Kostrzycka, Zofia; Zaionc, Marek	2	2003
Statistical properties of simple types. Zbl 0966.03016 Moczurad, M.; Tyszkiewicz, J.; Zaionc, M.	19	2000
Lambda representation of operations between different term algebras. Zbl 1044.03512 Zaionc, Marek	1	1995
\(\lambda\)-definability of free algebras. Zbl 0727.03010 Zaionc, Marek	5	1991
A characterization of lambda definable tree operations. Zbl 0705.68029 Zaionc, Marek	2	1990
On the \(\lambda\)-definable tree operations. Zbl 0783.03005 Zaionc, Marek	2	1990
On the \(\lambda\) definable higher order Boolean operations. Zbl 0672.03005 Zaionc, Marek	2	1989
Mechanical procedure for proof construction via closed terms in typed \(\lambda\) calculus. Zbl 0715.03008 Zaionc, Marek	3	1988
Word operation definable in the typed \(\lambda\)-calculus. Zbl 0638.03014 Zaionc, Marek	6	1987
The regular expression descriptions of unifier set in the typed \(\lambda\)-calculus. Zbl 0655.03007 Zaionc, Marec	1	1987
The set of unifiers in typed \(\lambda\)-calculus as regular expression. Zbl 0584.03010 Zaionc, Marek	6	1985
Nondeterministic programs definable in typed \(\lambda\)-calculus. Zbl 0579.68022 Zaionc, Marek	1	1985

all cited Publications top 5 cited Publications

all top 5

Cited by 58 Authors

10	Zaionc, Marek
9	Gittenberger, Bernhard
8	Bendkowski, Maciej
8	Genitrini, Antoine
7	Gardy, Danièle
5	Bodini, Olivier
5	Kostrzycka, Zofia
4	Lescanne, Pierre
4	Tarau, Paul
3	Asada, Kazuyuki
3	Fournier, Hervé
3	Grygiel, Katarzyna
3	Kobayashi, Naoki
3	Kozik, Jakub
3	Mailler, Cécile
2	Dovgal, Sergey
2	Dowek, Gilles
2	Espírito Santo, José Carlos
2	Gołȩbiewski, Zbigniew
2	Larcher, Isabella
2	Matthes, Ralph
2	Pinto, Luís F.
2	Sin’ya, Ryoma
2	Tsukada, Takeshi
1	Asinowski, Andrei
1	Bacher, Axel
1	Banderier, Cyril
1	Bentkamp, Alexander
1	Boneva, Iovka
1	Broutin, Nicolas
1	Chauvin, Brigitte
1	Dal Lago, Ugo
1	Danner, Norman
1	de Paiva, Valeria
1	de Panafieu, Elie
1	Flajolet, Philippe
1	Gallier, Jean H.
1	Giraudo, Samuele
1	Güyer, Tolga
1	Hirokawa, Sachio
1	Jacquot, Alice
1	Jiang, Ying
1	Kramosil, Ivan
1	Kraus, Veronika
1	Kuba, Markus F.
1	Leivant, Daniel M.
1	Libal, Tomer
1	Mirasyedioğlu, Şeref
1	Moczurad, Małgorzata
1	Moczurad, Włodzimierz
1	Niehren, Joachim
1	Nummelin, Visa
1	Parys, Paweł
1	Sakho, Momar
1	Snyder, Wayne
1	Takahashi, Masako
1	Urzyczyn, Paweł
1	Vukmirović, Petar

all top 5

Cited in 22 Serials

7	Theoretical Computer Science
5	Annals of Pure and Applied Logic
4	Mathematical Structures in Computer Science
3	Algorithmica
3	Information and Computation
3	Random Structures & Algorithms
3	Journal of Functional Programming
3	Logical Methods in Computer Science
2	Studia Logica
2	Journal of Applied Non-Classical Logics
2	The Electronic Journal of Combinatorics
1	Discrete Applied Mathematics
1	Applied Mathematics and Computation
1	Journal of Symbolic Computation
1	International Journal of Foundations of Computer Science
1	Journal of Logic, Language and Information
1	Combinatorics, Probability and Computing
1	Mathematical Logic Quarterly (MLQ)
1	Annals of Combinatorics
1	Fundamenta Informaticae
1	Theory and Practice of Logic Programming
1	RAIRO. Theoretical Informatics and Applications

all top 5

Cited in 11 Fields

46	Mathematical logic and foundations (03-XX)
32	Computer science (68-XX)
18	Combinatorics (05-XX)
8	Order, lattices, ordered algebraic structures (06-XX)
4	Probability theory and stochastic processes (60-XX)
2	Number theory (11-XX)
1	General algebraic systems (08-XX)
1	Statistics (62-XX)
1	Operations research, mathematical programming (90-XX)
1	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1	Information and communication theory, circuits (94-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.