|
The FTP Workshop Series
Background
Call for Papers
Important Dates
Submission
Programme Committee
Accepted Contributions
Programme
Venue and Travel
Accommodation
Registration
Related Events
|
Accepted Contributions
- Xuanye An, Miyuki Koshimura, Hiroshi Fujita and Ryuzo Hasegawa.
QMaxSAT version 0.3 & 0.4.
- Vincent Aravantinos and Nicolas Peltier.Generating Schemata of Resolution Proofs.
- Serdar Erbatur, Christopher Lynch and Paliath Narendran.Unification in a Theory of Blind Signatures.
- Christian Mahesh Hansen, Martin Giese, Arild Waaler and Roger Antonsen.Incremental Variable Splitting.
- Thomas Raths and Jens Otten.Implementing and Evaluating Theorem Provers for First-Order Modal Logics.
- Christophe Ringeissen and Valerio Senni.Modular Termination and Combinability for Superposition Modulo Counter
Arithmetic.
|
|
