scientific article; zbMATH DE number 1324442

From MaRDI portal

Revision as of 16:42, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4255513

Jump to:navigation, search

zbMath0925.03063MaRDI QIDQ4255513

Harald Ganzinger, Leo Bachmair

Publication date: 16 August 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (7)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4255513&oldid=18151846"