dblp.uni-trier.dewww.uni-trier.de

Marek Zaionc Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
21EERené David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc: Some properties of random lambda terms CoRR abs/0903.5505: (2009)
20EERené David, Marek Zaionc: Counting proofs in propositional logic CoRR abs/0905.2880: (2009)
2008
19EEZofia Kostrzycka, Marek Zaionc: Asymptotic Densities in Logic and Type Theory. Studia Logica 88(3): 385-403 (2008)
2007
18EEHervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc: Classical and Intuitionistic Logic Are Asymptotically Identical. CSL 2007: 177-193
17EEAntoine Genitrini, Jakub Kozik, Marek Zaionc: Intuitionistic vs. Classical Tautologies, Quantitative Comparison. TYPES 2007: 100-109
2006
16EEMarek Zaionc: Probability distribution for simple tautologies. Theor. Comput. Sci. 355(2): 243-260 (2006)
2005
15EEPierre Lescanne, René David, Marek Zaionc: Preface. Electr. Notes Theor. Comput. Sci. 140: 1 (2005)
14EEMarek Zaionc: Probabilistic Approach to the Lambda Definability for Fourth Order Types. Electr. Notes Theor. Comput. Sci. 140: 41-54 (2005)
13EEMarek Zaionc: On the Asymptotic Density of Tautologies in Logic of Implication and Negation. Reports on Mathematical Logic 39: 67-87 (2005)
2004
12EEZofia Kostrzycka, Marek Zaionc: Statistics of Intuitionistic versus Classical Logics. Studia Logica 76(3): 307-328 (2004)
2003
11EEMarek Zaionc: Statistics of implicational logic. Electr. Notes Theor. Comput. Sci. 84: (2003)
2000
10 Malgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc: Statistical properties of simple types. Mathematical Structures in Computer Science 10(5): 575-594 (2000)
1997
9 Jan Malolepszy, Malgorzata Moczurad, Marek Zaionc: Schwichtenberg-Style Lambda Definability Is Undecidable. TLCA 1997: 267-283
1994
8EEMarek Zaionc: Lambda Representation of Operations Between Fifferent Term Algebras. CSL 1994: 91-105
1991
7 Marek Zaionc: lambda-Definability on Free Algebras. Ann. Pure Appl. Logic 51(3): 279-300 (1991)
1990
6 Marek Zaionc: A Characterisation of Lambda Definable Tree Operations Inf. Comput. 89(1): 35-46 (1990)
1989
5EEMarek Zaionc: How to Define Functionals of Free Structures in Typed Lambda Calculus. MFCS 1989: 566-576
1988
4EEMarek Zaionc: On the "lambda"-definable tree operations. Algebraic Logic and Universal Algebra in Computer Science 1988: 279-292
3 Marek Zaionc: Mechanical Procedure for Proof Construction via Closed Terms in Typed \lambda Calculus. J. Autom. Reasoning 4(2): 173-190 (1988)
1987
2 Marek Zaionc: Word Operation Definable in the Typed lambda-Calculus. Theor. Comput. Sci. 52: 1-14 (1987)
1985
1EEMarek Zaionc: The Set of Unifiers in Typed Lambda-Calculus as Regular Expression. RTA 1985: 430-440

Coauthor Index

1René David [15] [20] [21]
2Hervé Fournier [18]
3Danièle Gardy [18]
4Antoine Genitrini [17] [18]
5Katarzyna Grygiel [21]
6Zofia Kostrzycka [12] [19]
7Jakub Kozik [17] [21]
8Pierre Lescanne [15]
9Jan Malolepszy [9]
10Malgorzata Moczurad [9] [10]
11Christophe Raffalli [21]
12Guillaume Theyssier [21]
13Jerzy Tyszkiewicz [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)