Foundations for decision problems in separation logic with general inductive predicates

Antonopoulos, Timos, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Haase, Christoph, Kanovich, Max and Ouaknine, Joël (2014) Foundations for decision problems in separation logic with general inductive predicates. Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. In: 17th International Conference on the Foundations of Software Science and Computation Structures, FOSSACS 2014, 5-13 Apr 2014, Grenoble, France. ISBN 9783642548291. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-642-54830-7_27)

[img]
Preview
PDF - Final accepted version (with author's formatting)
Download (382kB) | Preview
Item Type: Conference or Workshop Item (Paper)
Additional Information: Published paper appears in: Foundations of Software Science and Computation Structures, Volume 8412 of the series Lecture Notes in Computer Science pp 411-425
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 15930
Notes on copyright: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-54830-7_27
Depositing User: Nikos Gkorogiannis
Date Deposited: 12 May 2015 15:22
Last Modified: 09 Jun 2021 14:16
URI: https://eprints.mdx.ac.uk/id/eprint/15930

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
162Downloads
342Hits

Additional statistics are available via IRStats2.