The SCEAS System
Navigation Menu

Search the dblp DataBase


Corrado Böhm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandro Berarducci, Corrado Böhm
    A Self-Interpreter of Lambda Calculus Having a Normal Form. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:85-99 [Conf]
  2. Corrado Böhm, Adolfo Piperno
    Surjectivity for Finite Sets of Combinators by Weak Reduction. [Citation Graph (0, 0)][DBLP]
    CSL, 1987, pp:27-43 [Conf]
  3. Corrado Böhm
    Reducing Recursion to Iteration by Algebraic Extension. [Citation Graph (0, 0)][DBLP]
    ESOP, 1986, pp:111-118 [Conf]
  4. Corrado Böhm, Adolfo Piperno, Stefano Guerrini
    Lambda-Definition of Function(al)s by Normal Forms. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:135-149 [Conf]
  5. Corrado Böhm
    Reducing Recursion to Iteration by Means of Pairs and N-tuples. [Citation Graph (0, 0)][DBLP]
    Foundations of Logic and Functional Programming, 1986, pp:58-66 [Conf]
  6. Corrado Böhm
    Can Syntax Be Ignored during Translation? [Citation Graph (0, 0)][DBLP]
    ICALP, 1972, pp:197-207 [Conf]
  7. Corrado Böhm
    Subduing Self-Application. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:108-122 [Conf]
  8. Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini
    Termination Tests inside lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP, 1977, pp:95-110 [Conf]
  9. Corrado Böhm, Mariangiola Dezani-Ciancaglini
    Combinatorial Problems, Combinator Equations and Normal Forms. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:185-199 [Conf]
  10. Corrado Böhm, Mariangiola Dezani-Ciancaglini
    Lambda-terms as total or partial functions on normal forms. [Citation Graph (0, 0)][DBLP]
    Lambda-Calculus and Computer Science Theory, 1975, pp:96-121 [Conf]
  11. Corrado Böhm
    Combinatory Foundation of Functional Programming. [Citation Graph (0, 0)][DBLP]
    Symposium on LISP and Functional Programming, 1982, pp:29-36 [Conf]
  12. Corrado Böhm, Enrico Tronci
    X-Separability and Left-Invertibility in lambda-calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:320-328 [Conf]
  13. Corrado Böhm, Adolfo Piperno
    Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:91-101 [Conf]
  14. Corrado Böhm
    Functional Programming and Combinatory Algebras. [Citation Graph (0, 0)][DBLP]
    MFCS, 1988, pp:14-26 [Conf]
  15. Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
    Listing of information structures defined by fixed-point operators. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1974, pp:266-279 [Conf]
  16. Alessandro Berarducci, Corrado Böhm
    General Recursion on Second Order Term Algebras. [Citation Graph (0, 0)][DBLP]
    RTA, 2001, pp:15-30 [Conf]
  17. Corrado Böhm
    Theoretical Computer Science and Software Science: The Past, the Present and the Future (Position Paper). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:3-5 [Conf]
  18. Corrado Böhm, Giuseppe Jacopini
    Flow diagrams, turing machines and languages with only two formation rules. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1966, v:9, n:5, pp:366-371 [Journal]
  19. Corrado Böhm
    Fixed Point Equations Inside the Algebra of Normal Forms. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:37, n:4, pp:329-342 [Journal]
  20. Corrado Böhm, Benedetto Intrigila
    The Ant-Lion Paradigm for Strong Normalization [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:114, n:1, pp:30-49 [Journal]
  21. Corrado Böhm, Enrico Tronci
    About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:90, n:1, pp:1-32 [Journal]
  22. Corrado Böhm, Antonio Machi, Giovanna Sontacchi
    Complexity Bounds for Equivalence and Isomorphism of Latin Squares. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1980, v:10, n:4/5, pp:231-233 [Journal]
  23. Corrado Böhm, Silvio Micali
    Minimal Forms in lambda-Calculus Computations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:1, pp:165-171 [Journal]
  24. Corrado Böhm, Alessandro Berarducci
    Automatic Synthesis of Typed Lambda-Programs on Term Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:39, n:, pp:135-154 [Journal]
  25. Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca
    A Discrimination Algorithm Inside lambda-beta-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1979, v:8, n:, pp:265-292 [Journal]

Search in 0.102secs, Finished in 0.104secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002