HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:TLA

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
Copyright © 2012-2025 easychair.org. All rights reserved.