Logics of Programs: Brooklyn, June 17-19, 1985 by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1985)

Brand new: lowest price

AU $155.72

Free postage
  • Get it by Fri, 24 Aug - Mon, 10 Sep from Sydney, Australia
  •  • Brand new condition
  •  • 30-day returns - Buyer pays return postage
By Rohit Parikh. Author Rohit Parikh. Edited by Rohit Parikh. Nonclausal temporal deduction. - Lambda calculus with constrained types. - Recursive definitions in type theory. - Automata, tableaux, and temporal logics.