scientific article; zbMATH DE number 4114095
From MaRDI portal
Publication:4729408
zbMath0679.68172MaRDI QIDQ4729408
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
implication problemsubsumptiondecidable nonlinear Horn clauseslinear Horn clausesredundance of derivation
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication:
