scientific article; zbMATH DE number 1765673
From MaRDI portal
Publication:4539609
zbMath0988.68588MaRDI QIDQ4539609
Harald Ganzinger, Pilar Nivela, Robert Nieuwenhuis
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830242
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Simplifying the signature in second-order unification ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ Efficient instance retrieval with standard and relational path indexing ⋮ On the Saturation of YAGO
This page was built for publication: