![Model theory / Formal languages / Mathematical logic / Structure / Universal algebra / Interpretation / Relational algebra / Substitution Model theory / Formal languages / Mathematical logic / Structure / Universal algebra / Interpretation / Relational algebra / Substitution](https://www.pdfsearch.io/img/c5206634e6e8d2650cc8bf803833a456.jpg) Date: 2010-08-09 16:46:30Model theory Formal languages Mathematical logic Structure Universal algebra Interpretation Relational algebra Substitution | | Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 Add to Reading ListSource URL: www.cs.princeton.eduDownload Document from Source Website File Size: 315,93 KBShare Document on Facebook
|