Autor der Publikation

Modeling Ontological Structures with Type Classes in Coq.

, und . ICCS, Volume 7735 von Lecture Notes in Computer Science, Seite 135-152. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Modeling Ontological Structures with Type Classes in Coq., und . ICCS, Volume 7735 von Lecture Notes in Computer Science, Seite 135-152. Springer, (2013)Dependent Record Types for Dynamic Context Representation., und . SGAI Conf., Seite 203-216. Springer, (2006)Towards a qualitative representation for specifying natural language., und . CIVEMSA, Seite 42-47. IEEE, (2017)Specifying Well-Formed Part-Whole Relations in Coq., und . ICCS, Volume 8577 von Lecture Notes in Computer Science, Seite 159-173. Springer, (2014)