Login / Signup

Temporal Algebra.

Burghard von Karger
Published in: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Keyphrases