UCT CS Research Document Archive

Subject: F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES


    Number of records: 3.

  1. Fillottrani, Pablo Ruben, C. Maria Keet and David Toman (2015) Polynomial encoding of ORM conceptual models in CFDI_nc^\forall-. In Calvanese, Diego and Boris Konev, Eds. Proceedings 28th International Workshop on Description Logics (DL'15) 1350, pages 401-414, Athens, Greece.

  2. Keet, C. Maria and E.A. Nasubo Ongoma (2015) Temporal Attributes: their Status and Subsumption. In Koehler, H. and M. Saeki, Eds. Proceedings Asia-Pacific Conference on Conceptual Modelling (APCCM'15) 165, pages 61-70, Sydney, Australia.

  3. Ongoma, E.A. Nasubo, C. Maria Keet and Thomas Meyer (2014) Transition Constraints for Temporal Attributes. In Bienvenu, M. , M. Ortiz, R. Rosati and M Simkus, Eds. Proceedings 27th International Workshop on Description Logics (DL'14) 1193, pages 684-695, Vienna, Austria.

  4. This list was generated on Sat Jun 24 15:15:18 SAST 2017.