An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic (Q5747778): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-14203-1_33
+Normal rank
@@ Property / OpenAlex ID @@
+W1582116296
@@ Property / OpenAlex ID: W1582116296 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolant Generation for UTVPI
@@ Property / cites work: Interpolant Generation for UTVPI / rank @@
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
+Normal rank
@@ Property / cites work @@
+Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix
+Normal rank
@@ Property / cites work @@
+Interpolants for Linear Arithmetic in SMT
@@ Property / cites work: Interpolants for Linear Arithmetic in SMT / rank @@
+Normal rank
@@ Property / cites work @@
+Q5736158
@@ Property / cites work: Q5736158 / rank @@
+Normal rank
@@ Property / cites work @@
+An interpolating theorem prover
@@ Property / cites work: An interpolating theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Abstraction with Interpolants
@@ Property / cites work: Lazy Abstraction with Interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
+Normal rank
@@ Property / cites work @@
+Constraint Solving for Interpolation
@@ Property / cites work: Constraint Solving for Interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5747778