Talks and Poster Presentations (with Proceedings-Entry):
G. Reger, M. Suda, A. Voronkov:
"Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning";
Talk: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
Thessaloniki, Greece;
2018-04-14
- 2018-04-20; in: "Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
D. Beyer, M. Huisman (ed.);
LNCS,
10805
(2018),
3
- 22.
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_276672.pdf
Created from the Publication Database of the Vienna University of Technology.