Algorithmic Theory of WQOs

Antonopoulos et al, 2014

Summary

Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max Kanovich, and Joël Ouaknine (2014) Foundations for Decision Problems in Separation Logic with General Inductive Predicates FoSSaCS 2014 Anca Muscholl Springer (To appear)

BibTeX entry

@INPROCEEDINGS { AGHKO-fossacs14,
    LOCATION = { Grenoble, France },
    AUTHOR = { Antonopoulos, Timos and Gorogiannis, Nikos and Haase, Christoph and Kanovich, Max and Ouaknine, Jo{\"e}l },
    BOOKTITLE = { FoSSaCS 2014 },
    CONFNAME = { {I}nternational {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputation {S}tructures },
    CONFNUM = { 17th },
    EDITOR = { Muscholl, Anca },
    MONTH = { },
    NOTE = { To appear },
    PUBLISHER = { Springer },
    SERIES = { },
    TITLE = { Foundations for Decision Problems in Separation Logic with General Inductive Predicates },
    YEAR = { 2014 },
}