Items where Subject is "Formal languages and automata theory"

ACM Computing Classification System 2012 (4)
- Theory of computation (6)
  - Formal languages and automata theory (4)

Group by: Item Type | Authors | No Grouping

Number of items at this level: 4.

Conference paper

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.

This list was generated on Thu Apr 18 20:15:40 2024 SAST.