BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 1.

    Brotherston, J. and Fuhs, Carsten and Navarro Pérez, J.A. and Gorogiannis, N. (2014) A decision procedure for satisfiability in separation logic with inductive predicates. In: UNSPECIFIED (ed.) Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14. New York, U.S.: ACM. ISBN 9781450328869.

    This list was generated on Sun Apr 14 05:02:52 2024 BST.