Publication:2762631
From MaRDI portal
zbMath0976.03518MaRDI QIDQ2762631
Harald Ganzinger, Robert Nieuwenhuis
Publication date: 9 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2002/2002159.
03B70: Logic in computer science
Related Items
Harald Ganzinger’s Legacy: Contributions to Logics and Programming, Rewriting modulo SMT and open system analysis, Generalized rewrite theories, coherence completion, and symbolic methods
Uses Software