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)
|
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: | 29 Nov 2022 23:53 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/15930 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)