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
Polymorphic higher-order unification for logic programming

@ Proceedings of the Eleventh International Conference on Logic Programming ICLP'94


Publisher: MIT Press ( United States )


Date: 1994


Authors:

File Bottom