Search alternatives:
"determinacy" » "indeterminacy", "determinant", "determinar"
Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...”