WorldCat Identities

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
 
Most widely held works by C Böhm
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 by C Böhm( Book )

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 17-21, 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 NP-complete languages; Stable models of typed calculi; Path measures of turing machines computations; Une famille remarquable de codes indecomposables; Comparisons and reset machines; Size-depth tradeoff in boolean formulas
Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings by CAAP '81( Book )

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 5-7, 1981, proceedings by E Astesiano( )

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, 2-4 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

Lambda-calculus and computer science theory : proceedings of the symposium held in Rome march 25-27, 1975 by C Böhm( )

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

Automata, Languages and Programming Fifth Colloquium, Udine, Italy, July 17-21, 1978 by G Ausiello( )

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 5-7, 1981 Proceedings by E Astesiano( )

1 edition published in 1981 in English and held by 30 WorldCat member libraries worldwide

Calculatrices digitales du déchiffrage de formules logico-mathé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

A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday by M Dezani-Ciancaglini( Book )

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

Logic and computers by C Böhm( )

in Italian and held by 3 WorldCat member libraries worldwide

Gentzen( Book )

1 edition published in 1999 in Undetermined and held by 3 WorldCat member libraries worldwide

Caleulatrices digitales du déchiffrage de formules logico-mathé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

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

Lambda - Calculus( Book )

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, 2-4 November 1989 by Italian Conference Theoretical Computer Science( Book )

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 17-21, 1978 by G Ausiello( Book )

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.64 for Trees in a ... to 0.99 for Internatio ...)

Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings CAAP '81 : trees in algebra and programming, 6th Colloquium, Genoa, March 5-7, 1981, proceedings CAAP '81 : trees in algebra and programming
Covers
Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedingsCAAP '81 : trees in algebra and programming, 6th Colloquium, Genoa, March 5-7, 1981, proceedingsCAAP '81 : trees in algebra and programming
Alternative Names
Böhm, C.

Böhm, C. 1923-

Böhm, C. 1923-2017

Böhm , C. <1929-2017>

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