×

Kanovich, Max Iosifovich

Compute Distance To:
Author ID: kanovich.max-i Recent zbMATH articles by "Kanovich, Max Iosifovich"
Published as: Kanovich, Max; Kanovich, M. I.; Kanovic, M. I.; Kanovich, Max I.; Kanovic, Max I.
Homepage: http://www.eecs.qmul.ac.uk/~mik/
External Links: MGP · ORCID · Wikidata · Math-Net.Ru · dblp

Publications by Year

Citations contained in zbMATH Open

47 Publications have been cited 174 times in 107 Documents Cited by Year
Undecidability of propositional separation logic and its neighbours. Zbl 1295.68166
Brotherston, James; Kanovich, Max
17
2014
Linear logic as a logic of computations. Zbl 0804.03004
Kanovich, Max I.
15
1994
Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046
Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël
11
2014
The complexity of Horn fragments of linear logic. Zbl 0812.03007
Kanovich, Max I.
9
1994
Petri nets, Horn programs, linear logic and vector games. Zbl 0829.03007
Kanovich, Max I.
8
1995
The direct simulation of Minsky machines in linear logic. Zbl 0826.03018
Kanovich, Max I.
7
1995
Phase semantics for light linear logic. Zbl 1029.03052
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
7
2003
Subexponentials in non-commutative linear logic. Zbl 1456.03099
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
6
2019
Collaborative planning with confidentiality. Zbl 1229.90072
Kanovich, Max; Rowe, Paul; Scedrov, Andre
5
2011
The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity. Zbl 0994.68139
Kanovich, Max; Vauzeilles, Jacqueline
5
2001
Phase semantics for light linear logic. Zbl 0911.68122
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
5
1997
Bounded memory Dolev-Yao adversaries in collaborative systems. Zbl 1360.68860
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
5
2014
Model checking for symbolic-heap separation logic with inductive predicates. Zbl 1347.68221
Brotherston, James; Gorogiannis, Nikos; Kanovich, Max; Rowe, Reuben
5
2016
Undecidability of the Lambek calculus with a relevant modality. Zbl 1478.03043
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
5
2016
A rewriting framework and logic for activities subject to regulations. Zbl 1364.68333
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
4
2017
Biabduction (and related problems) in array separation logic. Zbl 06778421
Brotherston, James; Gorogiannis, Nikos; Kanovich, Max
4
2017
A logical framework with commutative and non-commutative subexponentials. Zbl 06958102
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
3
2018
On the complexit y of enumeration and decision of predicates. Zbl 0255.02049
Kanovic, M. I.
3
1970
Petri nets, Horn programs, linear logic, and vector games. Zbl 0942.03526
Kanovich, Max I.
3
1994
Undecidability of the lambek calculus with subexponential and bracket modalities. Zbl 06810964
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2017
On Lambek’s restriction in the presence of exponential modalities. Zbl 1476.03026
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2016
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2019
On domains of definition of optimal algorithms. Zbl 0235.02025
Kanovich, M. I.
2
1971
On complexity of Boolean function minimization. Zbl 0235.02026
Kanovich, M. I.
2
1971
On the decision complexity of algorithms. Zbl 0272.02054
Kanovic, M. I.
2
1969
Efficient logical algorithms of analysis and the synthesis of dependencies. Zbl 0606.68040
Kanovich, M. I.
2
1985
What is the logic fo computational tasks? Zbl 0673.03019
Kanovich, M. I.
2
1989
Finding direct partition bijections by two-directional rewriting techniques. Zbl 1044.05010
Kanovich, Max
2
2004
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre
2
2014
The two-way rewriting in action: removing the mystery of Euler-Glaisher’s map. Zbl 1124.05007
Kanovich, Max
2
2007
Coping polynomially with numerous but identical elements within planning problems. Zbl 1116.68593
Kanovich, Max; Vauzeilles, Jacqueline
2
2003
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). Zbl 1118.68157
Kanovich, Max; Vauzeilles, Jacqueline
2
2007
Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 07194699
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2020
The complexity of multiplicative-additive Lambek calculus: 25 years later. Zbl 07176936
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2019
Efficient program synthesis: semantics, logic, complexity. Zbl 07572021
Kanovich, Max I.
2
1991
Light linear logic with controlled weakening. Zbl 1211.03092
Kanovich, Max
1
2009
Some theorems on the complexity of normal algorithms and computations. Zbl 0181.31303
Kanovic, M. I.; Petri, N. V.
1
1969
Estimating the complexity of certain algorithmic problems of analysis. Zbl 0267.02022
Kanovich, M. I.; Kushner, B. A.
1
1969
Efficient program synthesis in computational models. Zbl 0705.68073
Kanovich, Max I.
1
1990
On complexity of the refutation in the constructive propositional logic. Zbl 0725.03003
Kanovich, M. I.
1
1989
Linear logic automata. Zbl 0859.68021
Kanovich, Max I.
1
1996
Quasipolynomial algorithms for recognizing the satisfiability and derivability of propositional formulas. Zbl 0629.03013
Kanovich, M. I.
1
1987
Multiset rewriting over Fibonacci and tribonacci numbers. Zbl 1327.68143
Kanovich, Max
1
2014
Intuitionistic phase semantics is almost classical. Zbl 1095.03071
Kanovich, Max I.; Okada, Mitsuhiro; Terui, Kazushige
1
2006
A note on rewriting proofs and Fibonacci numbers. Zbl 1133.05006
Kanovich, Max
1
2007
A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. Zbl 1434.03076
Kanovich, Max; Kuznetsov, Stepan; Morrill, Glyn; Scedrov, Andre
1
2017
Bijections between partitions by two-directional rewriting techniques. Zbl 1020.68042
Kanovich, Max
1
2002
Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 07194699
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2020
Subexponentials in non-commutative linear logic. Zbl 1456.03099
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
6
2019
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2019
The complexity of multiplicative-additive Lambek calculus: 25 years later. Zbl 07176936
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2019
A logical framework with commutative and non-commutative subexponentials. Zbl 06958102
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
3
2018
A rewriting framework and logic for activities subject to regulations. Zbl 1364.68333
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
4
2017
Biabduction (and related problems) in array separation logic. Zbl 06778421
Brotherston, James; Gorogiannis, Nikos; Kanovich, Max
4
2017
Undecidability of the lambek calculus with subexponential and bracket modalities. Zbl 06810964
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2017
A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. Zbl 1434.03076
Kanovich, Max; Kuznetsov, Stepan; Morrill, Glyn; Scedrov, Andre
1
2017
Model checking for symbolic-heap separation logic with inductive predicates. Zbl 1347.68221
Brotherston, James; Gorogiannis, Nikos; Kanovich, Max; Rowe, Reuben
5
2016
Undecidability of the Lambek calculus with a relevant modality. Zbl 1478.03043
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
5
2016
On Lambek’s restriction in the presence of exponential modalities. Zbl 1476.03026
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2016
Undecidability of propositional separation logic and its neighbours. Zbl 1295.68166
Brotherston, James; Kanovich, Max
17
2014
Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046
Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël
11
2014
Bounded memory Dolev-Yao adversaries in collaborative systems. Zbl 1360.68860
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
5
2014
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre
2
2014
Multiset rewriting over Fibonacci and tribonacci numbers. Zbl 1327.68143
Kanovich, Max
1
2014
Collaborative planning with confidentiality. Zbl 1229.90072
Kanovich, Max; Rowe, Paul; Scedrov, Andre
5
2011
Light linear logic with controlled weakening. Zbl 1211.03092
Kanovich, Max
1
2009
The two-way rewriting in action: removing the mystery of Euler-Glaisher’s map. Zbl 1124.05007
Kanovich, Max
2
2007
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). Zbl 1118.68157
Kanovich, Max; Vauzeilles, Jacqueline
2
2007
A note on rewriting proofs and Fibonacci numbers. Zbl 1133.05006
Kanovich, Max
1
2007
Intuitionistic phase semantics is almost classical. Zbl 1095.03071
Kanovich, Max I.; Okada, Mitsuhiro; Terui, Kazushige
1
2006
Finding direct partition bijections by two-directional rewriting techniques. Zbl 1044.05010
Kanovich, Max
2
2004
Phase semantics for light linear logic. Zbl 1029.03052
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
7
2003
Coping polynomially with numerous but identical elements within planning problems. Zbl 1116.68593
Kanovich, Max; Vauzeilles, Jacqueline
2
2003
Bijections between partitions by two-directional rewriting techniques. Zbl 1020.68042
Kanovich, Max
1
2002
The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity. Zbl 0994.68139
Kanovich, Max; Vauzeilles, Jacqueline
5
2001
Phase semantics for light linear logic. Zbl 0911.68122
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
5
1997
Linear logic automata. Zbl 0859.68021
Kanovich, Max I.
1
1996
Petri nets, Horn programs, linear logic and vector games. Zbl 0829.03007
Kanovich, Max I.
8
1995
The direct simulation of Minsky machines in linear logic. Zbl 0826.03018
Kanovich, Max I.
7
1995
Linear logic as a logic of computations. Zbl 0804.03004
Kanovich, Max I.
15
1994
The complexity of Horn fragments of linear logic. Zbl 0812.03007
Kanovich, Max I.
9
1994
Petri nets, Horn programs, linear logic, and vector games. Zbl 0942.03526
Kanovich, Max I.
3
1994
Efficient program synthesis: semantics, logic, complexity. Zbl 07572021
Kanovich, Max I.
2
1991
Efficient program synthesis in computational models. Zbl 0705.68073
Kanovich, Max I.
1
1990
What is the logic fo computational tasks? Zbl 0673.03019
Kanovich, M. I.
2
1989
On complexity of the refutation in the constructive propositional logic. Zbl 0725.03003
Kanovich, M. I.
1
1989
Quasipolynomial algorithms for recognizing the satisfiability and derivability of propositional formulas. Zbl 0629.03013
Kanovich, M. I.
1
1987
Efficient logical algorithms of analysis and the synthesis of dependencies. Zbl 0606.68040
Kanovich, M. I.
2
1985
On domains of definition of optimal algorithms. Zbl 0235.02025
Kanovich, M. I.
2
1971
On complexity of Boolean function minimization. Zbl 0235.02026
Kanovich, M. I.
2
1971
On the complexit y of enumeration and decision of predicates. Zbl 0255.02049
Kanovic, M. I.
3
1970
On the decision complexity of algorithms. Zbl 0272.02054
Kanovic, M. I.
2
1969
Some theorems on the complexity of normal algorithms and computations. Zbl 0181.31303
Kanovic, M. I.; Petri, N. V.
1
1969
Estimating the complexity of certain algorithmic problems of analysis. Zbl 0267.02022
Kanovich, M. I.; Kushner, B. A.
1
1969
all top 5

Cited by 142 Authors

23 Kanovich, Max Iosifovich
12 Scedrov, Andre
11 Kuznetsov, Stepan L’vovich
6 Demri, Stéphane P.
5 Brotherston, James
5 Nigam, Vivek
4 Miller, Dale Allen
3 Ban Kirigin, Tajana
3 Deters, Morgan
2 Baillot, Patrick
2 Cervesato, Iliano
2 Chen, Taolue
2 Chin, Wei-Ngan
2 Docherty, Simon
2 Galmiche, Didier
2 Heath, Quentin
2 Kamide, Norihiro
2 Kihara, Takayuki
2 Larchey-Wendling, Dominique
2 Lazić, Ranko
2 Le, Quang Loc
2 Lozes, Etienne
2 Mansutti, Alessio
2 Morrill, Glyn V.
2 Petrov, Sergey V.
2 Pym, David J.
2 Straßburger, Lutz
2 Talcott, Carolyn L.
2 Tatsuta, Makoto
2 Vauzeilles, Jacqueline
2 Wu, Zhilin
2 Zuleger, Florian
1 Bartoletti, Massimo
1 Berarducci, Alessandro
1 Breitbart, Yuri
1 Brochenin, Rémi
1 Buss, Sam
1 Buss, Samuel R.
1 Cao, Yongzhi
1 Clarke, Dave
1 Clavel, Manuel
1 Costantini, Stefania
1 Czerwiński, Wojciech
1 Dal Lago, Ugo
1 Daley, Robert P.
1 Danos, Vincent
1 de Boer, Frank S.
1 De Gouw, Stijn
1 Debant, Alexandre
1 Degano, Pierpaolo
1 Delande, Olivier
1 Delaune, Stéphanie
1 Deuser, Kaya
1 Di Giamberardino, Paolo
1 Distefano, Dino
1 Dudakov, Sergey M.
1 Durán, Francisco
1 Echenim, Mnacho
1 Eker, Steven
1 Escobar, Santiago
1 Florek, Wojciech
1 Fofanova, E. M.
1 Formisano, Andrea
1 Girard, Jean-Yves
1 Gorogiannis, Nikos
1 Gu, Xincai
1 Guerrieri, Giulio
1 Gusev, Leonid A.
1 Higuchi, Kojiro
1 Hofmann, Martin
1 Hölzl, Rupert
1 Hou, Zhe
1 Iosif, Radu
1 Jansen, Christina
1 Jin, Zhao
1 Joinet, Jean-Baptiste
1 Kahramanoğulları, Ozan
1 Karlov, B. N.
1 Katelaan, Jens
1 Kholodilov, F. D.
1 Khoo, Siau-Cheng
1 Kimura, Daisuke
1 Konstantinovskiy, B. O.
1 Konvalinka, Matjaž
1 Kopylov, Alexey P.
1 Lasota, Sławomir
1 Le, Ton Chanh
1 Leroux, Jérôme
1 Lewis, Forbes D.
1 Li, Miaomiao
1 Lincoln, Patrick D.
1 Litak, Tadeusz
1 Marchenkov, Sergeĭ Serafimovich
1 Martí-Oliet, Narciso
1 Martini, Simone
1 Matheja, Christoph
1 Matrosov, V. L.
1 Mazowiecki, Filip
1 McIver, Annabelle K.
1 McPheat, Lachlan
...and 42 more Authors

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.