Search the dblp DataBase
Corrado Böhm :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] Corrado Böhm Reducing Recursion to Iteration by Algebraic Extension. [Citation Graph (0, 0)][DBLP ] ESOP, 1986, pp:111-118 [Conf ] 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 ] 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 ] Corrado Böhm Can Syntax Be Ignored during Translation? [Citation Graph (0, 0)][DBLP ] ICALP, 1972, pp:197-207 [Conf ] Corrado Böhm Subduing Self-Application. [Citation Graph (0, 0)][DBLP ] ICALP, 1989, pp:108-122 [Conf ] Corrado Böhm , Mario Coppo , Mariangiola Dezani-Ciancaglini Termination Tests inside lambda-Calculus. [Citation Graph (0, 0)][DBLP ] ICALP, 1977, pp:95-110 [Conf ] Corrado Böhm , Mariangiola Dezani-Ciancaglini Combinatorial Problems, Combinator Equations and Normal Forms. [Citation Graph (0, 0)][DBLP ] ICALP, 1974, pp:185-199 [Conf ] 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 ] Corrado Böhm Combinatory Foundation of Functional Programming. [Citation Graph (0, 0)][DBLP ] Symposium on LISP and Functional Programming, 1982, pp:29-36 [Conf ] Corrado Böhm , Enrico Tronci X-Separability and Left-Invertibility in lambda-calculus [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:320-328 [Conf ] 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 ] Corrado Böhm Functional Programming and Combinatory Algebras. [Citation Graph (0, 0)][DBLP ] MFCS, 1988, pp:14-26 [Conf ] 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 ] Alessandro Berarducci , Corrado Böhm General Recursion on Second Order Term Algebras. [Citation Graph (0, 0)][DBLP ] RTA, 2001, pp:15-30 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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.002secs, Finished in 0.305secs