Start Over
You searched for: author_facet Kozen, Dexter

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

  • 1984
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.6 .L595 1984
Cover image for The design and analysis of algorithms

The design and analysis of algorithms

Joyner Library - General Stacks
Call Number: QA76.9.A43 K69 1992
Cover image for Logic in Computer Science, 10th Symposium on (LICS '95)

Logic in Computer Science, 10th Symposium on (LICS '95)

Location
Access Content Online
Cover image for Mathematics of program construction

Mathematics of program construction

Location
Access Content Online
Cover image for Theory of computation

Theory of computation

Location
Access Content Online
Cover image for Theory of computation

Theory of computation

Joyner Library - General Stacks
Call Number: QA267 .K69 2006
Cover image for Automata and computability

Automata and computability

Joyner Library - General Stacks
Call Number: QA267 .K69 1997
Cover image for Dynamic Logic

Dynamic Logic

Location
Access Content Online
Cover image for Logic, Language, Information, and Computation

Logic, Language, Information, and Computation

Location
Access Content Online
Cover image for Dynamic logic

Dynamic logic

Joyner Library - General Stacks
Call Number: QA76.9.L63 H37 2000