scientific article
From MaRDI portal
Publication:2723909
zbMath0964.68563MaRDI QIDQ2723909
Claude Marché, Claus Claves, Enno Ohlebusch
Publication date: 8 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Verifying termination and reduction properties about higher-order logic programs ⋮ Mechanizing and improving dependency pairs ⋮ Formalizing Soundness and Completeness of Unravelings ⋮ TALP
This page was built for publication:
