Back to Results
First PageMeta Content
Theoretical computer science / Logic / Mathematical logic / Denotational semantics / Logic in computer science / Symbol / Substitution


Certified Symbolic Management of Financial Multi-party Contracts ∗ Jost Berthold Patrick Bahr Department of Computer Science,
Add to Reading List

Open Document

File Size: 506,00 KB

Share Result on Facebook