dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Rick L. Stevens (Selection)

Rick Stevens

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLarry Wos, S. Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler: Automated Reasoning Contributed to Mathematics and Logic. CADE 1990: 485-499
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi: The Aurora or-parallel Prolog system. New Generation Comput. 7(2-3): 243-271 (1990)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman: The Aurora Or-Parallel Prolog System. FGCS 1988: 819-830
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens: Scheduling OR-Parallelism: An Argonne Perspective. ICLP/SLP 1988: 1590-1605

Selection of 4 from 58 records - Rick L. Stevens has 218 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page