Search results
-
Full text
-
Document type
-
Organisation
Filter results
Results: 214,925
Number of items: 214,925
-
Apt, K. R., & Luitjes, I. (1995). Verification of Logic Programs with Delay Declarations. In M. Nivat, & V. S. Alagar (Eds.), Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95) (pp. 66-90). (Lecture Notes in Computer Science; No. 936). Springer-Verlag.
Page 20318 of 21493