Publication:3129297
From MaRDI portal
zbMath0866.68102MaRDI QIDQ3129297
Anatoli Degtyarev, Andrei Voronkov, Yuri Gurevich
Publication date: 27 April 1997
Related Items
Monadic simultaneous rigid E-unification and related problems, On quasitautologies, 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, Monadic simultaneous rigid \(E\)-unification