Items where Author is "Ringeissen, Christophe"
Jump to: 2011 Number of items: 2. 2011Ringeissen, 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) Ringeissen, 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) |
