Publications

Filters: Author is Tomer Libal  [Clear All Filters]
2014
D. Doligez, J. Kriener, L. Lamport, T. Libal, and S. Merz, “Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics”, in Automated Reasoning in Quantified Non-Classical Logics, Vienna, Austria, 2014.PDF iconfinal.pdf (380.61 KB)