✦ LIBER ✦

Relational separation logic

✍ Scribed by Hongseok Yang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Classical and Relational Logic

✍ Roger W. Holmes 📂 Article 📅 1936 🏛 Duke University Press 🌐 English ⚖ 185 KB

Belonging: From identity logic to relati

✍ Game, Ann; Metcalfe, Andrew 📂 Article 📅 2011 🏛 Taylor and Francis Group 🌐 English ⚖ 114 KB

A relational algebra for propositional l

✍ Robert W Blanning 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 579 KB

Data Integration: The Relational Logic A

✍ Genesereth, Michael 📂 Article 📅 2010 🏛 Morgan & Claypool 🌐 English ⚖ 736 KB

Relational semantics for full linear log

✍ Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 339 KB

Algebraic separation logic

✍ H.-H. Dang; P. Höfner; B. Möller 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 517 KB