Back to Results
First PageMeta Content
Predicate logic / Model theory / First-order logic / Predicate / Determinism / Function / Logic / Mathematical logic / Mathematics


Introduction UTP Designs with angelic nondeterminism
Add to Reading List

Document Date: 2013-04-03 07:33:05

Open Document

File Size: 1.000,95 KB

Share Result on Facebook
UPDATE