Richard C. Jeffrey

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1987

3 George Boolos, Richard C. Jeffrey: Computability and logic (2. ed.). Cambridge University Press 1987: I-X, 1-285

1964

2 Richard C. Jeffrey: Finite State Transformations Information and Control 7(1): 45-54 (1964)

1956

1 Richard C. Jeffrey: Arithmetical Analysis of Digital Computing Nets. J. ACM 3(4): 360-375 (1956)

	1987
3		George Boolos, Richard C. Jeffrey: Computability and logic (2. ed.). Cambridge University Press 1987: I-X, 1-285
	1964
2		Richard C. Jeffrey: Finite State Transformations Information and Control 7(1): 45-54 (1964)
	1956
1		Richard C. Jeffrey: Arithmetical Analysis of Digital Computing Nets. J. ACM 3(4): 360-375 (1956)

Coauthor Index

1 George Boolos [3]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page