Search Results

You searched for: author_facet Kozen, Dexter Remove constraint

Search Results

Cover image for Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

Location Call # Status
Joyner - General Stacks QA76.6 .L595 1984 ✔ Available
Cover image for Theory of computation

Theory of computation

Location Call # Status
Joyner - General Stacks QA267 .K69 2006 ✔ Available
Cover image for Automata and computability

Automata and computability

Location Call # Status
Joyner - General Stacks QA267 .K69 1997 ✔ Available
Cover image for The design and analysis of algorithms

The design and analysis of algorithms

Location Call # Status
Joyner - General Stacks QA76.9.A43 K69 1992 ✔ Available
Cover image for Dynamic Logic

Dynamic Logic

Location
Access Content Online
Cover image for Dynamic logic

Dynamic logic

Location Call # Status
Joyner - General Stacks QA76.9.L63 H37 2000 ✔ Available
Cover image for Mathematics of program construction

Mathematics of program construction

Location Call # Status
Joyner - General Stacks QA76.6 .M6926 2004 ✔ Available