scientific article; zbMATH DE number 814830
From MaRDI portal
Publication:4855375
zbMath0846.68013MaRDI QIDQ4855375
Zohar Manna, Richard Waldinger
Publication date: 9 November 1995
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 (3)
Synthesis of positive logic programs for checking a class of definitions with infinite quantification ⋮ A higher-order interpretation of deductive tableau ⋮ A practical integration of first-order reasoning and decision procedures
This page was built for publication:
