Some error occured while loading the Quick View. Please close the Quick View and try reloading the page.
1 Parallel Deduction of Connection Graphs
Rasiah Loganantharaj and Ay-Hwa A. Liou
2 Equations, Order-Sortedness, and Inheritance in Logic Programming
Ulrich Furbach and Steffan Holldobler
3 An Automated Decision Procedure Based on the Semantic Tableau for Singly General Predicate Logic with Identity
G. N. Georgacarakos and William J. Schenk-Hamlin
4 AP: An Assertional Programming System Mantis H. M. Cheng and Keitaro Yukawa
5 T heory and Applications of the Parallel Knowledge-Based System
William B. Day and Winston W. -K Chung
6 A Semantic Network Logic Suitable for Parallel Implementation
Anand V. Hudli
7 A Primitive Recursive Programming Language for a Complete and Enumerable Hoare Verification System
Celia Schahczenski
8 Logic Program Synthesis
Joseph Varghese and Rasiah Loganantharaj
Author Index
Subject Index