@scadsfct

The abstract expressive power of first-order and description logics with concrete domains

, and . Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, New York, NY, USA, ACM, (April 2024)

Links and resources

Tags