1-20 of 25
Dexter Kozen
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Book Chapter

Complexity of PDL

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0011
EISBN: 9780262274951
PDF
Book Chapter

Nonregular PDL

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0012
EISBN: 9780262274951
PDF
Book Chapter

Other Variants of PDL

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0013
EISBN: 9780262274951
PDF
Book Chapter

First-Order Dynamic Logic

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0014
EISBN: 9780262274951
Book Chapter

First-Order Dynamic Logic

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0015
EISBN: 9780262274951
PDF
Book Chapter

Relationships with Static Logics

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0016
EISBN: 9780262274951
PDF
Book Chapter

Complexity

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0017
EISBN: 9780262274951
PDF
Book Chapter

Axiomatization

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0018
EISBN: 9780262274951
PDF
Book Chapter

Expressive Power

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0019
EISBN: 9780262274951
PDF
Book Chapter

Variants of DL

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0020
EISBN: 9780262274951
PDF
Book Chapter

Other Approaches

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0021
EISBN: 9780262274951
PDF
Book Chapter

References

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0022
EISBN: 9780262274951
PDF
Book Chapter

Notation and Abbreviations

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0023
EISBN: 9780262274951
PDF
Book Chapter

Index

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0024
EISBN: 9780262274951
PDF
Book Chapter

Preface

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0001
EISBN: 9780262274951
PDF
Book Chapter

Fundamental Concepts

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0002
EISBN: 9780262274951
Book Chapter

Mathematical Preliminaries

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0003
EISBN: 9780262274951
PDF
Book Chapter

Computability and Complexity

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0004
EISBN: 9780262274951
PDF
Book Chapter

Logic

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0005
EISBN: 9780262274951
PDF
Book Chapter

Reasoning About Programs

By David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: The MIT Press
Published: 29 September 2000
DOI: 10.7551/mitpress/2516.003.0006
EISBN: 9780262274951
PDF