Lambek calculus is NP-complete von Pentus, Mati

Volltext

Lambek calculus is NP-complete Dedicated to my scientific advisor Professor Sergei Artemov, on the occasion of his 50th birthday von Pentus, Mati

Volltext

The Monotone Lambek Calculus Is NP-Complete von Pentus, Mati

Volltext

Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening von Pentus, Anna, Pentus, Mati

Volltext bestellen

Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening von Pentus, Anna, Pentus, Mati

Volltext

Bob Carpenter. Type-logical semantics. Language, speech, and communication series. Bradford books. The MIT Press, Cambridge, Mass., and London, 1997, xxi + 575 pp von Pentus, Mati

Volltext

Models for the Lambek calculus von Pentus, Mati

Volltext

Сергей Иванович Адян (некролог) von Atabekyan, Varuzhan Sergeevich, Beklemishev, Lev Dmitrievich, Buchstaber, Victor Matveevich, Goncharov, Sergey Savostyanovich, Guba, Victor Sergeevich, Ershov, Yurii Leonidovich, Kozlov, Valery Vasil'evich, Lysenok, Igor Geront'evich, Novikov, Sergei Petrovich, Osipov, Yurii Sergeevich, Pentus, Mati Reinovich, Podolskii, Vladimir Vladimirovich, Razborov, Alexander Alexandrovich, Sadovnichii, Victor Antonovich, Semenov, Aleksei Lvovich, Talambutsa, Alexey Leonidovich, Treschev, Dmitry Valerevich, Shevrin, Lev Naumovich

Volltext

Product-free Lambek calculus and context-free grammars von Pentus, Mati

Volltext

Equivalence of multiplicative fragments of cyclic linear logic and noncommutative linear logic von Pentus, Mati

Volltext

Владимир Андреевич Успенский (27.11.1930-27.06.2018) von Adian, Sergei Ivanovich, Andreev, Nikolai Nikolaevich, Beklemishev, Lev Dmitrievich, Goncharov, Sergey Savostyanovich, Ershov, Yurii Leonidovich, Matiyasevich, Yuri Vladimirovich, Osipov, Yurii Sergeevich, Pentus, Mati Reinovich, Plungyan, Vladimir Alexandrovich, Rahilina, Ekaterina Vladimirovna, Sadovnichii, Victor Antonovich, Semenov, Aleksei Lvovich, Tatevosov, Sergey Georgievich, Tikhomirov, Vladimir Mikhailovich, Shen', Alexander Khanievich

Volltext

Lambek calculus is NP-complete von PENTUS, Mati

Volltext

Review: Bob Carpenter, Type-Logical Semantics von Pentus, Mati

Volltext

IGPL/FoLLI Prize von PENTUS, MATI

Volltext

The Conjoinability Relation in Lambek Calculus and Linear Logic von Pentus, Mati

Volltext

REVIEWS von Pentus, Mati

Volltext

Type-Logical Semantics von Pentus, Mati

Volltext

Сергей Иванович Адян (к 75-летию со дня рождения) von Беклемишев, Лев Дмитриевич, Beklemishev, Lev Dmitrievich, Лысeнок, Игорь Геронтьевич, Lysenok, Igor Geront'evich, Мальцев, Аркадий Анатольевич, Mal'tsev, Arkadii Anatol'evich, Новиков, Сергей Петрович, Novikov, Sergei Petrovich, Пентус, Мати Рейнович, Pentus, Mati Reinovich, Разборов, Александр Александрович, Razborov, Alexander Alexandrovich, Семeнов, Алексей Львович, Semenov, Aleksei L'vovich, Успенский, Владимир Андреевич, Uspenskii, Vladimir Andreevich

Volltext

Information technology system for the definition, optimization and control of processes von Lienhard, Heinz, Buetler, Bruno, Poli, Marco, Weiss, Reto, Kuenzi, Urs-Martin, Pentus, Mati

Volltext bestellen

Information technology system for the definition, optimization and control of processes von LIENHARD HEINZ, WEISS RETO, KUENZI URS-MARTIN, PENTUS MATI, BUETLER BRUNO, POLI MARCO

Volltext bestellen