CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  InProceedings Page Login  
   
banner bottom
File Top
Proof Net Semantics of Proof Search Computation

@ Algebraic and Logic Programming


Editors: M. Hanus, J. Heering and K. Meinke

Series: Lecture Notes in Computer Science

Number: 1298

Publisher: Springer-Verlag ( Germany )

Pages: 194 to 208


Date: 1997


Authors:

File Bottom