scientific article
From MaRDI portal
Publication:3490999
zbMath0708.68069MaRDI QIDQ3490999
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Enhancing unsatisfiable cores for LTL with information on temporal relevance ⋮ Presenting machine-found proofs ⋮ Converting non-classical matrix proofs into sequent-style systems ⋮ Reconstructing proofs at the assertion level ⋮ Finding good proofs for description logic entailments using recursive quality measures ⋮ Presenting inequations in mathematical proofs ⋮ A uniform procedure for converting matrix proofs into sequent-style systems
This page was built for publication:
