1995
Verification of logic programs with delay declarations
Publication
Publication
Presented at the
International Workshop on Parallel and Distributed Methods in Verification
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
International Workshop on Parallel and Distributed Methods in Verification | |
Organisation | Logic and language |
Apt, K., & Luitjes, I. (1995). Verification of logic programs with delay declarations. In Proceedings of International Conference on Algebraic Methodolody and Software Technology 1995 (4) (pp. 66–90). Springer. |