Renate A. Schmidt And NotGrand Manchester
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000074 | Patrick Koopmann [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] | Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints |
000088 | Fabio Papacchini [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] | Computing Minimal Models Modulo Subset-Simulation for Modal Logics |
This area was generated with Dilib version V0.6.33. |