Literature

Found 1 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Rümmer  [Clear All Filters]
2010
Brillout, A., Kroening, D., Rümmer, P., Wahl, T. , "An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic", IJCAR, vol. to appear, Edinburgh, Springer, 16/07/2010. Abstract
 Export: Tagged XML BibTex