Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
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 icon final.pdf (380.61 KB)