THE REPRESENTATION OF MANY-ONE DEGREES BY THE WORD PROBLEM FOR THUE SYSTEMSOVERBEEK R.1973; PROC. LONDON MATH. SOC.; G.B.; DA. 1973; VOL. 26; NO 1; PP. 184-192; BIBL. 6 REF.Serial Issue

THE REPRESENTATION OF MANY-ONE DEGREES BY DECISION PROBLEMS OF TURING MACHINESOVERBEEK R.1973; PROC. LONDON MATH. SOC.; G.B.; DA. 1973; VOL. 26; NO 1; PP. 167-183; BIBL. 4 REF.Serial Issue

COMPLEXITY AND RELATED ENHANCEMENTS FOR AUTOMATED THEOREMPROVING PROGRAMS.OVERBEEK R; MCCHAREN J; WOS L et al.1976; COMPUTERS MATH. APPL.; G.B.; DA. 1976; VOL. 2; NO 1; PP. 1-16; BIBL. 4 REF.Article

HYPERPARAMODULATION: A REFINEMENT OF PARAMODULATIONWOS L; OVERBEEK R; HENSCHEN L et al.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; PP. 208-219; BIBL. 7 REF.Conference Paper

A THEOREM-PROVING LANGUAGE FOR EXPERIMENTATION.HENSCHEN L; OVERBEEK R; WOS L et al.1974; COMMUNIC. A.C.M.; U.S.A.; DA. 1974; VOL. 17; NO 6; PP. 308-314; BIBL. 6 REF.Article

Proceedings/9th international conference on automated deduction, Argonne, IL, USA, May 23-26, 1988LUSK, E; OVERBEEK, R.Lecture notes in computer science. 1988, Vol 310, issn 0302-9743, X-775 pConference Proceedings

Derivation of efficient parallel programs: an example from genetic sequence analysisSINGH, A. K; OVERBEEK, R.International journal of parallel programming. 1989, Vol 18, Num 6, pp 447-484, issn 0885-7458, 38 p.Article

The winds of (evolutionary) change : breathing new life into microbiologyOLSEN, G. J; WOESE, C. R; OVERBEEK, R et al.Journal of bacteriology. 1994, Vol 176, Num 1, pp 1-6, issn 0021-9193Article

Geometric specification of scheduling constraints: A simplified approach to multiprocessingGLICKFELD, B. W; OVERBEEK, R. A.Parallel computing. 1988, Vol 6, Num 3, pp 325-337, issn 0167-8191Article

fastDNAml: a tool for construction of phylogenetic trees of DNA sequences using maximum likelihoodOLSEN, G. J; MATSUDA, H; HAGSTROM, R et al.Computer applications in the biosciences (Print). 1994, Vol 10, Num 1, pp 41-48, issn 0266-7061Article

Maximum likelihood genetic sequence reconstruction from oligo contentHAGSTROM, J. N; HAGSTROM, R; OVERBEEK, R et al.Networks (New York, NY). 1994, Vol 24, Num 5, pp 297-302, issn 0028-3045Article

The genetic data environment an expandable GUI for multiple sequence analysisSMITH, S. W; OVERBEEK, R; WOESE, C. R et al.Computer applications in the biosciences (Print). 1994, Vol 10, Num 6, pp 671-675, issn 0266-7061Article

Searching for genomic organizational motifs: explorations of the Escherichia coli chromosomeMICHAELS, G. S; TAYLOR, R; HAGSTROM, R et al.Computers & chemistry. 1993, Vol 17, Num 2, pp 209-217, issn 0097-8485Article

Structure detection through automated covariance searchWINKER, S; OVERBEEK, R; WOESE, C. R et al.Computer applications in the biosciences (Print). 1990, Vol 6, Num 4, pp 365-371, issn 0266-7061, 7 p.Article

Towards microbial data integrationLARSEN, N; OVERBEEK, R; PRAMANIK, S et al.Journal of industrial microbiology & biotechnology. 1997, Vol 18, Num 1, pp 68-72, issn 1367-5435Article

The ribosomal database projectLARSEN, N; OLSEN, G. J; MAIDAK, B. L et al.Nucleic acids research. 1993, Vol 21, Num 13, pp 3021-3023, issn 0305-1048Article

The ribosomal database projectOLSEN, G. J; OVERBEEK, R; LARSEN, N et al.Nucleic acids research. 1992, Vol 20, pp 2199-2200, issn 0305-1048, SUPArticle

The complete genome of the hyperthermophilic bacterium Aquifex aeolicusDECKERT, G; WARREN, P. V; HUBER, R et al.Nature (London). 1998, Vol 392, Num 6674, pp 353-358, issn 0028-0836Article

Complete genome sequence of the methanogenesis archaeon, Methanococcus jannaschiiBULT, C. J; WHITE, O; KERLAVAGE, A. R et al.Science (Washington, D.C.). 1996, Vol 273, Num 5278, pp 1058-1073, issn 0036-8075Article

The complete genome sequence of the hyperthermophilic, sulphate-reducing archaeon archaeoglobus fulgidusKLENK, H.-P; CLAYTON, R. A; RICHARDSON, D. L et al.Nature (London). 1997, Vol 390, Num 6658, pp 364-370, issn 0028-0836Article