Autor der Publikation

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators.

, , und . ACM Trans. Comput. Log., 14 (4): 34:1-34:37 (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.

Keine Personen gefunden für den Autorennamen Sadrzadeh, Mehrnoosh
Eine Person hinzufügen mit dem Namen Sadrzadeh, Mehrnoosh
 

Weitere Publikationen von Autoren mit dem selben Namen

Modular Games for Coalgebraic Fixed Point Logics., und . Electr. Notes Theor. Comput. Sci., 203 (5): 71-92 (2008)Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators., , und . Electr. Notes Theor. Comput. Sci., (2012)Quantifier Scope in Categorical Compositional Distributional Semantics.. SLPCS@QPL, Volume 221 von EPTCS, Seite 49-57. (2016)A Generalised Quantifier Theory of Natural Language in Categorical Compositional Distributional Semantics with Bialgebras., und . CoRR, (2016)The Frobenius anatomy of word meanings II: possessive relative pronouns., , und . CoRR, (2014)Positive Logic with adjoint Modalities: Proof Theory, Semantics, and Reasoning about Information., und . Rev. Symb. Log., 3 (3): 351-373 (2010)Strong Planning in the Logics of Communication and Change., und . DALT, Volume 7784 von Lecture Notes in Computer Science, Seite 37-56. Springer, (2012)Permutation invariant matrix statistics and computational language tasks., , , und . CoRR, (2022)Bell States and Negative Sentences in the Distributed Model of Meaning., und . Electron. Notes Theor. Comput. Sci., 270 (2): 141-153 (2011)Concrete Sentence Spaces for Compositional Distributional Models of Meaning., , , , und . IWCS, The Association for Computer Linguistics, (2011)