The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marek Zaionc: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marek Zaionc
    On the "lambda"-definable tree operations. [Citation Graph (0, 0)][DBLP]
    Algebraic Logic and Universal Algebra in Computer Science, 1988, pp:279-292 [Conf]
  2. Marek Zaionc
    Lambda Representation of Operations Between Fifferent Term Algebras. [Citation Graph (0, 0)][DBLP]
    CSL, 1994, pp:91-105 [Conf]
  3. Marek Zaionc
    How to Define Functionals of Free Structures in Typed Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:566-576 [Conf]
  4. Marek Zaionc
    The Set of Unifiers in Typed Lambda-Calculus as Regular Expression. [Citation Graph (0, 0)][DBLP]
    RTA, 1985, pp:430-440 [Conf]
  5. Jan Malolepszy, Malgorzata Moczurad, Marek Zaionc
    Schwichtenberg-Style Lambda Definability Is Undecidable. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:267-283 [Conf]
  6. Marek Zaionc
    lambda-Definability on Free Algebras. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1991, v:51, n:3, pp:279-300 [Journal]
  7. Pierre Lescanne, René David, Marek Zaionc
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:1- [Journal]
  8. Marek Zaionc
    Statistics of implicational logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal]
  9. Marek Zaionc
    Probabilistic Approach to the Lambda Definability for Fourth Order Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:41-54 [Journal]
  10. Marek Zaionc
    A Characterisation of Lambda Definable Tree Operations [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1990, v:89, n:1, pp:35-46 [Journal]
  11. Marek Zaionc
    Mechanical Procedure for Proof Construction via Closed Terms in Typed \lambda Calculus. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:2, pp:173-190 [Journal]
  12. Malgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc
    Statistical properties of simple types. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:5, pp:575-594 [Journal]
  13. Zofia Kostrzycka, Marek Zaionc
    Statistics of Intuitionistic versus Classical Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2004, v:76, n:3, pp:307-328 [Journal]
  14. Marek Zaionc
    Probability distribution for simple tautologies. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:243-260 [Journal]
  15. Marek Zaionc
    Word Operation Definable in the Typed lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:52, n:, pp:1-14 [Journal]
  16. Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc
    Classical and Intuitionistic Logic Are Asymptotically Identical. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:177-193 [Conf]
  17. Marek Zaionc
    On the Asymptotic Density of Tautologies in Logic of Implication and Negation. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2005, v:39, n:, pp:67-87 [Journal]

  18. Intuitionistic vs. Classical Tautologies, Quantitative Comparison. [Citation Graph (, )][DBLP]


  19. Counting proofs in propositional logic. [Citation Graph (, )][DBLP]


  20. Some properties of random lambda terms [Citation Graph (, )][DBLP]


  21. Counting proofs in propositional logic [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002