Search alternatives:
"determinacy" » "determinant", "determinar", "determinants"
"indeterminacy" » "indeterminant", "indeterminar", "indeterminants", "indeterminate"
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...”