×

Found 5,555 Documents (Results 1–100)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

\(\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).
MSC:  68Q45 03D05
PDFBibTeX XMLCite
Full Text: DOI

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software