DE eng

Search in the Catalogues and Directories

Hits 1 – 7 of 7

1
Soft Subexponentials and Multiplexing
In: Automated Reasoning (2020)
BASE
Show details
2
A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order
Morrill, Glyn; Scedrov, Andre; Kuznetsov, Stepan. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. : LIPIcs - Leibniz International Proceedings in Informatics. 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), 2017
BASE
Show details
3
A polynomial time algorithm for the Lambek calculus with brackets of bounded order ...
BASE
Show details
4
A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order ...
Kanovich, Max; Kuznetsov, Stepan; Morrill, Glyn. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2017
BASE
Show details
5
Undecidability of the Lambek calculus with subexponential and bracket modalities ...
BASE
Show details
6
Collaborative Planning with Confidentiality
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 46 (2011) 3, 389-421
OLC Linguistik
Show details
7
Formal Analysis of Multiparty Contract Signing
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 36 (2006) 1, 39-84
OLC Linguistik
Show details

Catalogues
0
0
2
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
5
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern