Items where Author is "Ringeissen, Christophe"
Jump to: Book Section | Conference or Workshop Item Number of items: 2. Book SectionRingeissen, Christophe and Senni, Valerio Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. In: Frontiers of Combining Systems : Title Frontiers of Combining Systems : Proceedings of the 8th International Symposium, FroCoS 2011. Lecture Notes in Computer Science (6989). Springer, pp. 211-226. ISBN 978-3-642-24363-9 (2011) Conference or Workshop ItemRingeissen, Christophe and Senni, Valerio Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. In: FTP 2011 - International Workshop on First-Order Theorem Proving , July 4, 2011, Bern, Switzerland pp. 1-16. (Submitted) (2011) |
