First Page | Document 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 ListSource URL: hiperfit.dkDownload Document from Source WebsiteFile Size: 506,00 KBShare Document on Facebook |