Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Book title Buchtitel
Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Editor Herausgeber_in
Publisher Herausgeber
LNCS
Place of publishing Erscheinungsort
10805
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Reger, Giles ; Suda, Martin ; Voronkov, Andrei ; Beyer, Dirk ; Huisman, Marieke | Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning | Konferenzbeitrag Inproceedings  | 2018 |