×

zbMATH — the first resource for mathematics

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 · Wikidata · Math-Net.Ru · dblp
Documents Indexed: 100 Publications since 1969, including 1 Book

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 145 times in 86 Documents Cited by Year
Linear logic as a logic of computations. Zbl 0804.03004
Kanovich, Max I.
15
1994
Undecidability of propositional separation logic and its neighbours. Zbl 1295.68166
Brotherston, James; Kanovich, Max
15
2014
The complexity of Horn fragments of linear logic. Zbl 0812.03007
Kanovich, Max I.
8
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
8
2014
Phase semantics for light linear logic. Zbl 1029.03052
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
7
2003
The direct simulation of Minsky machines in linear logic. Zbl 0826.03018
Kanovich, Max I.
6
1995
Petri nets, Horn programs, linear logic and vector games. Zbl 0829.03007
Kanovich, Max I.
6
1995
Phase semantics for light linear logic. Zbl 0911.68122
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
5
1997
The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity. Zbl 0994.68139
Kanovich, Max; Vauzeilles, Jacqueline
5
2001
Collaborative planning with confidentiality. Zbl 1229.90072
Kanovich, Max; Rowe, Paul; Scedrov, Andre
5
2011
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
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
Petri nets, Horn programs, linear logic, and vector games. Zbl 0942.03526
Kanovich, Max I.
3
1994
On the complexit y of enumeration and decision of predicates. Zbl 0255.02049
Kanovic, M. I.
3
1970
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 06751236
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2016
Undecidability of the Lambek calculus with a relevant modality. Zbl 06658641
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2016
Subexponentials in non-commutative linear logic. Zbl 1456.03099
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
2
2019
The two-way rewriting in action: removing the mystery of Euler-Glaisher’s map. Zbl 1124.05007
Kanovich, Max
2
2007
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
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). Zbl 1118.68157
Kanovich, Max; Vauzeilles, Jacqueline
2
2007
Biabduction (and related problems) in array separation logic. Zbl 06778421
Brotherston, James; Gorogiannis, Nikos; Kanovich, Max
2
2017
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
Coping polynomially with numerous but identical elements within planning problems. Zbl 1116.68593
Kanovich, Max; Vauzeilles, Jacqueline
2
2003
A logical framework with commutative and non-commutative subexponentials. Zbl 06958102
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
1
2018
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
Linear logic automata. Zbl 0859.68021
Kanovich, Max I.
1
1996
Estimating the complexity of certain algorithmic problems of analysis. Zbl 0267.02022
Kanovich, M. I.; Kushner, B. A.
1
1969
Multiset rewriting over Fibonacci and tribonacci numbers. Zbl 1327.68143
Kanovich, Max
1
2014
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre
1
2014
On complexity of the refutation in the constructive propositional logic. Zbl 0725.03003
Kanovich, M. I.
1
1989
Intuitionistic phase semantics is almost classical. Zbl 1095.03071
Kanovich, Max I.; Okada, Mitsuhiro; Terui, Kazushige
1
2006
Bijections between partitions by two-directional rewriting techniques. Zbl 1020.68042
Kanovich, Max
1
2002
Some theorems on the complexity of normal algorithms and computations. Zbl 0181.31303
Kanovic, M. I.; Petri, N. V.
1
1969
A note on rewriting proofs and Fibonacci numbers. Zbl 1133.05006
Kanovich, Max
1
2007
Light linear logic with controlled weakening. Zbl 1211.03092
Kanovich, Max
1
2009
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
1
2019
Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 07194699
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
1
2020
Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 07194699
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
1
2020
Subexponentials in non-commutative linear logic. Zbl 1456.03099
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
2
2019
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
1
2019
A logical framework with commutative and non-commutative subexponentials. Zbl 06958102
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
1
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
Undecidability of the lambek calculus with subexponential and bracket modalities. Zbl 06810964
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2017
Biabduction (and related problems) in array separation logic. Zbl 06778421
Brotherston, James; Gorogiannis, Nikos; Kanovich, Max
2
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
On Lambek’s restriction in the presence of exponential modalities. Zbl 06751236
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2016
Undecidability of the Lambek calculus with a relevant modality. Zbl 06658641
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2016
Undecidability of propositional separation logic and its neighbours. Zbl 1295.68166
Brotherston, James; Kanovich, Max
15
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
8
2014
Bounded memory Dolev-Yao adversaries in collaborative systems. Zbl 1360.68860
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
5
2014
Multiset rewriting over Fibonacci and tribonacci numbers. Zbl 1327.68143
Kanovich, Max
1
2014
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre
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
The direct simulation of Minsky machines in linear logic. Zbl 0826.03018
Kanovich, Max I.
6
1995
Petri nets, Horn programs, linear logic and vector games. Zbl 0829.03007
Kanovich, Max I.
6
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.
8
1994
Petri nets, Horn programs, linear logic, and vector games. Zbl 0942.03526
Kanovich, Max I.
3
1994
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
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
Estimating the complexity of certain algorithmic problems of analysis. Zbl 0267.02022
Kanovich, M. I.; Kushner, B. A.
1
1969
Some theorems on the complexity of normal algorithms and computations. Zbl 0181.31303
Kanovic, M. I.; Petri, N. V.
1
1969
all top 5

Cited by 113 Authors

20 Kanovich, Max Iosifovich
11 Scedrov, Andre
5 Brotherston, James
5 Demri, Stéphane P.
5 Kuznetsov, Stepan L’vovich
5 Nigam, Vivek
3 Ban Kirigin, Tajana
3 Deters, Morgan
3 Miller, Dale Allen
2 Baillot, Patrick
2 Cervesato, Iliano
2 Chen, Taolue
2 Chin, Wei-Ngan
2 Galmiche, Didier
2 Kamide, Norihiro
2 Kihara, Takayuki
2 Larchey-Wendling, Dominique
2 Morrill, Glyn V.
2 Petrov, Sergey V.
2 Straßburger, Lutz
2 Talcott, Carolyn L.
2 Tatsuta, Makoto
2 Vauzeilles, Jacqueline
2 Wu, Zhilin
1 Bartoletti, Massimo
1 Berarducci, Alessandro
1 Breitbart, Yuri
1 Brochenin, Rémi
1 Buss, Sam
1 Buss, Samuel R.
1 Clarke, Dave
1 Clavel, Manuel
1 Costantini, Stefania
1 Dal Lago, Ugo
1 Daley, Robert P.
1 Danos, Vincent
1 de Boer, Frank S.
1 De Gouw, Stijn
1 Degano, Pierpaolo
1 Delande, Olivier
1 Deuser, Kaya
1 Di Giamberardino, Paolo
1 Distefano, Dino
1 Docherty, Simon
1 Durán, Francisco
1 Eker, Steven
1 Escobar, Santiago
1 Florek, Wojciech
1 Formisano, Andrea
1 Girard, Jean-Yves
1 Gorogiannis, Nikos
1 Gu, Xincai
1 Gusev, Leonid A.
1 Heath, Quentin
1 Higuchi, Kojiro
1 Hofmann, Martin
1 Hölzl, Rupert
1 Hou, Zhe
1 Jansen, Christina
1 Joinet, Jean-Baptiste
1 Kahramanoğulları, Ozan
1 Katelaan, Jens
1 Khoo, Siau-Cheng
1 Kimura, Daisuke
1 Konvalinka, Matjaž
1 Kopylov, Alexey P.
1 Lazić, Ranko
1 Le, Quang Loc
1 Le, Ton Chanh
1 Lewis, Forbes D.
1 Li, Miaomiao
1 Lincoln, Patrick D.
1 Litak, Tadeusz
1 Lozes, Etienne
1 Marchenkov, Sergeĭ Serafimovich
1 Martí-Oliet, Narciso
1 Martini, Simone
1 Matheja, Christoph
1 Matrosov, V. L.
1 McIver, Annabelle K.
1 Méry, Daniel
1 Miyabe, Kenshi
1 Morgan, Carroll C.
1 Naumov, Pavel G.
1 Noll, Thomas
1 Okada, Mitsuhiro
1 Olarte, Carlos
1 Pak, Igor
1 Perovic, Ranko
1 Petersen, Rasmus Lerchedahl
1 Pimentel, Elaine
1 Polzer, Miriam
1 Porello, Daniele
1 Porter, Christopher P.
1 Pym, David J.
1 Rabehaja, Tahiry M.
1 Rabenstein, Ulrich
1 Ryzhkova, N. S.
1 Saurin, Alexis
1 Schmitz, Sylvain
...and 13 more Authors

Citations by Year

Wikidata Timeline

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