scientific article; zbMATH DE number 1392291
From MaRDI portal
Publication:4936130
zbMath0945.03553MaRDI QIDQ4936130
Publication date: 24 January 2000
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 (4)
Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem ⋮ 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
This page was built for publication:
