scientific article
From MaRDI portal
Publication:3129297
zbMath0866.68102MaRDI QIDQ3129297
Anatoli Degtyarev, Andrei Voronkov, Yuri Gurevich
Publication date: 27 April 1997
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 (6)
Monadic simultaneous rigid E-unification and related problems ⋮ On quasitautologies ⋮ Monadic simultaneous rigid \(E\)-unification ⋮ Decidability and complexity of simultaneous rigid E-unification with one variable and related results ⋮ Logic with equality: Partisan corroboration and shifted pairing ⋮ On the undecidability of second-order unification
This page was built for publication: