Dynamic Algebras: Examples, Constructions, Applications (1991)

by Vaughan Pratt
Venue:Studia Logica
Citations:17 - 1 self