Publications
Filters: Author is Tomer Libal [Clear All Filters]
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics”, in Automated Reasoning in Quantified Non-Classical Logics, Vienna, Austria, 2014.
final.pdf (380.61 KB)
, “![application/pdf PDF icon](/modules/file/icons/application-pdf.png)