scientific article
From MaRDI portal
Publication:2762630
zbMath0976.03515MaRDI QIDQ2762630
Publication date: 9 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2002/2002104.
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Metalevel algorithms for variant satisfiability ⋮ Unnamed Item ⋮ Variant-Based Satisfiability in Initial Algebras ⋮ Unnamed Item ⋮ Tractable combinations of theories via sampling ⋮ Metalevel Algorithms for Variant Satisfiability
This page was built for publication:
