Items where Author / Artist / Editor is "Pérez, Juan A. Navarro"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Brotherston, James, Fuhs, Carsten, Pérez, Juan A. Navarro and Gorogiannis, Nikos ORCID logoORCID: (2014) A decision procedure for satisfiability in separation logic with inductive predicates. 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. In: CSL-LICS 2014, 14-18 Jul 2014, Vienna, Austria. ISBN 9781450328869. [Conference or Workshop Item] (doi:10.1145/2603088.2603091)

This list was generated on Tue Jan 31 06:28:48 2023 GMT.