Skip to main content

Foundations for Decision Problems in Separation Logic with General Inductive Predicates

Timos Antonopoulos‚ Nikos Gorogiannis‚ Christoph Haase‚ Max I. Kanovich and Joël Ouaknine

Book Title
Foundations of Software Science and Computation Structures‚ FOSSACS
Pages
411–425
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
8412
Year
2014