Search filters

List of works by Silvio Ghilardi

A new combination procedure for the word problem that generalizes fusion decidability results in modal logics

Connecting many-sorted theories

LTL over description logic axioms

Paulina is supported by:

About Paulina

Help