Login / Signup
An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices.
Ewa Palka
Published in:
Fundam. Informaticae (2007)
Keyphrases
</>
continuous action
inference rules
equational theories
theorem proving