Publication:4539609
From MaRDI portal
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
68P05: Data structures
Related Items
Harald Ganzinger’s Legacy: Contributions to Logics and Programming, On the Saturation of YAGO, Simplifying the signature in second-order unification, Efficient instance retrieval with standard and relational path indexing