scientific article; zbMATH DE number 500942
From MaRDI portal
Publication:4279075
zbMath0788.68127MaRDI QIDQ4279075
Michel Herment, Nicolas Zabel, Ricardo Caferra
Publication date: 10 March 1994
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 (2)
A method for simultaneous search for refutations and models by equational constraint solving ⋮ A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
This page was built for publication:
