Canonical Equational Proofs
D-Bases for Polynomial Ideals over Commutative Noetherian Rings
RTA '97 Proceedings of the 8th International Conference on Rewriting Techniques and Applications
Buchberger's Algorithm: A Constraint-Based Completion Procedure
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
A critical-pair/completion algorithm for finitely generated ideals in rings
Proceedings of the Symposium "Rekursive Kombinatorik" on Logic and Machines: Decision Problems and Complexity
Journal of Automated Reasoning
Simplify: a theorem prover for program checking
Journal of the ACM (JACM)
Communications of the ACM - Security in the Browser
Analyzing pathways using SAT-based approaches
AB'07 Proceedings of the 2nd international conference on Algebraic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A fast linear-arithmetic solver for DPLL(T)
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
An algebraic approach for the unsatisfiability of nonlinear constraints
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
| Hi-index | 0.00 |