scientific article; zbMATH DE number 1324442
From MaRDI portal
zbMath0925.03063MaRDI QIDQ4255513
Harald Ganzinger, Leo Bachmair
Publication date: 16 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Harald Ganzinger’s Legacy: Contributions to Logics and Programming, Superposition with equivalence reasoning and delayed clause normal form transformation, Making higher-order superposition work, Making higher-order superposition work, A mechanization of strong Kleene logic for partial functions, Superposition with first-class booleans and inprocessing clausification, On the modelling of search in theorem proving -- towards a theory of strategy analysis
