Concepedia

Corrado Böhm

CB

7

Publications

1.1K

Citations

7

H-Index

1966

Active since

Affiliations

Sapienza University of Rome(Current)

Corrado Böhm is an author at Sapienza University of Rome specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningData ScienceProgram AnalysisSoftware AnalysisArtificial IntelligenceComputational Complexity

Publications per year

1966–1994

7

Publications

7

Flow diagrams, turing machines and languages with only two formation rules

Corrado Böhm, G. Jacopini · Communications of the ACM · 1966 · 782 citations · Full text

Automatic synthesis of typed Λ-programs on term algebras

Corrado Böhm, Alessandro Berarducci · Theoretical Computer Science · 1985 · 230 citations

Engineering, Program Analysis, Automated Reasoning +6

A discrimination algorithm inside λ-β-calculus

Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti et al. · Theoretical Computer Science · 1979 · 24 citations

Optimization Problem, Discrimination Algorithm, Computational Complexity +2

A Discrimination Algorithm Inside lambda-beta-Calculus.

Corrado Böhm, Mariangiola Dezani-Ciancaglini, Paolo Peretti et al. · Theoretical Computer Science · 1979 · 16 citations

The Ant-Lion Paradigm for Strong Normalization

Corrado Böhm, Benedetto Intrigila · Information and Computation · 1994 · 13 citations

Artificial Intelligence, Text Normalization, Engineering +7

Rows per page

1–5 of 7