Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Logic in Logic Programming

86 pages
Niveau: Supérieur
Logic in Logic Programming: Sequent Calculus, Higher-Orders, and Linear Logic Fourth International School for Computer Science Researchers Acireale, Sicily 29 June – 3 July 1992 Dale Miller Computer Science Department University of Pennsylvania Philadelphia, PA 19104–6389 USA Some corrections have been made on 5 July 1992. slides/acireale/root 1

  • higher orders

  • entails having

  • ?? ???

  • multiset union

  • structural rules

  • sequent proof

  • ?1

  • ∆? ??

  • denotes approximately

  • computer science


Voir plus Voir moins

Vous aimerez aussi

Logic in Logic Programming: Sequent Calculus, Higher-Orders, and Linear Logic
Fourth International School for Computer Science Researchers Acireale, Sicily
29 June – 3 July 1992
Dale Miller Computer Science Department University of Pennsylvania Philadelphia, PA 19104–6389 USA dale@cis.upenn.edu
Some corrections have been made on 5 July 1992.
slides/acireale/root
1
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin