Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

1
by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... Remarks -- 2 Time and Space Bounded Computations -- 2.1 Introduction -- 2.2 Orders of Magnitude -- 2.3...”
Cover Image
Read Now

2
by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... Introduction -- 2.2 An Array Machine: the APM -- 2.3 A Multiprocessor Machine: the SIMDAG -- 2.4 A Tree Machine...”
Cover Image
Read Now

3
by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Remarks -- 3 Time and Space Bounded Computations -- 2.1 Introduction -- 2.2 Orders of Magnitude -- 2.3...”
Cover Image
Read Now

4
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... with Higher-Order Modal Fixpoint Logic -- Sensitivity, Block Sensitivity, and Certificate Complexity of Unate...”