Amanote Research
Register
Sign In
Forward Versus Backward Verification of Logic Programs
Lecture Notes in Computer Science
- Germany
doi 10.1007/978-3-540-24599-5_22
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
January 1, 2003
Authors
Andy King
Lunjin Lu
Publisher
Springer Berlin Heidelberg
