"Robustness of Constraint Automata for Description Logics with Concrete ..."

Stéphane Demri, Tianwen Gu (2026)

Details and statistics

DOI: 10.4230/LIPICS.CSL.2026.42

access: open

type: Conference or Workshop Paper

metadata version: 2026-02-20