R. Fridshal Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1961
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Cobham, R. Fridshal, J. H. North: An application of linear programming to the minimization of Boolean functions FOCS 1961: 3-9
1959
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Dunham, R. Fridshal, G. L. Sward: A non-heuristic program for proving elementary logical theorems. IFIP Congress 1959: 282-284
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Dunham, R. Fridshal: The Problem of Simplifying Logical Expressions. J. Symb. Log. 24(1): 17-19 (1959)

Coauthor Index

1Alan Cobham [3]
2B. Dunham [1] [2]
3J. H. North [3]
4G. L. Sward [2]

Colors in the list of coauthors

Copyright © Mon Dec 7 15:48:47 2009 by Michael Ley (ley@uni-trier.de)