( en | de | ru )

 

Disambiguation of "Severi, Paula"

Author of the publication

copydeleteadd this publication to your clipboard
The description logic SHIQ with a flexible meta-modelling hierarchy.

, , and . J. Web Semant., (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefano Severi

Martin Paulat

Ernst Paulat

Felix Leonard Paulauskas Lingaitis

Florian Paulat

 

Other publications of authors with the same name

Two Light Modalities for Recursion.. CoRR, (2018)Continuity and Discontinuity in Lambda Calculus., and . TLCA, volume 3461 of Lecture Notes in Computer Science, page 369-385. Springer, (2005)Infinitary lambda calculus and discrimination of Berarducci trees., , and . Theor. Comput. Sci., 298 (2): 275-302 (2003)Weakening the Axiom of Overlap in Infinitary Lambda Calculus., and . RTA, volume 10 of LIPIcs, page 313-328. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Meaningless Sets in Infinitary Combinatory Logic., and . RTA, volume 15 of LIPIcs, page 288-304. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Perpetual Reductions in Lambda-Calculus., , , and . Inf. Comput., 149 (2): 173-225 (1999)Type Inference for Pure Type Systems.. Inf. Comput., 143 (1): 1-23 (1998)Böhm's theorem for Berarducci trees., , and . CATS, volume 31 of Electronic Notes in Theoretical Computer Science, page 34-57. Elsevier, (2000)On Sessions and Infinite Data., , , and . COORDINATION, volume 9686 of Lecture Notes in Computer Science, page 245-261. Springer, (2016)Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation., , and . J. Web Semant., 9 (2): 83-98 (2011)