scientific article; zbMATH DE number 5593277
From MaRDI portal
Publication:5192939
DOI10.3233/FI-2009-102zbMath1187.68529MaRDI QIDQ5192939
Publication date: 10 August 2009
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 (4)
A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics ⋮ ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching ⋮ ExpTime tableau decision procedures for regular grammar logics with converse ⋮ Logic-Based Roughification
This page was built for publication:
