Hellström, Lars Network rewriting utility description. (English) Zbl 07822779 Silvestrov, Sergei (ed.) et al., Non-commutative and non-associative algebra and analysis structures. SPAS 2019. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, Västerås, Sweden, September 30 – October 2, 2019. Cham: Springer. Springer Proc. Math. Stat. 426, 429-476 (2023). MSC: 68W30 16T05 16T10 18M30 68Q42 68V99 PDFBibTeX XMLCite \textit{L. Hellström}, Springer Proc. Math. Stat. 426, 429--476 (2023; Zbl 07822779) Full Text: DOI
Kanazawa, Makoto Learning context-free grammars from positive data and membership queries. (English) Zbl 07810554 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 3-18 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{M. Kanazawa}, Lect. Notes Comput. Sci. 13923, 3--18 (2023; Zbl 07810554) Full Text: DOI
Mell, Stephen; Bastani, Osbert; Zdancewic, Steve Ideograph: a language for expressing and manipulating structured data. (English) Zbl 07809762 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, 65-84 (2023). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Mell} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 377, 65--84 (2023; Zbl 07809762) Full Text: arXiv Link
Overbeek, Roy; Endrullis, Jörg A \(\mathrm{PBPO}^+\) graph rewriting tutorial. (English) Zbl 07809761 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, 45-63 (2023). MSC: 68Q42 PDFBibTeX XMLCite \textit{R. Overbeek} and \textit{J. Endrullis}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 377, 45--63 (2023; Zbl 07809761) Full Text: arXiv Link
van Oostrom, Vincent On causal equivalence by tracing in string rewriting. (English) Zbl 07809760 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, 27-43 (2023). MSC: 68Q42 PDFBibTeX XMLCite \textit{V. van Oostrom}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 377, 27--43 (2023; Zbl 07809760) Full Text: arXiv Link
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
Alpuente, María; Ballis, Demis; Escobar, Santiago; Meseguer, Jose; Sapiña, Julia Optimizing Maude programs via program specialization. (English) Zbl 07729469 Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 21-50 (2023). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 13160, 21--50 (2023; Zbl 07729469) Full Text: DOI
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel Strategies in conditional narrowing modulo SMT plus axioms. (English) Zbl 07729468 Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 1-20 (2023). MSC: 68Q42 PDFBibTeX XMLCite \textit{L. Aguirre} et al., Lect. Notes Comput. Sci. 13160, 1--20 (2023; Zbl 07729468) Full Text: DOI
Truthe, Bianca Merging two hierarchies of external contextual grammars with subregular selection. (English) Zbl 07729466 Bordihn, Henning (ed.) et al., Descriptional complexity of formal systems. 25th IFIP WG 1.02 international conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13918, 169-180 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. Truthe}, Lect. Notes Comput. Sci. 13918, 169--180 (2023; Zbl 07729466) Full Text: DOI
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto QMaude: quantitative specification and verification in rewriting logic. (English) Zbl 07728846 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 240-259 (2023). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{R. Rubio} et al., Lect. Notes Comput. Sci. 14000, 240--259 (2023; Zbl 07728846) Full Text: DOI
Paramasivan, Meenakshi; Kumari, R. Krishna; Arulprakasam, R.; Dare, V. Rajkumar Lyndon partial words and arrays with applications. (English) Zbl 1528.68334 Barneva, Reneta P. (ed.) et al., Combinatorial image analysis. 21st international workshop, IWCIA 2022, Messina, Italy, July 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13348, 226-244 (2023). MSC: 68R15 68Q42 68Q45 68U10 PDFBibTeX XMLCite \textit{M. Paramasivan} et al., Lect. Notes Comput. Sci. 13348, 226--244 (2023; Zbl 1528.68334) Full Text: DOI
Frenkel, Hadar; Sheinvald, Sarai Realizable and context-free hyperlanguages. (English) Zbl 07802075 Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 114-130 (2022). MSC: 68Q85 68Q42 68Q45 PDFBibTeX XMLCite \textit{H. Frenkel} and \textit{S. Sheinvald}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 114--130 (2022; Zbl 07802075) Full Text: arXiv Link
Esparza, Javier; Rubio, Rubén; Sickert, Salomon A simple rewrite system for the normalization of linear temporal logic. (English) Zbl 1528.68159 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 208-227 (2022). MSC: 68Q42 03B44 PDFBibTeX XMLCite \textit{J. Esparza} et al., Lect. Notes Comput. Sci. 13660, 208--227 (2022; Zbl 1528.68159) Full Text: DOI arXiv
Alpuente, María; Ballis, Demis; Escobar, Santiago; Sapiña, Julia Variant-based equational anti-unification. (English) Zbl 1522.68251 Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 44-60 (2022). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 13474, 44--60 (2022; Zbl 1522.68251) Full Text: DOI
Baudon, Thaïs; Fuhs, Carsten; Gonnord, Laure Analysing parallel complexity of term rewriting. (English) Zbl 1522.68253 Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 3-23 (2022). MSC: 68Q42 68N30 68Q10 68Q25 PDFBibTeX XMLCite \textit{T. Baudon} et al., Lect. Notes Comput. Sci. 13474, 3--23 (2022; Zbl 1522.68253) Full Text: DOI arXiv
Tsay, Yih-Kuen; Vardi, Moshe Y. From linear temporal logics to Büchi automata: the early and simple principle. (English) Zbl 1522.68287 Olderog, Ernst-Rüdiger (ed.) et al., Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13030, 8-40 (2022). MSC: 68Q45 03B44 03D05 PDFBibTeX XMLCite \textit{Y.-K. Tsay} and \textit{M. Y. Vardi}, Lect. Notes Comput. Sci. 13030, 8--40 (2022; Zbl 1522.68287) Full Text: DOI
Schneider, Sven; Maximova, Maria; Giese, Holger Invariant analysis for multi-agent graph transformation systems using \(k\)-induction. (English) Zbl 1514.68093 Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 173-192 (2022). MSC: 68Q42 68Q60 68Q85 PDFBibTeX XMLCite \textit{S. Schneider} et al., Lect. Notes Comput. Sci. 13349, 173--192 (2022; Zbl 1514.68093) Full Text: DOI
Brown, Kristopher; Patterson, Evan; Hanks, Tyler; Fairbanks, James Computational category-theoretic rewriting. (English) Zbl 1514.68089 Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 155-172 (2022). MSC: 68Q42 18A30 18B10 PDFBibTeX XMLCite \textit{K. Brown} et al., Lect. Notes Comput. Sci. 13349, 155--172 (2022; Zbl 1514.68089) Full Text: DOI arXiv
Barkowsky, Matthias; Giese, Holger Towards development with multi-version models: detecting merge conflicts and checking well-formedness. (English) Zbl 1514.68031 Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 118-136 (2022). MSC: 68N30 68Q42 PDFBibTeX XMLCite \textit{M. Barkowsky} and \textit{H. Giese}, Lect. Notes Comput. Sci. 13349, 118--136 (2022; Zbl 1514.68031) Full Text: DOI arXiv
Taentzer, Gabriele; John, Stefan; Kosiol, Jens A generic construction for crossovers of graph-like structures. (English) Zbl 1514.68335 Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 97-117 (2022). MSC: 68W50 18B50 68Q42 90C59 PDFBibTeX XMLCite \textit{G. Taentzer} et al., Lect. Notes Comput. Sci. 13349, 97--117 (2022; Zbl 1514.68335) Full Text: DOI
Schneider, Sven; Maximova, Maria; Giese, Holger Probabilistic metric temporal graph logic. (English) Zbl 1514.68147 Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 58-76 (2022). MSC: 68Q60 03B70 68Q42 PDFBibTeX XMLCite \textit{S. Schneider} et al., Lect. Notes Comput. Sci. 13349, 58--76 (2022; Zbl 1514.68147) Full Text: DOI arXiv
Özkan, Okan Decidability of resilience for well-structured graph transformation systems. (English) Zbl 1514.68092 Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 38-57 (2022). MSC: 68Q42 PDFBibTeX XMLCite \textit{O. Özkan}, Lect. Notes Comput. Sci. 13349, 38--57 (2022; Zbl 1514.68092) Full Text: DOI
Heckel, Reiko; Corradini, Andrea; Gadducci, Fabio Graph rewriting components. (English) Zbl 1514.68091 Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 20-37 (2022). MSC: 68Q42 18M30 PDFBibTeX XMLCite \textit{R. Heckel} et al., Lect. Notes Comput. Sci. 13349, 20--37 (2022; Zbl 1514.68091) Full Text: DOI
Drewes, Frank; Hoffmann, Berthold; Minas, Mark Acyclic contextual hyperedge replacement: decidability of acyclicity and generative power. (English) Zbl 1514.68090 Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 3-19 (2022). MSC: 68Q42 PDFBibTeX XMLCite \textit{F. Drewes} et al., Lect. Notes Comput. Sci. 13349, 3--19 (2022; Zbl 1514.68090) Full Text: DOI
Ramírez Restrepo, Carlos Alberto; Pérez, Jorge A. Executable semantics and type checking for session-based concurrency in Maude. (English) Zbl 1514.68182 Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 230-250 (2022). MSC: 68Q85 68Q42 68Q55 68Q60 PDFBibTeX XMLCite \textit{C. A. Ramírez Restrepo} and \textit{J. A. Pérez}, Lect. Notes Comput. Sci. 13252, 230--250 (2022; Zbl 1514.68182) Full Text: DOI
Meseguer, José; Skeirik, Stephen On ground convergence and completeness of conditional equational program hierarchies. (English) Zbl 1514.68039 Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 191-211 (2022). MSC: 68N30 68N18 68Q42 68V15 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{S. Skeirik}, Lect. Notes Comput. Sci. 13252, 191--211 (2022; Zbl 1514.68039) Full Text: DOI
Meseguer, José Checking sufficient completeness by inductive theorem proving. (English) Zbl 1514.68038 Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 171-190 (2022). MSC: 68N30 68Q42 68V15 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 13252, 171--190 (2022; Zbl 1514.68038) Full Text: DOI
Rubio, Rubén An overview of the Maude strategy language and its applications. (English) Zbl 1514.68145 Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 65-84 (2022). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{R. Rubio}, Lect. Notes Comput. Sci. 13252, 65--84 (2022; Zbl 1514.68145) Full Text: DOI
van der Merwe, Brink; Berglund, Martin Ordered context-free grammars. (English) Zbl 07572311 Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 53-66 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{B. van der Merwe} and \textit{M. Berglund}, Lect. Notes Comput. Sci. 13266, 53--66 (2022; Zbl 07572311) Full Text: DOI
Kutsia, Temur; Pau, Cleo Matching and generalization modulo proximity and tolerance relations. (English) Zbl 07570786 Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 323-342 (2022). MSC: 68N17 68Q42 68T37 PDFBibTeX XMLCite \textit{T. Kutsia} and \textit{C. Pau}, Lect. Notes Comput. Sci. 13206, 323--342 (2022; Zbl 07570786) Full Text: DOI
Dundua, Besik; Kutsia, Temur; Rukhaia, Mikheil Unranked nominal unification. (English) Zbl 07570784 Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 279-296 (2022). MSC: 68Q42 PDFBibTeX XMLCite \textit{B. Dundua} et al., Lect. Notes Comput. Sci. 13206, 279--296 (2022; Zbl 07570784) Full Text: DOI
Nuno Macedo, José; Viera, Marcos; Saraiva, João Zipping strategies and attribute grammars. (English) Zbl 07570117 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 112-132 (2022). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{J. Nuno Macedo} et al., Lect. Notes Comput. Sci. 13215, 112--132 (2022; Zbl 07570117) Full Text: DOI arXiv
Calk, Cameron; Goubault, Eric; Malbos, Philippe Abstract strategies and coherence. (English) Zbl 1517.68155 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, 108-125 (2021). MSC: 68Q42 PDFBibTeX XMLCite \textit{C. Calk} et al., Lect. Notes Comput. Sci. 13027, 108--125 (2021; Zbl 1517.68155) Full Text: DOI
Cravo, Diogo Raphael; Ribeiro, Leila Module integration using graph grammars (MIGRATE). (English) Zbl 1498.68072 Campos, Sérgio (ed.) et al., Formal methods: foundations and applications. 24th Brazilian symposium, SBMF 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13130, 87-103 (2021). MSC: 68N30 68Q42 PDFBibTeX XMLCite \textit{D. R. Cravo} and \textit{L. Ribeiro}, Lect. Notes Comput. Sci. 13130, 87--103 (2021; Zbl 1498.68072) Full Text: DOI Link
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
van Eerd, Johri; Groote, Jan Friso; Hijma, Pieter; Martens, Jan; Wijs, Anton Term rewriting on GPUs. (English) Zbl 1496.68168 Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 175-189 (2021). MSC: 68Q42 68W10 PDFBibTeX XMLCite \textit{J. van Eerd} et al., Lect. Notes Comput. Sci. 12818, 175--189 (2021; Zbl 1496.68168) Full Text: DOI arXiv
Díaz-Domínguez, Diego; Navarro, Gonzalo; Pacheco, Alejandro An LMS-based grammar self-index with local consistency properties. (English) Zbl 07542415 Lecroq, Thierry (ed.) et al., String processing and information retrieval. 28th international symposium, SPIRE 2021, Lille, France, October 4–6, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12944, 100-113 (2021). MSC: 68P20 68P30 68Q42 PDFBibTeX XMLCite \textit{D. Díaz-Domínguez} et al., Lect. Notes Comput. Sci. 12944, 100--113 (2021; Zbl 07542415) Full Text: DOI
Mrykhin, Mikhail; Okhotin, Alexander The hardest \(\operatorname{LL}(k)\) language. (English) Zbl 1518.68186 Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 304-315 (2021). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{M. Mrykhin} and \textit{A. Okhotin}, Lect. Notes Comput. Sci. 12811, 304--315 (2021; Zbl 1518.68186) Full Text: DOI
Makarov, Vladislav Bounded languages described by GF(2)-grammars. (English) Zbl 07498733 Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 279-290 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{V. Makarov}, Lect. Notes Comput. Sci. 12811, 279--290 (2021; Zbl 07498733) Full Text: DOI arXiv
Kutrib, Martin; Meyer, Uwe Reversible top-down syntax analysis. (English) Zbl 1518.68180 Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 255-266 (2021). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{M. Kutrib} and \textit{U. Meyer}, Lect. Notes Comput. Sci. 12811, 255--266 (2021; Zbl 1518.68180) Full Text: DOI
D’Antoni, Loris; Hu, Qinheping; Kim, Jinwoo; Reps, Thomas Programmable program synthesis. (English) Zbl 1493.68052 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 84-109 (2021). MSC: 68N01 68Q42 PDFBibTeX XMLCite \textit{L. D'Antoni} et al., Lect. Notes Comput. Sci. 12759, 84--109 (2021; Zbl 1493.68052) Full Text: DOI
Vu, Martin; Fernau, Henning Adding matrix control: insertion-deletion systems with substitutions. III. (English) Zbl 1490.68133 Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 577-592 (2021). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{M. Vu} and \textit{H. Fernau}, Lect. Notes Comput. Sci. 12607, 577--592 (2021; Zbl 1490.68133) Full Text: DOI
Wulandari, Gia S.; Plump, Detlef Verifying graph programs with monadic second-order logic. (English) Zbl 1492.68043 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 240-261 (2021). MSC: 68N30 03B70 68Q42 68Q60 68R10 PDFBibTeX XMLCite \textit{G. S. Wulandari} and \textit{D. Plump}, Lect. Notes Comput. Sci. 12741, 240--261 (2021; Zbl 1492.68043) Full Text: DOI Link
Maximova, Maria; Schneider, Sven; Giese, Holger Interval probabilistic timed graph transformation systems. (English) Zbl 1492.68071 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 221-239 (2021). MSC: 68Q42 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Maximova} et al., Lect. Notes Comput. Sci. 12741, 221--239 (2021; Zbl 1492.68071) Full Text: DOI Link
Kreowski, Hans-Jörg; Lye, Aaron A case study on the graph-transformational modeling and analysis of puzzles. (English) Zbl 1492.68070 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 203-220 (2021). MSC: 68Q42 00A08 68Q25 PDFBibTeX XMLCite \textit{H.-J. Kreowski} and \textit{A. Lye}, Lect. Notes Comput. Sci. 12741, 203--220 (2021; Zbl 1492.68070) Full Text: DOI
Drewes, Frank; Hoffmann, Berthold; Minas, Mark Rule-based top-down parsing for acyclic contextual hyperedge replacement grammars. (English) Zbl 1492.68068 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 164-184 (2021). MSC: 68Q42 PDFBibTeX XMLCite \textit{F. Drewes} et al., Lect. Notes Comput. Sci. 12741, 164--184 (2021; Zbl 1492.68068) Full Text: DOI
Barkowsky, Matthias; Giese, Holger Host-graph-sensitive RETE nets for incremental graph pattern matching. (English) Zbl 1512.68063 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 145-163 (2021). MSC: 68P05 68Q42 68R10 PDFBibTeX XMLCite \textit{M. Barkowsky} and \textit{H. Giese}, Lect. Notes Comput. Sci. 12741, 145--163 (2021; Zbl 1512.68063) Full Text: DOI
Schneider, Sven; Lambers, Leen Evaluation diversity for graph conditions. (English) Zbl 1492.68074 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 122-141 (2021). MSC: 68Q42 03B70 68N30 68R10 PDFBibTeX XMLCite \textit{S. Schneider} and \textit{L. Lambers}, Lect. Notes Comput. Sci. 12741, 122--141 (2021; Zbl 1492.68074) Full Text: DOI
Pshenitsyn, Tikhon Powerful and NP-complete: hypergraph Lambek grammars. (English) Zbl 1492.68073 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 102-121 (2021). MSC: 68Q42 PDFBibTeX XMLCite \textit{T. Pshenitsyn}, Lect. Notes Comput. Sci. 12741, 102--121 (2021; Zbl 1492.68073) Full Text: DOI
Overbeek, Roy; Endrullis, Jörg; Rosset, Aloïs Graph rewriting and relabeling with PBPO\textsuperscript{+}. (English) Zbl 1492.68072 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 60-80 (2021). MSC: 68Q42 PDFBibTeX XMLCite \textit{R. Overbeek} et al., Lect. Notes Comput. Sci. 12741, 60--80 (2021; Zbl 1492.68072) Full Text: DOI arXiv Backlinks: MO
Kosiol, Jens; Taentzer, Gabriele A generalized concurrent rule construction for double-pushout rewriting. (English) Zbl 1489.68116 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 22-39 (2021). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{J. Kosiol} and \textit{G. Taentzer}, Lect. Notes Comput. Sci. 12741, 22--39 (2021; Zbl 1489.68116) Full Text: DOI arXiv
Behr, Nicolas; Harmer, Russ; Krivine, Jean Concurrency theorems for non-linear rewriting theories. (English) Zbl 1489.68115 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 3-21 (2021). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{N. Behr} et al., Lect. Notes Comput. Sci. 12741, 3--21 (2021; Zbl 1489.68115) Full Text: DOI arXiv
Duparc, Jacques Wadge-Wagner hierarchies. (English) Zbl 1528.03197 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 695-728 (2021). MSC: 03E15 03D05 PDFBibTeX XMLCite \textit{J. Duparc}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 695--728 (2021; Zbl 1528.03197) Full Text: DOI
Colcombet, Thomas The factorisation forest theorem. (English) Zbl 07469516 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 653-693 (2021). MSC: 68Q70 03D05 20M35 PDFBibTeX XMLCite \textit{T. Colcombet}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 653--693 (2021; Zbl 07469516) Full Text: DOI
Reghizzi, Stefano Crespi; Giammarresi, Dora; Lonati, Violetta Two-dimensional models. (English) Zbl 1510.68040 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 303-333 (2021). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{S. C. Reghizzi} et al., in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 303--333 (2021; Zbl 1510.68040) Full Text: DOI
Wilke, Thomas; Schewe, Sven \(\omega \)-automata. (English) Zbl 1516.68051 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 189-234 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{T. Wilke} and \textit{S. Schewe}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 189--234 (2021; Zbl 1516.68051) Full Text: DOI
Boy de la Tour, Thierry Parallel independence in attributed graph rewriting. (English) Zbl 07456063 Bahr, Patrick (ed.), Proceedings of the eleventh international workshop on computing with terms and graphs, TERMGRAPH 2020, online, July 5, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 62-77 (2021). MSC: 68Q42 PDFBibTeX XMLCite \textit{T. Boy de la Tour}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 62--77 (2021; Zbl 07456063) Full Text: arXiv Link
Campbell, Graham Parallel hyperedge replacement string languages. (English) Zbl 07456062 Bahr, Patrick (ed.), Proceedings of the eleventh international workshop on computing with terms and graphs, TERMGRAPH 2020, online, July 5, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 46-61 (2021). MSC: 68Q42 PDFBibTeX XMLCite \textit{G. Campbell}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 46--61 (2021; Zbl 07456062) Full Text: arXiv Link
Grabmayer, Clemens Structure-constrained process graphs for the process semantics of regular expressions. (English) Zbl 07456061 Bahr, Patrick (ed.), Proceedings of the eleventh international workshop on computing with terms and graphs, TERMGRAPH 2020, online, July 5, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 29-45 (2021). MSC: 68Q42 PDFBibTeX XMLCite \textit{C. Grabmayer}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 29--45 (2021; Zbl 07456061) Full Text: arXiv Link
Behr, Nicolas On stochastic rewriting and combinatorics via rule-algebraic methods. (English) Zbl 07456060 Bahr, Patrick (ed.), Proceedings of the eleventh international workshop on computing with terms and graphs, TERMGRAPH 2020, online, July 5, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 11-28 (2021). MSC: 68Q42 PDFBibTeX XMLCite \textit{N. Behr}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 11--28 (2021; Zbl 07456060) Full Text: arXiv Link
Ghica, Dan R. Operational semantics with hierarchical abstract syntax graphs. (English) Zbl 07456059 Bahr, Patrick (ed.), Proceedings of the eleventh international workshop on computing with terms and graphs, TERMGRAPH 2020, online, July 5, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 1-10 (2021). MSC: 68Q42 PDFBibTeX XMLCite \textit{D. R. Ghica}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 1--10 (2021; Zbl 07456059) Full Text: arXiv Link
Althaus, Ernst; Hildebrandt, Andreas; Mosca, Domenico Learning molecular classes from small numbers of positive examples using graph grammars. (English) Zbl 1477.92030 Martín-Vide, Carlos (ed.) et al., Algorithms for computational biology. 8th international conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12715, 3-15 (2021). MSC: 92E10 05C92 68T05 PDFBibTeX XMLCite \textit{E. Althaus} et al., Lect. Notes Comput. Sci. 12715, 3--15 (2021; Zbl 1477.92030) Full Text: DOI
Sadrzadeh, Mehrnoosh Pregroup grammars, their syntax and semantics. (English) Zbl 1491.68252 Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 347-376 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 68T50 03B65 68Q42 91F20 PDFBibTeX XMLCite \textit{M. Sadrzadeh}, Outst. Contrib. Log. 20, 347--376 (2021; Zbl 1491.68252) Full Text: DOI arXiv
Coecke, Bob The mathematics of text structure. (English) Zbl 1482.81006 Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 181-217 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 81P68 68Q42 03D05 91F20 46C05 46B15 18M15 PDFBibTeX XMLCite \textit{B. Coecke}, Outst. Contrib. Log. 20, 181--217 (2021; Zbl 1482.81006) Full Text: DOI arXiv
Immanuel, S. James; Jayasankar, S.; Thomas, D. Gnanaraj; Paramasivan, Meenakshi Parallel contextual array insertion deletion P systems and tabled matrix grammars. (English) Zbl 07437062 Freund, Rudolf (ed.) et al., Membrane computing. 21st international conference, CMC 2020, virtual event, September 14–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12687, 46-77 (2021). MSC: 68Q07 PDFBibTeX XMLCite \textit{S. J. Immanuel} et al., Lect. Notes Comput. Sci. 12687, 46--77 (2021; Zbl 07437062) Full Text: DOI
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi Generalized forbidding matrix grammars and their membrane computing perspective. (English) Zbl 07437061 Freund, Rudolf (ed.) et al., Membrane computing. 21st international conference, CMC 2020, virtual event, September 14–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12687, 31-45 (2021). MSC: 68Q07 PDFBibTeX XMLCite \textit{H. Fernau} et al., Lect. Notes Comput. Sci. 12687, 31--45 (2021; Zbl 07437061) Full Text: DOI
Gelade, Wouter; Schwentick, Thomas Automata and finite model theory. (English) Zbl 07425665 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 1071-1103 (2021). MSC: 03C13 03D05 PDFBibTeX XMLCite \textit{W. Gelade} and \textit{T. Schwentick}, in: Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 1071--1103 (2021; Zbl 07425665) Full Text: DOI
Rubin, Sasha Automatic structures. (English) Zbl 07425664 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 1031-1070 (2021). MSC: 03D05 03C57 PDFBibTeX XMLCite \textit{S. Rubin}, in: Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 1031--1070 (2021; Zbl 07425664) Full Text: DOI
Finkbeiner, Bernd Model checking algorithms for hyperproperties (invited paper). (English) Zbl 1472.68088 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, 3-16 (2021). MSC: 68Q60 03B44 03D05 PDFBibTeX XMLCite \textit{B. Finkbeiner}, Lect. Notes Comput. Sci. 12597, 3--16 (2021; Zbl 1472.68088) Full Text: DOI arXiv
Mitterwallner, Fabian; Lochmann, Alexander; Middeldorp, Aart; Felgenhauer, Bertram Certifying proofs in the first-order theory of rewriting. (English) Zbl 1474.68166 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 127-144 (2021). MSC: 68Q42 03B25 03B35 03D05 68V20 PDFBibTeX XMLCite \textit{F. Mitterwallner} et al., Lect. Notes Comput. Sci. 12652, 127--144 (2021; Zbl 1474.68166) Full Text: DOI
Das, Ankush; DeYoung, Henry; Mordido, Andreia; Pfenning, Frank Nested session types. (English) Zbl 1473.68113 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 178-206 (2021). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{A. Das} et al., Lect. Notes Comput. Sci. 12648, 178--206 (2021; Zbl 1473.68113) Full Text: DOI arXiv
Miyazaki, Takayuki; Minamide, Yasuhiko Context-free grammars with lookahead. (English) Zbl 07405989 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 213-225 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Miyazaki} and \textit{Y. Minamide}, Lect. Notes Comput. Sci. 12638, 213--225 (2021; Zbl 07405989) Full Text: DOI
Yellin, Daniel M.; Weiss, Gail Synthesizing context-free grammars from recurrent neural networks. (English) Zbl 1467.68077 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 351-369 (2021). MSC: 68Q32 68Q42 68Q45 68T05 PDFBibTeX XMLCite \textit{D. M. Yellin} and \textit{G. Weiss}, Lect. Notes Comput. Sci. 12651, 351--369 (2021; Zbl 1467.68077) Full Text: DOI arXiv
Maximova, Maria; Schneider, Sven; Giese, Holger Compositional analysis of probabilistic timed graph transformation systems. (English) Zbl 1467.68090 Guerra, Esther (ed.) et al., Fundamental approaches to software engineering. 24th international conference, FASE 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12649, 196-217 (2021). MSC: 68Q60 68Q42 93A15 93B70 PDFBibTeX XMLCite \textit{M. Maximova} et al., Lect. Notes Comput. Sci. 12649, 196--217 (2021; Zbl 1467.68090) Full Text: DOI
Clokie, Trevor; Lidbetter, Thomas F.; Molina, Lovett Antonio J.; Shallit, Jeffrey; Witzman, Leon Computational fun with sturdy and flimsy numbers. (English) Zbl 1515.68160 Farach-Colton, Martin (ed.) et al., 10th international conference on fun with algorithms. FUN 2021, May 30 – June 1, 2021, Favignana Island, Sicily, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 157, Article 10, 21 p. (2020). MSC: 68Q45 11A63 68Q42 PDFBibTeX XMLCite \textit{T. Clokie} et al., LIPIcs -- Leibniz Int. Proc. Inform. 157, Article 10, 21 p. (2020; Zbl 1515.68160) Full Text: DOI
Jeż, Artur Solving word equations (and other unification problems) by recompression (invited talk). (English) Zbl 07650816 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 3, 17 p. (2020). MSC: 68Q45 68Q25 68Q42 PDFBibTeX XMLCite \textit{A. Jeż}, LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 3, 17 p. (2020; Zbl 07650816) Full Text: DOI
Culer, Łukasz; Unold, Olgierd Visualization of membership distribution in strings using heat maps. (English) Zbl 1515.68154 Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 19th international conference, ICAISC 2020, Zakopane, Poland, October 12–14, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12415, 503-513 (2020). MSC: 68Q32 68Q42 68Q45 68T37 PDFBibTeX XMLCite \textit{Ł. Culer} and \textit{O. Unold}, Lect. Notes Comput. Sci. 12415, 503--513 (2020; Zbl 1515.68154) Full Text: DOI
Skeirik, Stephen; Meseguer, José; Rocha, Camilo Verification of the IBOS browser security properties in reachability logic. (English) Zbl 1517.68254 Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 176-196 (2020). MSC: 68Q60 68N25 68Q42 PDFBibTeX XMLCite \textit{S. Skeirik} et al., Lect. Notes Comput. Sci. 12328, 176--196 (2020; Zbl 1517.68254) Full Text: DOI arXiv
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto Strategies, model checking and branching-time properties in Maude. (English) Zbl 1517.68170 Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 156-175 (2020). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{R. Rubio} et al., Lect. Notes Comput. Sci. 12328, 156--175 (2020; Zbl 1517.68170) Full Text: DOI
Okada, Mitsuhiro; Takahashi, Yuta A simplified application of Howard’s vector notation system to termination proofs for typed lambda-calculus systems. (English) Zbl 1517.68168 Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 136-155 (2020). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{M. Okada} and \textit{Y. Takahashi}, Lect. Notes Comput. Sci. 12328, 136--155 (2020; Zbl 1517.68168) Full Text: DOI
Meseguer, José; Skeirik, Stephen Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification. (English) Zbl 1517.68167 Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 114-135 (2020). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{S. Skeirik}, Lect. Notes Comput. Sci. 12328, 114--135 (2020; Zbl 1517.68167) Full Text: DOI
Meseguer, José Variant satisfiability of parameterized strings. (English) Zbl 1517.68165 Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 96-113 (2020). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 12328, 96--113 (2020; Zbl 1517.68165) Full Text: DOI
Meseguer, José Variants in the infinitary unification wonderland. (English) Zbl 1517.68164 Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 75-95 (2020). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 12328, 75--95 (2020; Zbl 1517.68164) Full Text: DOI
Marin, Mircea; Dundua, Besik; Kutsia, Temur A rule-based system for computation and deduction in Mathematica. (English) Zbl 1517.68425 Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 57-74 (2020). MSC: 68W30 68Q42 PDFBibTeX XMLCite \textit{M. Marin} et al., Lect. Notes Comput. Sci. 12328, 57--74 (2020; Zbl 1517.68425) Full Text: DOI
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore Connecting constrained constructor patterns and matching logic. (English) Zbl 1517.68157 Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 19-37 (2020). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{X. Chen} et al., Lect. Notes Comput. Sci. 12328, 19--37 (2020; Zbl 1517.68157) Full Text: DOI
Boy de la Tour, Thierry; Echahed, Rachid Combining parallel graph rewriting and quotient graphs. (English) Zbl 1517.68154 Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 1-18 (2020). MSC: 68Q42 PDFBibTeX XMLCite \textit{T. Boy de la Tour} and \textit{R. Echahed}, Lect. Notes Comput. Sci. 12328, 1--18 (2020; Zbl 1517.68154) Full Text: DOI
Aparicio-Sánchez, Damián; Escobar, Santiago; Gutiérrez, Raúl; Sapiña, Julia An optimizing protocol transformation for constructor finite variant theories in Maude-NPA. (English) Zbl 1511.94044 Chen, Liqun (ed.) et al., Computer security – ESORICS 2020. 25th European symposium on research in computer security, ESORICS 2020, Guildford, UK, September 14–18, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12309, 230-250 (2020). MSC: 94A60 68Q42 PDFBibTeX XMLCite \textit{D. Aparicio-Sánchez} et al., Lect. Notes Comput. Sci. 12309, 230--250 (2020; Zbl 1511.94044) Full Text: DOI
Gagie, Travis; I, Tomohiro; Manzini, Giovanni; Navarro, Gonzalo; Sakamoto, Hiroshi; Seelbach Benkner, Louisa; Takabatake, Yoshimasa Practical random access to SLP-compressed texts. (English) Zbl 1523.68029 Boucher, Christina (ed.) et al., String processing and information retrieval. 27th international symposium, SPIRE 2020, Orlando, FL, USA, October 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12303, 221-231 (2020). MSC: 68P30 68Q42 PDFBibTeX XMLCite \textit{T. Gagie} et al., Lect. Notes Comput. Sci. 12303, 221--231 (2020; Zbl 1523.68029) Full Text: DOI arXiv
Reh, Carl Philipp; Sieber, Kurt Navigating forest straight-line programs in constant time. (English) Zbl 1511.68105 Boucher, Christina (ed.) et al., String processing and information retrieval. 27th international symposium, SPIRE 2020, Orlando, FL, USA, October 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12303, 11-26 (2020). MSC: 68P05 68Q42 PDFBibTeX XMLCite \textit{C. P. Reh} and \textit{K. Sieber}, Lect. Notes Comput. Sci. 12303, 11--26 (2020; Zbl 1511.68105) Full Text: DOI
Vu, Martin; Fernau, Henning Insertion-deletion systems with substitutions. I. (English) Zbl 07633524 Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 366-378 (2020). MSC: 68Q42 68Q07 68Q45 PDFBibTeX XMLCite \textit{M. Vu} and \textit{H. Fernau}, Lect. Notes Comput. Sci. 12098, 366--378 (2020; Zbl 07633524) Full Text: DOI
Hien D. Nguyen; Sakama, Chiaki A new algorithm for computing least generalization of a set of atoms. (English) Zbl 1511.68313 Kazakov, Dimitar (ed.) et al., Inductive logic programming. 29th international conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11770, 81-97 (2020). MSC: 68V15 68Q42 PDFBibTeX XMLCite \textit{Hien D. Nguyen} and \textit{C. Sakama}, Lect. Notes Comput. Sci. 11770, 81--97 (2020; Zbl 1511.68313) Full Text: DOI
Cheon, Hyunjoon; Han, Yo-Sub Computing the shortest string and the edit-distance for parsing expression languages. (English) Zbl 07601060 Jonoska, Nataša (ed.) et al., Developments in language theory. 24th international conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12086, 43-54 (2020). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. Cheon} and \textit{Y.-S. Han}, Lect. Notes Comput. Sci. 12086, 43--54 (2020; Zbl 07601060) Full Text: DOI
Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian Towards multiple model synchronization with comprehensive systems. (English) Zbl 1507.68096 Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 335-356 (2020). MSC: 68N30 68Q42 PDFBibTeX XMLCite \textit{P. Stünkel} et al., Lect. Notes Comput. Sci. 12076, 335--356 (2020; Zbl 1507.68096) Full Text: DOI
Weidmann, Nils; Anjorin, Anthony Schema compliant consistency management via triple graph grammars and integer linear programming. (English) Zbl 1507.68162 Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 315-334 (2020). MSC: 68Q42 90C10 PDFBibTeX XMLCite \textit{N. Weidmann} and \textit{A. Anjorin}, Lect. Notes Comput. Sci. 12076, 315--334 (2020; Zbl 1507.68162) Full Text: DOI
Orejas, Fernando; Pino, Elvira; Navarro, Marisa Incremental concurrent model synchronization using triple graph grammars. (English) Zbl 1507.68095 Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 273-293 (2020). MSC: 68N30 68Q42 68Q85 PDFBibTeX XMLCite \textit{F. Orejas} et al., Lect. Notes Comput. Sci. 12076, 273--293 (2020; Zbl 1507.68095) Full Text: DOI
Clun, Donato; van Heerden, Phillip; Filieri, Antonio; Visser, Willem Improving symbolic automata learning with concolic execution. (English) Zbl 1507.68135 Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 3-26 (2020). MSC: 68Q32 68Q42 68Q45 PDFBibTeX XMLCite \textit{D. Clun} et al., Lect. Notes Comput. Sci. 12076, 3--26 (2020; Zbl 1507.68135) Full Text: DOI
Kociumaka, Tomasz; Navarro, Gonzalo; Prezza, Nicola Towards a definitive measure of repetitiveness. (English) Zbl 1525.68043 Kohayakawa, Yoshiharu (ed.) et al., Latin 2020: theoretical informatics. 14th Latin American symposium, São Paulo, Brazil, January 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12118, 207-219 (2020). MSC: 68P30 68Q42 PDFBibTeX XMLCite \textit{T. Kociumaka} et al., Lect. Notes Comput. Sci. 12118, 207--219 (2020; Zbl 1525.68043) Full Text: DOI
Finkel, Olivier On the high complexity of Petri nets \(\omega \)-languages. (English) Zbl 1503.68172 Janicki, Ryszard (ed.) et al., Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12152, 69-88 (2020). MSC: 68Q45 03D05 03E15 68Q85 PDFBibTeX XMLCite \textit{O. Finkel}, Lect. Notes Comput. Sci. 12152, 69--88 (2020; Zbl 1503.68172) Full Text: DOI
Capra, L. Graph transformation systems: a semantics based on (stochastic) symmetric nets. (English) Zbl 1502.68148 Pang, Jun (ed.) et al., Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12153, 35-51 (2020). MSC: 68Q42 68Q55 68Q85 PDFBibTeX XMLCite \textit{L. Capra}, Lect. Notes Comput. Sci. 12153, 35--51 (2020; Zbl 1502.68148) Full Text: DOI
Zöllner, Christian; Barkowsky, Matthias; Maximova, Maria; Schneider, Melanie; Giese, Holger A simulator for probabilistic timed graph transformation systems with complex large-scale topologies. (English) Zbl 1502.68162 Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 325-334 (2020). MSC: 68Q42 68-04 68Q60 68R10 PDFBibTeX XMLCite \textit{C. Zöllner} et al., Lect. Notes Comput. Sci. 12150, 325--334 (2020; Zbl 1502.68162) Full Text: DOI