Keyword:bisimulation

Publications
Description Logics That Count, and What They Can and Cannot Count Franz Baader and Filippo De Bortoli In:ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia
Forward to a Promising Future Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren and Huu-Phuc Vo EasyChair Preprint 113