×

Found 1,218 Documents (Results 1–100)

A category of surface-embedded graphs. (English) Zbl 07813621

Master, Jade (ed.) et al., Proceedings of the fifth international conference on applied category theory, ACT 2022, Glasgow, United Kingdom, July 18–22, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 380, 41-62 (2023).
MSC:  68-XX
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

Towards a taxonomy for reversible computation approaches. (English) Zbl 07786593

Kutrib, Martin (ed.) et al., Reversible computation. 15th international conference, RC 2023, Giessen, Germany, July 18–19, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13960, 24-39 (2023).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI

A strict constrained superposition calculus for graphs. (English) Zbl 07770335

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, 135-155 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Parity permutation pattern matching. (English) Zbl 07770307

Lin, Chun-Cheng (ed.) et al., WALCOM: algorithms and computation. 17th international conference and workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13973, 384-395 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

On word-representable and multi-word-representable graphs. (English) Zbl 07766941

Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 156-167 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Looking at Euler flows through a contact mirror: universality and undecidability. (English) Zbl 07763397

Hujdurović, Ademir (ed.) et al., European congress of mathematics. Proceedings of the 8th congress, 8ECM, Portorož, Slovenia, June 20–26, 2021. Berlin: European Mathematical Society (EMS). 367-393 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards mechanised proofs in double-pushout graph transformation. (English) Zbl 07806734

Heckel, Reiko (ed.) et al., Proceedings of the thirteenth international workshop on graph computation models, GCM, Nantes, France, July 6, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 374, 59-75 (2022).
MSC:  68-XX 05-XX
PDFBibTeX XMLCite
Full Text: arXiv Link

A foundation for functional graph programs: the graph transformation control algebra (GTA). (English) Zbl 07806733

Heckel, Reiko (ed.) et al., Proceedings of the thirteenth international workshop on graph computation models, GCM, Nantes, France, July 6, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 374, 45-58 (2022).
MSC:  68-XX 90-XX
PDFBibTeX XMLCite
Full Text: arXiv Link

Tracelet Hopf algebras and decomposition spaces (extended abstract). (English) Zbl 07804590

Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 323-337 (2022).
MSC:  16T30 16T05 05C99
PDFBibTeX XMLCite
Full Text: arXiv Link

Avoid one’s doom: finding cliff-edge configurations in Petri nets. (English) Zbl 07802079

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, 178-193 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: arXiv Link

A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs. (English) Zbl 07793030

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 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. 13242, 205-224 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software