scientific article; zbMATH DE number 1405617
From MaRDI portal
Publication:4938596
zbMath0943.68087MaRDI QIDQ4938596
Robert Nieuwenhuis, José Miguel Rivero
Publication date: 23 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Superposition-based equality handling for analytic tableaux ⋮ Practical algorithms for deciding path ordering constraint satisfaction. ⋮ Stratified resolution
This page was built for publication:
