×

Found 92 Documents (Results 1–92)

100
MathJax

Adhesive subcategories of functor categories with instantiation to partial triple graphs. (English) Zbl 1429.68089

Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 38-54 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Double-pushout rewriting in context: rule composition and parallel independence. (English) Zbl 1429.68091

Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 21-37 (2019).
MSC:  68Q42 18A30 18A35
PDF BibTeX XML Cite
Full Text: DOI

Initial conflicts and dependencies: critical pairs revisited. (English) Zbl 1383.68045

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 105-123 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Solving fixed point equations over complete semirings. (English) Zbl 1395.16050

Konstantinidis, Stavros (ed.) et al., The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific (ISBN 978-981-3148-19-2/hbk; 978-981-3148-21-5/ebook). 33-58 (2017).
MSC:  16Y60 68Q42
PDF BibTeX XML Cite
Full Text: DOI

\(\mathcal M, \mathcal N\)-adhesive transformation systems. (English) Zbl 1367.68135

Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 218-233 (2012).
PDF BibTeX XML Cite
Full Text: DOI

A general attribution concept for models in \({\mathcal M}\)-adhesive transformation systems. (English) Zbl 1367.68133

Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 187-202 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Multi-amalgamation in adhesive categories. (English) Zbl 1306.68071

Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 346-361 (2010).
MSC:  68Q42 18A30 18A35
PDF BibTeX XML Cite
Full Text: DOI Link

Finitary \(\mathcal{M}\)-adhesive categories. (English) Zbl 1306.68121

Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 234-249 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Rewriting as a special case of noncommutative Gröbner bases theory for the affine Weyl group \(\widetilde A_n\). (English) Zbl 1213.20037

Albu, Toma (ed.) et al., Ring and module theory. Selected papers of the international conference, Ankara, Turkey, August 18–22, 2008. Basel: Birkhäuser (ISBN 978-3-0346-0006-4/hbk). Trends in Mathematics, 73-81 (2010).
PDF BibTeX XML Cite

Rewriting as a special case of non-commutative Gröbner basis theory. (English) Zbl 0996.16034

Atkinson, Michael (ed.) et al., Computational and geometric aspects of modern algebra. Proceedings of the workshop, Edinburgh, UK, July 23-31, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 275, 101-105 (2000).
PDF BibTeX XML Cite
Full Text: arXiv

Automatic monoids versus monoids with finite convergent presentations. (English) Zbl 0914.20052

Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 32-46 (1998).
PDF BibTeX XML Cite

Theorem proving with group presentations: examples and questions. (English) Zbl 1412.68243

McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 358-372 (1996).
MSC:  68T15 20F05 20F10 68Q42 68W30
PDF BibTeX XML Cite
Full Text: DOI

Rewriting systems and groups. (English) Zbl 0924.20025

Seddighi, K. (ed.), Proceedings of the 27th annual Iranian mathematics conference, Shiraz, Iran, March 27–30, 1996. Shiraz: Shiraz University, Dept. of Mathematics, 167-176 (1996).
MSC:  20F05 68Q42 20F65
PDF BibTeX XML Cite

String rewriting – a survey for group theorists. (English) Zbl 0833.20037

Niblo, Graham A. (ed.) et al., Geometric group theory. Volume 1. Proceedings of the symposium held at the Sussex University, Brighton (UK), July 14-19, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 181, 37-47 (1993).
PDF BibTeX XML Cite

The geometry of rewriting systems: A proof of the Anick-Groves-Squier theorem. (English) Zbl 0764.20016

Algorithms and classification in combinatorial group theory, Lect. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 23, 137-163 (1992).
PDF BibTeX XML Cite

Penrose diagrams and 2-dimensional rewriting. (English) Zbl 0789.18004

Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 191-201 (1992).
MSC:  18B05 68Q42 18D10
PDF BibTeX XML Cite

Strong categorical datatypes. I. (English) Zbl 0792.18008

Seely, R. A. G. (ed.), Category theory 1991. Proceedings of an international summer category theory meeting, held in Montréal, Québec, Canada, June 23-30, 1991. Providence, RI: American Mathematical Society. CMS Conf. Proc. 13, 141-169 (1992).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software