HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Leslie Lamport

Publications
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal and Stephan Merz
In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics

Keyphrases

modal logic, temporal logic, TLA.

Copyright © 2012-2025 easychair.org. All rights reserved.