( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations

, и . Proc. Intl. Symp on Symbolic and Algebraic Computation (ISSAC-2004), Spain, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Pere Carbonell

Enric Novella

Enric Llobet Brossa

Verónica Jaffé Carbonell

Enric Fossas-Colet

 

Другие публикации лиц с тем же именем

Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions., , , и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 333-350. Springer, (2014)Speeding up the Constraint-Based Method in Difference Logic., , , , и . SAT, том 9710 из Lecture Notes in Computer Science, стр. 284-301. Springer, (2016)Automatic generation of polynomial loop., и . ISSAC, стр. 266-273. ACM, (2004)SMT-Based Array Invariant Generation., , и . VMCAI, том 7737 из Lecture Notes in Computer Science, стр. 169-188. Springer, (2013)Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation., , и . ICATPN, том 3536 из Lecture Notes in Computer Science, стр. 188-207. Springer, (2005)The Barcelogic SMT Solver., , , , и . CAV, том 5123 из Lecture Notes in Computer Science, стр. 294-298. Springer, (2008)Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic., , , , и . CADE, том 5663 из Lecture Notes in Computer Science, стр. 294-305. Springer, (2009)Program Verification Using Automatic Generation of Invariants., и . ICTAC, том 3407 из Lecture Notes in Computer Science, стр. 325-340. Springer, (2004)Proving Termination Through Conditional Termination., , , , , и . TACAS (1), том 10205 из Lecture Notes in Computer Science, стр. 99-117. (2017)Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra., , и . SAS, том 3672 из Lecture Notes in Computer Science, стр. 19-34. Springer, (2005)