PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kurtonina, Natasha"

Author of the publication

copydeleteadd this publication to your clipboard
Classifying Description Logics.

, and . Description Logics, volume 410 of URA-CNRS, (1997)

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.

No persons found for author name Kurtonina, Natasha
add a person with the name Kurtonina, Natasha
 

Other publications of authors with the same name

Relational Semantics for the Lambek-Grishin Calculus., and . MOL, volume 6149 of Lecture Notes in Computer Science, page 210-222. Springer, (2009)Bisimulations for Temporal Logic., and . Journal of Logic, Language and Information, 6 (4): 403-425 (1997)Partial proof trees and structural modalities., , and . TAG+, page 74-75. Institute for Research in Cognitive Science, (1998)Expressiveness of Concept Expressions in First-Order Description Logics., and . Artif. Intell., 107 (2): 303-333 (1999)Categorial Inference and Modal Logic.. Journal of Logic, Language and Information, 7 (4): 399-411 (1998)Talking about Explicit Databases in Categorial Grammar.. Logic Journal of the IGPL, 3 (2-3): 357-370 (1995)Classifying Description Logics., and . Description Logics, volume 410 of URA-CNRS, (1997)Embedding and Interpolation for some Paralogics. The Propositional Case., , and . Reports on Mathematical Logic, (1999)An LTAG Perspective on Categorial Inference., , and . LACL, volume 2014 of Lecture Notes in Computer Science, page 90-105. Springer, (1998)Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds.. Journal of Logic, Language and Information, 9 (2): 263-269 (2000)