×

Found 9,523 Documents (Results 1–100)

SCL(EQ): SCL for first-order logic with equality. (English) Zbl 07628190

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, 228-247 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. (English) Zbl 1499.68008

Lecture Notes in Computer Science 13252. Cham: Springer (ISBN 978-3-031-12440-2/pbk; 978-3-031-12441-9/ebook). viii, 295 p. (2022).
MSC:  68-06 68Q42 00B25
PDF BibTeX XML Cite
Full Text: DOI

On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs. (English) Zbl 07570125

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, 262-281 (2022).
MSC:  03B35
PDF BibTeX XML Cite
Full Text: DOI

Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. (English) Zbl 1499.68009

Lecture Notes in Computer Science 13349. Cham: Springer (ISBN 978-3-031-09842-0/pbk; 978-3-031-09843-7/ebook). xii, 207 p. (2022).
MSC:  68-06 68Q42 00B25
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI

Pattern eliminating transformations. (English) Zbl 07496642

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 74-92 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI Link

Confluence and commutation for nominal rewriting systems with atom-variables. (English) Zbl 07496641

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 56-73 (2021).
MSC:  68N30
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software