Proceedings of the 36th International Workshop on Unification (UNIF 2022)
year
2022
Tags
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 BaFe-UNIF-22
%A Baader, Franz
%A Fernández Gil, Oliver
%B Proceedings of the 36th International Workshop on Unification (UNIF 2022)
%C Haifa, Israel
%D 2022
%E M. Cerna, David
%E Morawska, Barbara
%K
%T Restricted Unification in the Description Logic $FL_\bot$
@inproceedings{BaFe-UNIF-22,
added-at = {2024-09-10T11:56:37.000+0200},
address = {Haifa, Israel},
author = {{Baader}, Franz and {Fern{\'a}ndez Gil}, Oliver},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/227272d1ab7c04248bc0adfeaab513b69/scadsfct},
booktitle = {Proceedings of the 36th International Workshop on Unification ({UNIF 2022})},
editor = {{M. Cerna}, David and {Morawska}, Barbara},
interhash = {3a56878de292c589a9e01486b7f4a37c},
intrahash = {27272d1ab7c04248bc0adfeaab513b69},
keywords = {},
timestamp = {2024-09-10T15:15:57.000+0200},
title = {Restricted Unification in the Description Logic {$\mathcal{FL}_{\bot}$}},
year = 2022
}
