scientific article; zbMATH DE number 1300967
From MaRDI portal
Publication:4246725
zbMath0925.03074MaRDI QIDQ4246725
Harald Ganzinger, Leo Bachmair, Uwe Waldmann
Publication date: 29 July 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Towards automating duality ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
This page was built for publication: