×

Found 92 Documents (Results 1–92)

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
Full Text: arXiv Link

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: arXiv Link

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: arXiv Link

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI Link

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software