Böhm, C. (Corrado) 1923
Overview
Works:  45 works in 126 publications in 4 languages and 1,470 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Editor, Author, Honoree, Publisher 
Publication Timeline
.
Most widely held works about
C Böhm
 A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday by M DezaniCiancaglini( Book )
Most widely held works by
C Böhm
[Lambda]calculus and computer science theory : proceedings of the symposium held in Rome, March 2527, 1975 by
C Böhm(
Book
)
16 editions published in 1975 in English and German and held by 385 WorldCat member libraries worldwide
16 editions published in 1975 in English and German and held by 385 WorldCat member libraries worldwide
Automata, languages and programming : fifth colloquium, Udine, Italy, July 1721, 1978 by
G Ausiello(
Book
)
20 editions published in 1978 in 3 languages and held by 333 WorldCat member libraries worldwide
Simple EOL forms under uniform interpretation generating CF languages; Codes: unequal probabilities unequal letter costs; Sur l'inversion des morphismes d'arbres; Grammars with dynamic control sets; Ambiguite forte; Relationship between density and deterministic complexity of NPcomplete languages; Stable models of typed calculi; Path measures of turing machines computations; Une famille remarquable de codes indecomposables; Comparisons and reset machines; Sizedepth tradeoff in boolean formulas
20 editions published in 1978 in 3 languages and held by 333 WorldCat member libraries worldwide
Simple EOL forms under uniform interpretation generating CF languages; Codes: unequal probabilities unequal letter costs; Sur l'inversion des morphismes d'arbres; Grammars with dynamic control sets; Ambiguite forte; Relationship between density and deterministic complexity of NPcomplete languages; Stable models of typed calculi; Path measures of turing machines computations; Une famille remarquable de codes indecomposables; Comparisons and reset machines; Sizedepth tradeoff in boolean formulas
Trees in algebra and programming : 6th colloquium, Genoa, March 57, 1981 : proceedings by CAAP '81(
Book
)
9 editions published in 1981 in English and held by 243 WorldCat member libraries worldwide
9 editions published in 1981 in English and held by 243 WorldCat member libraries worldwide
CAAP '81 : trees in algebra and programming, 6th Colloquium, Genoa, March 57, 1981, proceedings by
E Astesiano(
)
13 editions published in 1981 in English and Italian and held by 162 WorldCat member libraries worldwide
13 editions published in 1981 in English and Italian and held by 162 WorldCat member libraries worldwide
Theoretical computer science : proceedings of the third Italian conference, Mantova, 24 November 1989 by Italian Conference on Theoretical Computer Science(
Book
)
9 editions published between 1989 and 1990 in English and held by 100 WorldCat member libraries worldwide
9 editions published between 1989 and 1990 in English and held by 100 WorldCat member libraries worldwide
Lambdacalculus and computer science theory : proceedings of the symposium held in Rome march 2527, 1975 by
C Böhm(
)
7 editions published in 1975 in English and German and held by 81 WorldCat member libraries worldwide
7 editions published in 1975 in English and German and held by 81 WorldCat member libraries worldwide
<> by
C Böhm(
)
1 edition published in 1975 in English and held by 31 WorldCat member libraries worldwide
1 edition published in 1975 in English and held by 31 WorldCat member libraries worldwide
Automata, Languages and Programming Fifth Colloquium, Udine, Italy, July 1721, 1978 by
G Ausiello(
)
1 edition published in 1978 in English and held by 31 WorldCat member libraries worldwide
1 edition published in 1978 in English and held by 31 WorldCat member libraries worldwide
CAAP '81 Trees in Algebra and Programming 6th Colloquium Genoa, March 57, 1981 Proceedings by
E Astesiano(
)
1 edition published in 1981 in English and held by 30 WorldCat member libraries worldwide
1 edition published in 1981 in English and held by 30 WorldCat member libraries worldwide
Calculatrices digitales du déchiffrage de formules logicomathématiques par la machine même dans la conception du programme by
C Böhm(
Book
)
8 editions published in 1954 in French and held by 24 WorldCat member libraries worldwide
8 editions published in 1954 in French and held by 24 WorldCat member libraries worldwide
A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday by
M DezaniCiancaglini(
Book
)
3 editions published in 1993 in English and held by 8 WorldCat member libraries worldwide
3 editions published in 1993 in English and held by 8 WorldCat member libraries worldwide
Gentzen by Gentzen conference(
Book
)
2 editions published in 1999 in English and held by 5 WorldCat member libraries worldwide
2 editions published in 1999 in English and held by 5 WorldCat member libraries worldwide
Gentzen(
Book
)
1 edition published in 1999 in Undetermined and held by 3 WorldCat member libraries worldwide
1 edition published in 1999 in Undetermined and held by 3 WorldCat member libraries worldwide
Caleulatrices digitales du déchiffrage de formules logicomathématiques par la machine même dans la conception du programme by
C Böhm(
Book
)
1 edition published in 1954 in French and held by 3 WorldCat member libraries worldwide
1 edition published in 1954 in French and held by 3 WorldCat member libraries worldwide
CAAP '81 : trees in algebra and programming by Colloquium on Trees in Algebra and Programming(
Book
)
2 editions published in 1981 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1981 in English and held by 2 WorldCat member libraries worldwide
Lambda  Calculus(
Book
)
1 edition published in 1975 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 1975 in Undetermined and held by 1 WorldCat member library worldwide
Proceedings of the Third Italian Conference Theoretical Computer Science : Mantova, 24 November 1989 by Italian Conference Theoretical Computer Science(
Book
)
1 edition published in 1989 in English and held by 1 WorldCat member library worldwide
1 edition published in 1989 in English and held by 1 WorldCat member library worldwide
International colloquium on automata, languages and programming, udine, italy, july 1721, 1978 by
G Ausiello(
Book
)
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
#x98;A#x9C; collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday(
Book
)
1 edition published in 1993 in English and held by 1 WorldCat member library worldwide
1 edition published in 1993 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Astesiano, E. (Egidio) 1939 Author Editor
 Ausiello, G. (Giorgio) 1941 Author Editor
 Istituto per le applicazioni del calcolo
 Miglioli, P. Editor
 Università di Milano Computer Science Department
 Associazione italiana per il calcolo automatico
 European Association for Theoretical Computer Science Italian Chapter
 Bertoni, Alberto 1946
 Istituto per le Applicazioni del Calcolo Mauro Picone (Rom)
 Bertoni, A. Editor
Useful Links
Associated Subjects
Algebra Combinatory logic Computational complexity Computer programming Computer science Computer software Data structures (Computer science) Formal languages Logic, Symbolic and mathematical Machine theory Programming languages (Electronic computers) Trees (Graph theory) Trees (Graph theory)Data processing
Covers
Alternative Names
Böhm, C.
Böhm, C. 1923
Böhm, C. 19232017
Böhm , C. <19292017>
Böhm, Corrado 1923...
Corrado Böhm Italiaans wiskundige
Corrado Böhm Italian mathematician
Corrado Böhm italienischer theoretischer Informatiker und Computerpionier
Corrado Böhm italiensk matematikar, informatikar og ingeniør
Corrado Böhm italiensk matematiker, datavetare och ingenjör
Corrado Böhm italiensk matematiker, informatiker og ingeniør
Corrado Böhm matemàtic italià
Corrado Böhm matematician italian
Corrado Böhm matemático italiano
Corrado Böhm mathématicien italien
Коррадо Бём итальянский математик и логик, специалист в области информатики
コラド・ベーム
科拉多·伯姆
Languages