scientific article; zbMATH DE number 1405649
From MaRDI portal
Publication:4938629
zbMath0943.68096MaRDI QIDQ4938629
Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes
Publication date: 23 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Logic with equality: Partisan corroboration and shifted pairing ⋮ On the undecidability of second-order unification
This page was built for publication:
