Filters: Author is Damien Doligez  [Clear All Filters]
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)
D. Cousineau, D. Doligez, L. Lamport, S. Merz, D. Ricketts, and H. Vanzetto, “TLA+ Proofs”, in 18th Intl. Symp. Formal Methods (FM 2012), Paris, France, 2012.