Kozen, Dexter
-
DAIMI Report Series No. 146 (1982): PB-146 Results on the Propositional µ-Calculus - Articles
Results on the Propositional µ-Calculus
Abstract PDF -
DAIMI Report Series No. 400 (1992): PB-400 Partial Automata and Finitely Generated Congruences: An Extension of Nerode's Theorem - Articles
Partial Automata and Finitely Generated Congruences: An Extension of Nerode's Theorem
Abstract PDF -
DAIMI Report Series No. 405 (1992): PB-405 Efficient Recursive Subtyping - Articles
Efficient Recursive Subtyping
Abstract PDF -
DAIMI Report Series No. 394 (1992): PB-394 Efficient Inference of Partial Types - Articles
Efficient Inference of Partial Types
Abstract PDF -
DAIMI Report Series No. 371 (1991): PB-371 Optimal Bounds for the Change-Making Problem - Articles
Optimal Bounds for the Change-Making Problem
Abstract PDF -
DAIMI Report Series No. 381 (1992): PB-381 On Action Algebras - Articles
On Action Algebras
Abstract PDF -
DAIMI Report Series No. 143 (1982): PB-143 A Programming Language for the Inductive Sets, and Applications - Articles
A Programming Language for the Inductive Sets, and Applications
Abstract PDF