( en | de | ru )

 

Disambiguierung von "Severi, Paula"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Meta-Modelling Ontology Design Pattern.

, , und . KGSWC, Volume 1029 von Communications in Computer and Information Science, Seite 102-117. Springer, (2019)

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.

Stefano Severi

Ernst Paulat

Felix Leonard Paulauskas Lingaitis

Martin Paulat

Winfried Paulat

 

Weitere Publikationen von Autoren mit dem selben Namen

Two Light Modalities for Recursion.. CoRR, (2018)Weakening the Axiom of Overlap in Infinitary Lambda Calculus., und . RTA, Volume 10 von LIPIcs, Seite 313-328. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Continuity and Discontinuity in Lambda Calculus., und . TLCA, Volume 3461 von Lecture Notes in Computer Science, Seite 369-385. Springer, (2005)On Sessions and Infinite Data., , , und . COORDINATION, Volume 9686 von Lecture Notes in Computer Science, Seite 245-261. Springer, (2016)Meaningless Sets in Infinitary Combinatory Logic., und . RTA, Volume 15 von LIPIcs, Seite 288-304. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation., , und . J. Web Semant., 9 (2): 83-98 (2011)On Sessions and Infinite Data., , , und . Log. Methods Comput. Sci., (2017)An Operational Approach to Program Extraction in the Calculus of Constructions., und . LOPSTR, Volume 2664 von Lecture Notes in Computer Science, Seite 111-125. Springer, (2002)Applying Meta-Modellig to an Accounting Application., , und . ONTOBRAS, Volume 2228 von CEUR Workshop Proceedings, Seite 92-103. CEUR-WS.org, (2018)Eliminating Proofs from Programs., und . LFM, Volume 70 von Electronic Notes in Theoretical Computer Science, Seite 42-59. Elsevier, (2002)