TAPSOFT '87: Proceedings of the International Joint Confe...
Ehrig, Hartmut / Montanari, Ugo / Levi, Giorgio / Kowalski, Robert A.![TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987](https://support.digitalhusky.com/media/annotations/sorted/324/3244427/CHSBZCOP033244427.jpg)
Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog ¿ A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled...