Adjunct Elimination in Context Logic for Trees
From MaRDI portal
Publication:3498442
DOI10.1007/978-3-540-76637-7_17zbMath1137.03312MaRDI QIDQ3498442
Philippa Gardner, Cristiano Calcagno, Thomas Dinsdale-Young
Publication date: 15 May 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10044/1/33266
03B70: Logic in computer science
Related Items
Cites Work
- Context logic as modal logic
- First-order properties of trees, star-free expressions, and aperiodicity
- The Logic of Bunched Implications
- Anytime, anywhere
- BI as an assertion language for mutable data structures
- Context logic and tree update
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science