Foundations for decision problems in separation logic with general inductive predicates

Conference paper

Antonopoulos, T., Gorogiannis, N., Haase, C., Kanovich, M. and Ouaknine, J. 2014. Foundations for decision problems in separation logic with general inductive predicates. 17th International Conference on the Foundations of Software Science and Computation Structures, FOSSACS 2014. Grenoble, France 05 - 13 Apr 2014 Springer. https://doi.org/10.1007/978-3-642-54830-7_27
TypeConference paper
TitleFoundations for decision problems in separation logic with general inductive predicates
AuthorsAntonopoulos, T., Gorogiannis, N., Haase, C., Kanovich, M. and Ouaknine, J.
Research GroupFoundations of Computing group
Conference17th International Conference on the Foundations of Software Science and Computation Structures, FOSSACS 2014
ISSN0302-9743
ISBN
Hardcover9783642548291
PublisherSpringer
Publication dates
Print2014
Publication process dates
Deposited12 May 2015
Output statusPublished
Accepted author manuscript
Copyright Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-54830-7_27

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

Digital Object Identifier (DOI)https://doi.org/10.1007/978-3-642-54830-7_27
LanguageEnglish
Book titleFoundations 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
Permalink -

https://repository.mdx.ac.uk/item/854xy

Log in to edit

Download files

Accepted author manuscript
2014-fossacs.pdf

  • 16
    total views
  • 12
    total downloads
  • 1
    views this month
  • 1
    downloads this month

Export as