Searching for authors named Marek Zaionc – sorted by Relevance.
-
Lambda Definability is Decidable for Second Order Types and for Regular Third Order Types
- Lambda definability is decidable for second order types and for regular third order types 1 Marek
- Add To MetaCart
-
Probability distribution for simple tautologies
- Probability distribution for simple tautologies Marek Zaionc ∗ Computer Science Department
- Cited by 2 (1 self) – Add To MetaCart
-
Fixpoint Technique For Counting Terms In Typed lambda Calculus
- FIXPOINT TECHNIQUE FOR COUNTING TERMS IN TYPED CALCULUS 1 Marek Zaionc 2 email: zaionc
- Cited by 2 (0 self) – Add To MetaCart
-
On the Asymptotic Density of Tautologies in Logic of Implication and Negation
- On the asymptotic density of tautologies in logic of implication and negation ∗ Marek Zaionc
- Add To MetaCart
-
Statistics of intuitionistic versus classical logics
- Statistics of intuitionistic versus classical logics ∗ Zofia Kostrzycka 1 , Marek Zaionc 2 1
- Cited by 5 (3 self) – Add To MetaCart
-
Classical and intuitionistic logic are asymptotically identical
- ∗ Antoine Genitrini ∗ Marek Zaionc ‡ September 21, 2007 Abstract This paper considers logical formulas built
- Cited by 1 (1 self) – Add To MetaCart
-
Second Order
- /lgorzata Moczurad Marek Zaionc Computer Science Department Jagiellonian University Nawojki 11, 30-072 Krak
- Add To MetaCart
-
Schwichtenberg-Style Lambda Definability is Undecidable.
- Schwichtenberg-style lambda definability is undecidable. Jan Maolepszy, Magorzata Moczurad, Marek
- Add To MetaCart
-
Statistical Properties of Simple Types
- Statistical Properties of Simple Types Ma lgorzata Moczurad Jerzy Tyszkiewicz Marek Zaionc
- Cited by 13 (4 self) – Add To MetaCart

