Searching for authors named Marek Zaionc – sorted by Relevance.
9 documents found, showing 1 through 9.
-
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
Showing 1 through 9.
