Pshenitsyn, Tikhon From double pushout grammars to hypergraph Lambek grammars with and without exponential modality. (English) Zbl 07809759 Grabmayer, Clemens (ed.), Proceedings of the twelfth international workshop on computing with terms and graphs, Technion, Haifa, Israel, August 1, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 377, 9-26 (2023). MSC: 68Q42 PDFBibTeX XMLCite \textit{T. Pshenitsyn}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 377, 9--26 (2023; Zbl 07809759) Full Text: arXiv Link
Pshenitsyn, Tikhon Commutative Lambek grammars. (English) Zbl 07800201 J. Logic Lang. Inf. 32, No. 5, 887-936 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{T. Pshenitsyn}, J. Logic Lang. Inf. 32, No. 5, 887--936 (2023; Zbl 07800201) Full Text: DOI
Kuznetsov, Stepan L. Relational models for the Lambek calculus with intersection and constants. (English) Zbl 07789004 Log. Methods Comput. Sci. 19, No. 4, Paper No. 32, 27 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. L. Kuznetsov}, Log. Methods Comput. Sci. 19, No. 4, Paper No. 32, 27 p. (2023; Zbl 07789004) Full Text: DOI arXiv
Le, Quang Loc; Le, Xuan-Bach D. An efficient cyclic entailment procedure in a fragment of separation logic. (English) Zbl 07770351 Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 477-497 (2023). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{Q. L. Le} and \textit{X.-B. D. Le}, Lect. Notes Comput. Sci. 13992, 477--497 (2023; Zbl 07770351) Full Text: DOI arXiv
Matheja, Christoph; Pagel, Jens; Zuleger, Florian A decision procedure for guarded separation logic complete entailment checking for separation logic with inductive definitions. (English) Zbl 07650597 ACM Trans. Comput. Log. 24, No. 1, Paper No. 1, 76 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{C. Matheja} et al., ACM Trans. Comput. Log. 24, No. 1, Paper No. 1, 76 p. (2023; Zbl 07650597) Full Text: DOI arXiv
Miller, Dale A survey of the proof-theoretic foundations of logic programming. (English) Zbl 07776351 Theory Pract. Log. Program. 22, No. 6, 859-904 (2022). MSC: 68N17 PDFBibTeX XMLCite \textit{D. Miller}, Theory Pract. Log. Program. 22, No. 6, 859--904 (2022; Zbl 07776351) Full Text: DOI arXiv
Batz, Kevin; Fesefeldt, Ira; Jansen, Marvin; Katoen, Joost-Pieter; Keßler, Florian; Matheja, Christoph; Noll, Thomas Foundations for entailment checking in quantitative separation logic. (English) Zbl 1528.68208 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 57-84 (2022). MSC: 68Q60 03B70 68N19 PDFBibTeX XMLCite \textit{K. Batz} et al., Lect. Notes Comput. Sci. 13240, 57--84 (2022; Zbl 1528.68208) Full Text: DOI arXiv
Alturki, Musab A.; Ban Kirigin, Tajana; Kanovich, Max; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn On the formalization and computational complexity of resilience problems for cyber-physical systems. (English) Zbl 07719827 Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 96-113 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. A. Alturki} et al., Lect. Notes Comput. Sci. 13572, 96--113 (2022; Zbl 07719827) Full Text: DOI
Nigam, Vivek; Kim, Minyoung; Mason, Ian; Talcott, Carolyn Detection and diagnosis of deviations in distributed systems of autonomous agents. (English) Zbl 1512.68159 Math. Struct. Comput. Sci. 32, No. 9, 1254-1282 (2022). MSC: 68Q60 68Q42 93A14 93A16 PDFBibTeX XMLCite \textit{V. Nigam} et al., Math. Struct. Comput. Sci. 32, No. 9, 1254--1282 (2022; Zbl 1512.68159) Full Text: DOI
Blaisdell, Eben; Kanovich, Max; Kuznetsov, Stepan L.; Pimentel, Elaine; Scedrov, Andre Non-associative, non-commutative multi-modal linear logic. (English) Zbl 07628203 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 449-467 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{E. Blaisdell} et al., Lect. Notes Comput. Sci. 13385, 449--467 (2022; Zbl 07628203) Full Text: DOI
Jin, Zhao; Zhang, Bowen; Cao, Tianyue; Cao, Yongzhi; Wang, Hanpin Reasoning about block-based cloud storage systems via separation logic. (English) Zbl 07604601 Theor. Comput. Sci. 936, 43-76 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{Z. Jin} et al., Theor. Comput. Sci. 936, 43--76 (2022; Zbl 07604601) Full Text: DOI
Lion, Benjamin; Arbab, Farhad; Talcott, Carolyn A semantic model for interacting cyber-physical systems. (English) Zbl 07595226 J. Log. Algebr. Methods Program. 129, Article ID 100807, 25 p. (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{B. Lion} et al., J. Log. Algebr. Methods Program. 129, Article ID 100807, 25 p. (2022; Zbl 07595226) Full Text: DOI arXiv
Konstantinovskiy, B. O.; Kholodilov, F. D. Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids. (English. Russian original) Zbl 07584510 Mosc. Univ. Math. Bull. 77, No. 2, 108-111 (2022); translation from Vestn. Mosk. Univ., Ser. I 77, No. 2, 76-79 (2022). MSC: 03Bxx 03Cxx 68Txx PDFBibTeX XMLCite \textit{B. O. Konstantinovskiy} and \textit{F. D. Kholodilov}, Mosc. Univ. Math. Bull. 77, No. 2, 108--111 (2022; Zbl 07584510); translation from Vestn. Mosk. Univ., Ser. I 77, No. 2, 76--79 (2022) Full Text: DOI
Guerrieri, Giulio; Pellissier, Luc; Tortora de Falco, Lorenzo Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. (English) Zbl 07566060 Log. Methods Comput. Sci. 18, No. 2, Paper No. 4, 46 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{G. Guerrieri} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 4, 46 p. (2022; Zbl 07566060) Full Text: arXiv Link
Moot, Richard; Stevens-Guille, Symon Jory Logical foundations for hybrid type-logical grammars. (English) Zbl 1515.03115 J. Logic Lang. Inf. 31, No. 1, 35-76 (2022). MSC: 03B47 03B40 03F05 03F07 68Q42 PDFBibTeX XMLCite \textit{R. Moot} and \textit{S. J. Stevens-Guille}, J. Logic Lang. Inf. 31, No. 1, 35--76 (2022; Zbl 1515.03115) Full Text: DOI arXiv
Jin, Zhao; Zhang, Bowen; Zhang, Lei; Cao, Yongzhi; Wang, Hanpin An adaptation-complete proof system for local reasoning about cloud storage systems. (English) Zbl 1517.68103 Theor. Comput. Sci. 903, 39-73 (2022). MSC: 68P20 03B70 68Q60 PDFBibTeX XMLCite \textit{Z. Jin} et al., Theor. Comput. Sci. 903, 39--73 (2022; Zbl 1517.68103) Full Text: DOI
Kuznetsov, Stepan L. Relational models for the Lambek calculus with intersection and unit. (English) Zbl 07670523 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 258-274 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. L. Kuznetsov}, Lect. Notes Comput. Sci. 13027, 258--274 (2021; Zbl 07670523) Full Text: DOI
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn On the complexity of verification of time-sensitive distributed systems. (English) Zbl 1498.68161 Dougherty, Daniel (ed.) et al., Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13066, 251-275 (2021). MSC: 68Q60 68M14 68Q25 68Q42 PDFBibTeX XMLCite \textit{M. Kanovich} et al., Lect. Notes Comput. Sci. 13066, 251--275 (2021; Zbl 1498.68161) Full Text: DOI arXiv
Kuznetsov, Stepan L. Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs. (English) Zbl 07532524 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 317-334 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{S. L. Kuznetsov}, Lect. Notes Comput. Sci. 12842, 317--334 (2021; Zbl 07532524) Full Text: DOI
Kuznetsov, Stepan Complexity of the infinitary Lambek calculus with Kleene star. (English) Zbl 1517.03042 Rev. Symb. Log. 14, No. 4, 946-972 (2021). MSC: 03F52 03B47 68Q45 PDFBibTeX XMLCite \textit{S. Kuznetsov}, Rev. Symb. Log. 14, No. 4, 946--972 (2021; Zbl 1517.03042) Full Text: DOI arXiv
Dudakov, S. M.; Karlov, B. N.; Kuznetsov, S. L.; Fofanova, E. M. Complexity of Lambek calculi with modalities and of total derivability in grammars. (English. Russian original) Zbl 1515.03218 Algebra Logic 60, No. 5, 308-326 (2021); translation from Algebra Logika 60, No. 4, 471-496 (2021). MSC: 03F52 03F05 68Q17 68Q42 PDFBibTeX XMLCite \textit{S. M. Dudakov} et al., Algebra Logic 60, No. 5, 308--326 (2021; Zbl 1515.03218); translation from Algebra Logika 60, No. 4, 471--496 (2021) Full Text: DOI
McPheat, Lachlan; Sadrzadeh, Mehrnoosh; Wazni, Hadi; Wijnholds, Gijs Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract). (English) Zbl 1477.03111 Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 168-182 (2021). MSC: 03B65 03B47 18C50 68T50 PDFBibTeX XMLCite \textit{L. McPheat} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 168--182 (2021; Zbl 1477.03111) Full Text: arXiv Link
Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas Unifying decidable entailments in separation logic with inductive definitions. (English) Zbl 07437079 Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 183-199 (2021). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{M. Echenim} et al., Lect. Notes Comput. Sci. 12699, 183--199 (2021; Zbl 07437079) Full Text: DOI arXiv
Le, Quang Loc Compositional satisfiability solving in separation logic. (English) Zbl 1472.03025 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 578-602 (2021). MSC: 03B70 03B25 68T20 PDFBibTeX XMLCite \textit{Q. L. Le}, Lect. Notes Comput. Sci. 12597, 578--602 (2021; Zbl 1472.03025) Full Text: DOI
Demri, Stéphane; Lozes, Étienne; Mansutti, Alessio A complete axiomatisation for quantifier-free separation logic. (English) Zbl 07407789 Log. Methods Comput. Sci. 17, No. 3, Paper No. 17, 64 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Demri} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 17, 64 p. (2021; Zbl 07407789) Full Text: arXiv Link
Kimura, Daisuke; Tatsuta, Makoto Decidability for entailments of symbolic heaps with arrays. (English) Zbl 07350781 Log. Methods Comput. Sci. 17, No. 2, Paper No. 15, 33 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{D. Kimura} and \textit{M. Tatsuta}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 15, 33 p. (2021; Zbl 07350781) Full Text: arXiv Link
Alechina, Natasha; Logan, Brian State of the art in logics for verification of resource-bounded multi-agent systems. (English) Zbl 07614715 Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 9-29 (2020). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{N. Alechina} and \textit{B. Logan}, Lect. Notes Comput. Sci. 12180, 9--29 (2020; Zbl 07614715) Full Text: DOI
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre Soft subexponentials and multiplexing. (English) Zbl 07614531 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 500-517 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Kanovich} et al., Lect. Notes Comput. Sci. 12166, 500--517 (2020; Zbl 07614531) Full Text: DOI
Czerwiński, Wojciech; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip Reachability in fixed dimension vector addition systems with states. (English) Zbl 07559504 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 48, 21 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{W. Czerwiński} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 48, 21 p. (2020; Zbl 07559504) Full Text: DOI arXiv
Deuser, Kaya; Naumov, Pavel On composition of bounded-recall plans. (English) Zbl 1504.68237 Artif. Intell. 289, Article ID 103399, 19 p. (2020). MSC: 68T42 68T27 PDFBibTeX XMLCite \textit{K. Deuser} and \textit{P. Naumov}, Artif. Intell. 289, Article ID 103399, 19 p. (2020; Zbl 1504.68237) Full Text: DOI
Heath, Quentin; Miller, Dale A proof theory for model checking. (English) Zbl 1468.03078 J. Autom. Reasoning 63, No. 4, 857-885 (2019). MSC: 03F52 68Q60 PDFBibTeX XMLCite \textit{Q. Heath} and \textit{D. Miller}, J. Autom. Reasoning 63, No. 4, 857--885 (2019; Zbl 1468.03078) Full Text: DOI HAL
Morrill, Glyn Parsing/theorem-proving for logical grammar CatLog3. (English) Zbl 1478.68416 J. Logic Lang. Inf. 28, No. 2, 183-216 (2019). MSC: 68T50 03B47 03B65 68Q42 68V15 PDFBibTeX XMLCite \textit{G. Morrill}, J. Logic Lang. Inf. 28, No. 2, 183--216 (2019; Zbl 1478.68416) Full Text: DOI
McIver, Annabelle; Morgan, Carroll; Rabehaja, Tahiry Abstract hidden Markov models: a monadic account of quantitative information flow. (English) Zbl 1423.68107 Log. Methods Comput. Sci. 15, No. 1, Paper No. 36, 50 p. (2019). MSC: 68N30 60J20 68P30 68Q87 PDFBibTeX XMLCite \textit{A. McIver} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 36, 50 p. (2019; Zbl 1423.68107) Full Text: DOI arXiv
Ta, Quang-Trung; Le, Ton Chanh; Khoo, Siau-Cheng; Chin, Wei-Ngan Automated mutual induction proof in separation logic. (English) Zbl 1425.68382 Formal Asp. Comput. 31, No. 2, 207-230 (2019). MSC: 68T15 03B70 PDFBibTeX XMLCite \textit{Q.-T. Ta} et al., Formal Asp. Comput. 31, No. 2, 207--230 (2019; Zbl 1425.68382) Full Text: DOI
Docherty, Simon; Pym, David Stone-type dualities for separation logics. (English) Zbl 1432.03046 Log. Methods Comput. Sci. 15, No. 1, Paper No. 27, 51 p. (2019). MSC: 03B70 03B20 03G25 06D50 68Q85 PDFBibTeX XMLCite \textit{S. Docherty} and \textit{D. Pym}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 27, 51 p. (2019; Zbl 1432.03046) Full Text: arXiv
Iosif, Radu Program verification with separation logic. (English) Zbl 1508.68062 del Mar Gallardo, María (ed.) et al., Model checking software. 25th international symposium, SPIN 2018, Malaga, Spain, June 20–22, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10869, 48-62 (2018). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{R. Iosif}, Lect. Notes Comput. Sci. 10869, 48--62 (2018; Zbl 1508.68062) Full Text: DOI
Mansutti, Alessio Extending propositional separation logic for robustness properties. (English) Zbl 1528.03151 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 42, 23 p. (2018). MSC: 03B70 68Q17 PDFBibTeX XMLCite \textit{A. Mansutti}, LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 42, 23 p. (2018; Zbl 1528.03151) Full Text: DOI
Docherty, Simon; Pym, David A Stone-type duality theorem for separation logic via its underlying bunched logics. (English) Zbl 1525.03094 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 101-118 (2018). MSC: 03B70 03B47 03G30 68Q55 PDFBibTeX XMLCite \textit{S. Docherty} and \textit{D. Pym}, Electron. Notes Theor. Comput. Sci. 336, 101--118 (2018; Zbl 1525.03094) Full Text: DOI
Kimura, Daisuke; Tatsuta, Makoto Decision procedure for entailment of symbolic heaps with arrays. (English) Zbl 1503.68045 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 169-189 (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{D. Kimura} and \textit{M. Tatsuta}, Lect. Notes Comput. Sci. 10695, 169--189 (2017; Zbl 1503.68045) Full Text: DOI arXiv
Heath, Quentin; Miller, Dale A proof theory for model checking: an extended abstract. (English) Zbl 1483.03034 Cervesato, Iliano (ed.) et al., Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 1-10 (2017). MSC: 03F52 68Q60 PDFBibTeX XMLCite \textit{Q. Heath} and \textit{D. Miller}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 1--10 (2017; Zbl 1483.03034) Full Text: arXiv Link
Chen, Taolue; Song, Fu; Wu, Zhilin Tractability of separation logic with inductive definitions: beyond lists. (English) Zbl 1442.03013 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 37, 17 p. (2017). MSC: 03B70 68P05 68Q25 PDFBibTeX XMLCite \textit{T. Chen} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 37, 17 p. (2017; Zbl 1442.03013) Full Text: DOI
Kanovich, Max; Kuznetsov, Stepan; Morrill, Glyn; Scedrov, Andre A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. (English) Zbl 1434.03076 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 22, 17 p. (2017). MSC: 03B47 68Q42 03F05 03F52 68Q25 PDFBibTeX XMLCite \textit{M. Kanovich} et al., LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 22, 17 p. (2017; Zbl 1434.03076) Full Text: DOI arXiv
Hóu, Zhé; Sanán, David; Tiu, Alwen; Liu, Yang Proof tactics for assertions in separation logic. (English) Zbl 1483.03004 Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 285-303 (2017). MSC: 03B35 03B70 68V15 PDFBibTeX XMLCite \textit{Z. Hóu} et al., Lect. Notes Comput. Sci. 10499, 285--303 (2017; Zbl 1483.03004) Full Text: DOI Link
Demri, Stéphane; Galmiche, Didier; Larchey-Wendling, Dominique; Méry, Daniel Separation logic with one quantified variable. (English) Zbl 1435.68117 Theory Comput. Syst. 61, No. 2, 371-461 (2017). MSC: 68Q25 03B70 68Q17 68Q60 PDFBibTeX XMLCite \textit{S. Demri} et al., Theory Comput. Syst. 61, No. 2, 371--461 (2017; Zbl 1435.68117) Full Text: DOI HAL
Jansen, Christina; Katelaan, Jens; Matheja, Christoph; Noll, Thomas; Zuleger, Florian Unified reasoning about robustness properties of symbolic-heap separation logic. (English) Zbl 1485.68068 Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 611-638 (2017). MSC: 68N30 03B70 68Q45 PDFBibTeX XMLCite \textit{C. Jansen} et al., Lect. Notes Comput. Sci. 10201, 611--638 (2017; Zbl 1485.68068) Full Text: DOI arXiv
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko A rewriting framework and logic for activities subject to regulations. (English) Zbl 1364.68333 Math. Struct. Comput. Sci. 27, No. 3, 332-375 (2017). MSC: 68T27 03F52 68Q42 68Q55 68Q85 PDFBibTeX XMLCite \textit{M. Kanovich} et al., Math. Struct. Comput. Sci. 27, No. 3, 332--375 (2017; Zbl 1364.68333) Full Text: DOI
Demri, Stephane; Deters, Morgan Expressive completeness of separation logic with two variables and no separating conjunction. (English) Zbl 1367.03053 ACM Trans. Comput. Log. 17, No. 2, Article No. 12, 44 p. (2016). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{S. Demri} and \textit{M. Deters}, ACM Trans. Comput. Log. 17, No. 2, Article No. 12, 44 p. (2016; Zbl 1367.03053) Full Text: DOI
Hóu, Zhé; Tiu, Alwen Completeness for a first-order abstract separation logic. (English) Zbl 1485.03077 Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 444-463 (2016). MSC: 03B70 03B35 68V15 PDFBibTeX XMLCite \textit{Z. Hóu} and \textit{A. Tiu}, Lect. Notes Comput. Sci. 10017, 444--463 (2016; Zbl 1485.03077) Full Text: DOI arXiv
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre Undecidability of the Lambek calculus with a relevant modality. (English) Zbl 1478.03043 Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 240-256 (2016). MSC: 03B47 03B25 03F52 68Q25 PDFBibTeX XMLCite \textit{M. Kanovich} et al., Lect. Notes Comput. Sci. 9804, 240--256 (2016; Zbl 1478.03043) Full Text: DOI arXiv
Gu, Xincai; Chen, Taolue; Wu, Zhilin A complete decision procedure for linearly compositional separation logic with data constraints. (English) Zbl 1475.68185 Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 532-549 (2016). MSC: 68Q60 03B70 68N30 68Q25 PDFBibTeX XMLCite \textit{X. Gu} et al., Lect. Notes Comput. Sci. 9706, 532--549 (2016; Zbl 1475.68185) Full Text: DOI
Porello, Daniele; Troquard, N. Non-normal modalities in variants of linear logic. (English) Zbl 1398.03208 J. Appl. Non-Class. Log. 25, No. 3, 229-255 (2015). MSC: 03F52 03B45 03B47 03F05 68Q17 PDFBibTeX XMLCite \textit{D. Porello} and \textit{N. Troquard}, J. Appl. Non-Class. Log. 25, No. 3, 229--255 (2015; Zbl 1398.03208) Full Text: DOI arXiv
Brotherston, James; Gorogiannis, Nikos Disproving inductive entailments in separation logic via base pair approximation. (English) Zbl 1471.03062 De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 287-303 (2015). MSC: 03B70 68V15 PDFBibTeX XMLCite \textit{J. Brotherston} and \textit{N. Gorogiannis}, Lect. Notes Comput. Sci. 9323, 287--303 (2015; Zbl 1471.03062) Full Text: DOI Link
de Boer, Frank S.; de Gouw, Stijn Being and change: reasoning about invariance. (English) Zbl 1444.68046 Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 191-204 (2015). MSC: 68N30 03B70 68P10 PDFBibTeX XMLCite \textit{F. S. de Boer} and \textit{S. de Gouw}, Lect. Notes Comput. Sci. 9360, 191--204 (2015; Zbl 1444.68046) Full Text: DOI Link
Lazić, Ranko; Schmitz, Sylvain Nonelementary complexities for branching VASS, MELL, and extensions. (English) Zbl 1354.68128 ACM Trans. Comput. Log. 16, No. 3, Article No. 20, 30 p. (2015). MSC: 68Q25 03F52 68Q17 68Q85 PDFBibTeX XMLCite \textit{R. Lazić} and \textit{S. Schmitz}, ACM Trans. Comput. Log. 16, No. 3, Article No. 20, 30 p. (2015; Zbl 1354.68128) Full Text: DOI arXiv
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn Two decades of Maude. (English) Zbl 1321.68007 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 232-254 (2015). MSC: 68-03 01A65 03B70 68Q42 PDFBibTeX XMLCite \textit{M. Clavel} et al., Lect. Notes Comput. Sci. 9200, 232--254 (2015; Zbl 1321.68007) Full Text: DOI
Bartoletti, Massimo; Degano, Pierpaolo; Di Giamberardino, Paolo; Zunino, Roberto Debits and credits in Petri nets and linear logic. (English) Zbl 1321.68356 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 135-159 (2015). MSC: 68Q85 03B70 03F52 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., Lect. Notes Comput. Sci. 9200, 135--159 (2015; Zbl 1321.68356) Full Text: DOI Link
Kihara, Takayuki; Miyabe, Kenshi Unified characterizations of lowness properties via Kolmogorov complexity. (English) Zbl 1338.03083 Arch. Math. Logic 54, No. 3-4, 329-358 (2015). MSC: 03D32 68Q30 PDFBibTeX XMLCite \textit{T. Kihara} and \textit{K. Miyabe}, Arch. Math. Logic 54, No. 3--4, 329--358 (2015; Zbl 1338.03083) Full Text: DOI
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre Bounded memory protocols. (English) Zbl 1308.68055 Comput. Lang. Syst. Struct. 40, No. 3-4, 137-154 (2014). MSC: 68P25 68M10 68M12 PDFBibTeX XMLCite \textit{M. Kanovich} et al., Comput. Lang. Syst. Struct. 40, No. 3--4, 137--154 (2014; Zbl 1308.68055) Full Text: DOI
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre Bounded memory Dolev-Yao adversaries in collaborative systems. (English) Zbl 1360.68860 Inf. Comput. 238, 233-261 (2014). MSC: 68T42 68M12 68Q17 94A60 PDFBibTeX XMLCite \textit{M. Kanovich} et al., Inf. Comput. 238, 233--261 (2014; Zbl 1360.68860) Full Text: DOI
Brotherston, James; Kanovich, Max Undecidability of propositional separation logic and its neighbours. (English) Zbl 1295.68166 J. ACM 61, No. 2, Article No. 14, 43 p. (2014). MSC: 68Q85 03D35 03B70 68N30 PDFBibTeX XMLCite \textit{J. Brotherston} and \textit{M. Kanovich}, J. ACM 61, No. 2, Article No. 14, 43 p. (2014; Zbl 1295.68166) Full Text: DOI
Kanovich, Max Multiset rewriting over Fibonacci and tribonacci numbers. (English) Zbl 1327.68143 J. Comput. Syst. Sci. 80, No. 6, 1138-1151 (2014). MSC: 68Q42 05A17 11B39 PDFBibTeX XMLCite \textit{M. Kanovich}, J. Comput. Syst. Sci. 80, No. 6, 1138--1151 (2014; Zbl 1327.68143) Full Text: DOI
Nigam, Vivek A framework for linear authorization logics. (English) Zbl 1323.03093 Theor. Comput. Sci. 536, 21-41 (2014). MSC: 03F52 03B70 68Q17 PDFBibTeX XMLCite \textit{V. Nigam}, Theor. Comput. Sci. 536, 21--41 (2014; Zbl 1323.03093) Full Text: DOI
Costantini, Stefania; Formisano, Andrea RASP and ASP as a fragment of linear logic. (English) Zbl 1400.68047 J. Appl. Non-Class. Log. 23, No. 1-2, 49-74 (2013). MSC: 68N17 03F52 68T27 PDFBibTeX XMLCite \textit{S. Costantini} and \textit{A. Formisano}, J. Appl. Non-Class. Log. 23, No. 1--2, 49--74 (2013; Zbl 1400.68047) Full Text: DOI
Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne On the almighty wand. (English) Zbl 1262.03051 Inf. Comput. 211, 106-137 (2012). Reviewer: Roger Villemaire (Montréal) MSC: 03B70 03B25 68N30 68P05 68Q60 PDFBibTeX XMLCite \textit{R. Brochenin} et al., Inf. Comput. 211, 106--137 (2012; Zbl 1262.03051) Full Text: DOI
Buss, Samuel R. Towards NP-P via proof complexity and search. (English) Zbl 1257.03086 Ann. Pure Appl. Logic 163, No. 7, 906-917 (2012). Reviewer: Olaf Beyersdorff (Leeds) MSC: 03F20 03B05 03D15 68Q15 68Q17 68T15 PDFBibTeX XMLCite \textit{S. R. Buss}, Ann. Pure Appl. Logic 163, No. 7, 906--917 (2012; Zbl 1257.03086) Full Text: DOI
Kanovich, Max Light linear logics with controlled weakening: expressibility, confluent strong normalization. (English) Zbl 1239.03040 Ann. Pure Appl. Logic 163, No. 7, 854-874 (2012). Reviewer: Myriam Quatrini (Marseille) MSC: 03F52 03B70 03D15 03F05 68Q17 PDFBibTeX XMLCite \textit{M. Kanovich}, Ann. Pure Appl. Logic 163, No. 7, 854--874 (2012; Zbl 1239.03040) Full Text: DOI
Brotherston, James; Distefano, Dino; Petersen, Rasmus Lerchedahl Automated cyclic entailment proofs in separation logic. (English) Zbl 1341.68184 Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 131-146 (2011). MSC: 68T15 03B70 PDFBibTeX XMLCite \textit{J. Brotherston} et al., Lect. Notes Comput. Sci. 6803, 131--146 (2011; Zbl 1341.68184) Full Text: DOI
Kanovich, Max; Rowe, Paul; Scedrov, Andre Collaborative planning with confidentiality. (English) Zbl 1229.90072 J. Autom. Reasoning 46, No. 3-4, 389-421 (2011). Reviewer: Efstratios Rappos (Aubonne) MSC: 90B70 68T20 03B80 PDFBibTeX XMLCite \textit{M. Kanovich} et al., J. Autom. Reasoning 46, No. 3--4, 389--421 (2011; Zbl 1229.90072) Full Text: DOI
Kanovich, Max; Vauzeilles, Jacqueline Linear logic as a tool for planning under temporal uncertainty. (English) Zbl 1222.68382 Theor. Comput. Sci. 412, No. 20, 2072-2092 (2011). Reviewer: Éric Martin (Sydney) MSC: 68T27 03F52 PDFBibTeX XMLCite \textit{M. Kanovich} and \textit{J. Vauzeilles}, Theor. Comput. Sci. 412, No. 20, 2072--2092 (2011; Zbl 1222.68382) Full Text: DOI
Miller, Dale Formalizing operational semantic specifications in logic. (English) Zbl 1347.68213 Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 147-165 (2009). MSC: 68Q55 03B70 68Q42 68Q60 PDFBibTeX XMLCite \textit{D. Miller}, Electron. Notes Theor. Comput. Sci. 246, 147--165 (2009; Zbl 1347.68213) Full Text: DOI
Kahramanoğulları, Ozan On linear logic planning and concurrency. (English) Zbl 1192.68644 Inf. Comput. 207, No. 11, 1229-1258 (2009). MSC: 68T20 68Q85 PDFBibTeX XMLCite \textit{O. Kahramanoğulları}, Inf. Comput. 207, No. 11, 1229--1258 (2009; Zbl 1192.68644) Full Text: DOI
Cervesato, Iliano; Scedrov, Andre Relating state-based and process-based concurrency through linear logic (full-version). (English) Zbl 1181.68168 Inf. Comput. 207, No. 10, 1044-1077 (2009). MSC: 68Q85 03B70 03F52 68Q42 PDFBibTeX XMLCite \textit{I. Cervesato} and \textit{A. Scedrov}, Inf. Comput. 207, No. 10, 1044--1077 (2009; Zbl 1181.68168) Full Text: DOI
Konvalinka, Matjaž; Pak, Igor Geometry and complexity of O’Hara’s algorithm. (English) Zbl 1231.05018 Adv. Appl. Math. 42, No. 2, 157-175 (2009). MSC: 05A19 05A17 68Q25 PDFBibTeX XMLCite \textit{M. Konvalinka} and \textit{I. Pak}, Adv. Appl. Math. 42, No. 2, 157--175 (2009; Zbl 1231.05018) Full Text: DOI Link
Clarke, Dave Coordination: Reo, nets, and logic. (English) Zbl 1209.68335 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 226-256 (2008). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{D. Clarke}, Lect. Notes Comput. Sci. 5382, 226--256 (2008; Zbl 1209.68335) Full Text: DOI Link
Kanovich, Max; Vauzeilles, Jacqueline Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). (English) Zbl 1118.68157 Theor. Comput. Sci. 379, No. 1-2, 84-119 (2007). MSC: 68T20 68T27 68T37 PDFBibTeX XMLCite \textit{M. Kanovich} and \textit{J. Vauzeilles}, Theor. Comput. Sci. 379, No. 1--2, 84--119 (2007; Zbl 1118.68157) Full Text: DOI
Cervesato, Iliano; Scedrov, Andre Relating state-based and process-based concurrency through linear logic. (English) Zbl 1262.68136 Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 145-176 (2006). MSC: 68Q85 03F52 PDFBibTeX XMLCite \textit{I. Cervesato} and \textit{A. Scedrov}, Electron. Notes Theor. Comput. Sci. 165, 145--176 (2006; Zbl 1262.68136) Full Text: DOI
Kamide, Norihiro Phase semantics and Petri net interpretation for resource-sensitive strong negation. (English) Zbl 1159.03329 J. Logic Lang. Inf. 15, No. 4, 371-401 (2006). MSC: 03F52 68Q85 92C50 PDFBibTeX XMLCite \textit{N. Kamide}, J. Logic Lang. Inf. 15, No. 4, 371--401 (2006; Zbl 1159.03329) Full Text: DOI
Baillot, Patrick Type inference for light affine logic via constraints on words. (English) Zbl 1071.03018 Theor. Comput. Sci. 328, No. 3, 289-323 (2004). MSC: 03B70 03F52 68Q15 68N18 PDFBibTeX XMLCite \textit{P. Baillot}, Theor. Comput. Sci. 328, No. 3, 289--323 (2004; Zbl 1071.03018) Full Text: DOI
Kanovich, Max Finding direct partition bijections by two-directional rewriting techniques. (English) Zbl 1044.05010 Discrete Math. 285, No. 1-3, 151-166 (2004). MSC: 05A17 05A20 68Q42 11B85 PDFBibTeX XMLCite \textit{M. Kanovich}, Discrete Math. 285, No. 1--3, 151--166 (2004; Zbl 1044.05010) Full Text: DOI
Dal Lago, Ugo; Martini, Simone Phase semantics and decidability of elementary affine logic. (English) Zbl 1047.03048 Theor. Comput. Sci. 318, No. 3, 409-433 (2004). MSC: 03F52 03B25 68Q19 68Q15 03F05 PDFBibTeX XMLCite \textit{U. Dal Lago} and \textit{S. Martini}, Theor. Comput. Sci. 318, No. 3, 409--433 (2004; Zbl 1047.03048) Full Text: DOI
Hofmann, M.; Scott, P. J. Realizability models for BLL-like languages. (English) Zbl 1047.03049 Theor. Comput. Sci. 318, No. 1-2, 121-137 (2004). MSC: 03F52 03C13 68Q19 68Q15 03F20 03F05 PDFBibTeX XMLCite \textit{M. Hofmann} and \textit{P. J. Scott}, Theor. Comput. Sci. 318, No. 1--2, 121--137 (2004; Zbl 1047.03049) Full Text: DOI
Tanabe, Makoto Timed Petri nets and temporal linear logic. (English) Zbl 1510.68071 Azéma, Pierre (ed.) et al., Application and theory of Petri nets 1997. 18th international conference, ICATPN ’97. Toulouse, France. June 23–27, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1248, 156-174 (1997). MSC: 68Q85 03B44 03F52 06F07 PDFBibTeX XMLCite \textit{M. Tanabe}, Lect. Notes Comput. Sci. 1248, 156--174 (1997; Zbl 1510.68071) Full Text: DOI
Kanovich, Max I. Linear logic automata. (English) Zbl 0859.68021 Ann. Pure Appl. Logic 78, No. 1-3, 147-188 (1996). MSC: 68Q05 68Q45 68Q85 03B80 PDFBibTeX XMLCite \textit{M. I. Kanovich}, Ann. Pure Appl. Logic 78, No. 1--3, 147--188 (1996; Zbl 0859.68021) Full Text: DOI
Kanovich, Max I. Petri nets, Horn programs, linear logic and vector games. (English) Zbl 0829.03007 Ann. Pure Appl. Logic 75, No. 1-2, 107-135 (1995). MSC: 03B20 03D05 68Q10 68Q85 03B70 91A80 PDFBibTeX XMLCite \textit{M. I. Kanovich}, Ann. Pure Appl. Logic 75, No. 1--2, 107--135 (1995; Zbl 0829.03007) Full Text: DOI
Kanovich, Max I. The complexity of Horn fragments of linear logic. (English) Zbl 0812.03007 Ann. Pure Appl. Logic 69, No. 2-3, 195-241 (1994). Reviewer: M.K.Val’ev (Moskva) MSC: 03B20 03D15 68Q25 03B25 PDFBibTeX XMLCite \textit{M. I. Kanovich}, Ann. Pure Appl. Logic 69, No. 2--3, 195--241 (1994; Zbl 0812.03007) Full Text: DOI
Kanovich, Max I. Linear logic as a logic of computations. (English) Zbl 0804.03004 Ann. Pure Appl. Logic 67, No. 1-3, 183-212 (1994). Reviewer: H.C.M.de Swart (Tilburg) MSC: 03B20 03D05 03D35 68Q05 PDFBibTeX XMLCite \textit{M. I. Kanovich}, Ann. Pure Appl. Logic 67, No. 1--3, 183--212 (1994; Zbl 0804.03004) Full Text: DOI
Kanovich, Max I. Efficient program synthesis: semantics, logic, complexity. (English) Zbl 1493.68114 Ito, Takayasu (ed.) et al., Theoretical aspects of computer software. International conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 526, 615-632 (1991). MSC: 68N30 03B70 68Q25 68Q55 PDFBibTeX XMLCite \textit{M. I. Kanovich}, Lect. Notes Comput. Sci. 526, 615--632 (1991; Zbl 1493.68114) Full Text: DOI
Gusev, L. A.; Petrov, S. V.; Tenenbaum, L. A. Relations, dependencies, and some problems of systems theory. (English) Zbl 0676.68072 Inf. Sci. 47, No. 3, 267-285 (1989). MSC: 68P20 93A10 PDFBibTeX XMLCite \textit{L. A. Gusev} et al., Inf. Sci. 47, No. 3, 267--285 (1989; Zbl 0676.68072) Full Text: DOI
Petrov, Sergey V. Finite approximatization of languages for representation of system properties: Axiomatization of dependencies. (English) Zbl 0676.68063 Inf. Sci. 47, No. 3, 339-372 (1989). MSC: 68T99 68P20 68T15 03B35 93A10 PDFBibTeX XMLCite \textit{S. V. Petrov}, Inf. Sci. 47, No. 3, 339--372 (1989; Zbl 0676.68063) Full Text: DOI
Marchenkov, S. S.; Matrosov, V. L. Complexity of algorithms and computations. (English) Zbl 0462.03010 J. Sov. Math. 15, 140-165 (1981). MSC: 03D15 68Q05 68W99 68Q25 68-02 03D25 03-02 PDFBibTeX XMLCite \textit{S. S. Marchenkov} and \textit{V. L. Matrosov}, J. Sov. Math. 15, 140--165 (1981; Zbl 0462.03010) Full Text: DOI
Breitbart, Y.; Lewis, F. D. Combined complexity classes for finite functions. (English) Zbl 0414.68023 RAIRO, Inf. Théor. 13, 87-98 (1979). MSC: 68Q25 03D15 94C10 PDFBibTeX XMLCite \textit{Y. Breitbart} and \textit{F. D. Lewis}, RAIRO, Inf. Théor. 13, 87--98 (1979; Zbl 0414.68023) Full Text: EuDML
Daley, R. P. The extent and density of sequences within the minimal-program complexity hierarchies. (English) Zbl 0293.68044 J. Comput. Syst. Sci. 9, 151-163 (1974). MSC: 68Q25 PDFBibTeX XMLCite \textit{R. P. Daley}, J. Comput. Syst. Sci. 9, 151--163 (1974; Zbl 0293.68044) Full Text: DOI