E-Matching with Free Variables

DOI10.1007/978-3-642-28717-6_28zbMath1352.68214OpenAlexW54459641MaRDI QIDQ2891467

Philipp Rümmer

Publication date: 15 June 2012

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28717-6_28

Mathematics Subject Classification ID

Related Items (5)

Adding decision procedures to SMT solvers using axioms with triggers ⋮ Theorem Proving with Bounded Rigid E-Unification ⋮ Congruence Closure with Free Variables ⋮ Fault-Tolerant Aggregate Signatures ⋮ GRUNGE: a grand unified ATP challenge

This page was built for publication: E-Matching with Free Variables