Items where Subject is "Formal languages and automata theory"
- ACM Computing Classification System 2012 (1)
- Theory of computation (5)
- Formal languages and automata theory (4)
- Theory of computation (5)
Fillottrani, Prof. Pablo Ruben and Keet, Dr. C. Maria and Toman, Prof. David (2015) Polynomial encoding of ORM conceptual models in CFDI_nc^\forall-, Proceedings of 28th International Workshop on Description Logics (DL'15), 7-10 June 2015, Athens, Greece, 1350, 401-414, CEUR-WS.
Keet, C. Maria and Kutz, Oliver (2018) Orchestrating a Network of Mereo(topo)logical Theories: An Abridged Report, Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'18), 13-19 July 2018, Stockholm, Sweden, 5289-5293, ACM.
Keet, Dr. C. Maria and Ongoma, Ms. E.A. Nasubo (2015) Temporal Attributes: their Status and Subsumption, Proceedings of Asia-Pacific Conference on Conceptual Modelling (APCCM'15), 27-30 January, 2015, Sydney, Australia, 165, 61-70, CRPIT.
Ongoma, Ms. E.A. Nasubo and Keet, Dr. C. Maria and Meyer, Dr. Thomas (2014) Transition Constraints for Temporal Attributes, Proceedings of 27th International Workshop on Description Logics (DL'14), 17-20 July 2014, Vienna, Austria, 1193, 684-695, CEUR-WS.