LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
 
Series Schriftenreihe
EPiC Series in Computing
 
Volume Band
73
 

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Pagel, Jens ; Zuleger, Florian Beyond Symbolic Heaps: Deciding Separation Logic With Inductive DefinitionsKonferenzbeitrag Inproceedings 27-May-2020
2Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila Parameter Synthesis for Probabilistic HyperpropertiesKonferenzbeitrag Inproceedings 27-May-2020
3Rebola Pardo, Adrian ; Weissenbacher, Georg RAT EliminationKonferenzbeitrag Inproceedings 27-May-2020
4Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Antonio A typed parallel lambda-calculus via 1-depth intermediate proofsKonferenzbeitrag Inproceedings 27-May-2020