( en | de | ru )

 

Disambiguierung von "Severi, Paula"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy.

, , und . JIST, Volume 8943 von Lecture Notes in Computer Science, Seite 47-62. Springer, (2014)

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

Martin Paulat

Ernst Paulat

Felix Leonard Paulauskas Lingaitis

Christian-Joseph Paula

 

Weitere Publikationen von Autoren mit dem selben Namen

Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation., , und . J. Web Semant., 9 (2): 83-98 (2011)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)Observational Equivalence for Multiparty Sessions., und . Fundam. Informaticae, 170 (1-3): 267-305 (2019)The description logic SHIQ with a flexible meta-modelling hierarchy., , und . J. Web Semant., (2015)On Sessions and Infinite Data., , , und . Log. Methods Comput. Sci., (2017)Eliminating Proofs from Programs., und . LFM, Volume 70 von Electronic Notes in Theoretical Computer Science, Seite 42-59. Elsevier, (2002)Applying Meta-Modellig to an Accounting Application., , und . ONTOBRAS, Volume 2228 von CEUR Workshop Proceedings, Seite 92-103. CEUR-WS.org, (2018)Infinitary lambda calculus and discrimination of Berarducci trees., , und . Theor. Comput. Sci., 298 (2): 275-302 (2003)Two Light Modalities for Recursion.. CoRR, (2018)Continuity and Discontinuity in Lambda Calculus., und . TLCA, Volume 3461 von Lecture Notes in Computer Science, Seite 369-385. Springer, (2005)