Search alternatives:
"logician" » "logicians", "logiciel"
"logica" » "logics"
"logical" » "logicsl"
Cover Image
Read Now

1
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... with respect to interpretations in deterministic and nondeterministic polynomial time -- A temporal logic...”
Cover Image
Read Now

2
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... logical operational semantics of full Prolog -- Set-theoretic reductions of Hilbert's tenth problem...”