Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Needed Narrowing Strategy Sergio Antoy Rachid Echahed Michael Hanus
 

Summary: 


A Needed Narrowing Strategy



Sergio Antoy Rachid Echahed Michael Hanus

Dept. of Computer Science IMAG-LGI MPI Informatik
Portland State University CNRS Im Stadtwald
Portland, OR 97207 F-38041 Grenoble D-66123 Saarbr"ucken
U.S.A. France Germany
antoy@cs.pdx.edu echahed@imag.fr michael@mpi-sb.mpg.de



Abstract The rules of " " will be used in fo*
*llowing examples.
To narrow the equation Z + s(0) s*

  

Source: Antoy, Sergio - Department of Computer Science, Portland State University

 

Collections: Computer Technologies and Information Sciences