Specifications using multiple-conclusion logic programs
Published in Lecture notes in computer science • Jan 1, 1994
NobleIDNI8P79W22R10S30
Authors:
Dale Miller
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!