Richard C. Jeffrey

According to our database, Richard C. Jeffrey authored at least 4 papers between 1956 and 1987.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1987

Computability and logic (2. ed.).

George Boolos, Richard C. Jeffrey

Cambridge University Press, ISBN: 978-0-521-29967-1, 1987

1974

Computability and logic.

George Boolos, Richard C. Jeffrey

Cambridge Univ. Press, ISBN: 052120402X, 1974

1964

Finite State Transformations

Richard C. Jeffrey

Inf. Control., March, 1964

1956

Arithmetical Analysis of Digital Computing Nets.

Richard C. Jeffrey

J. ACM, 1956