Publications

Export 2 results:
Sort by: Author [ Title  (Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
Bertolino, B, Meo L, Pedreschi D, Turini F.  1992.  The Type System of LML. Types in Logic Programming. :313-332.
P