×

Found 175 Documents (Results 1–100)

100
MathJax

Pushouts in the category Seg of Segal topological algebras. (English) Zbl 07460053

Abel, Mart (ed.), Proceedings of the international conference on topological algebras and their applications, ICTAA 2021. In the memory of late Professor Mohamed (Hha) Oudadess, virtual conference, July 7–9, 2021. Tartu: Estonian Mathematical Society. Math. Stud., Tartu 8, 21-29 (2021).
MSC:  46H05 18A30 46M05
PDF BibTeX XML Cite

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

Algebraic geometry over \(C^\infty \)-rings. (English) Zbl 1431.14001

Memoirs of the American Mathematical Society 1256. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3645-2/pbk; 978-1-4704-5336-7/ebook). v, 139 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the essence and initiality of conflicts. (English) Zbl 1394.68195

Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 99-117 (2018).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. (English) Zbl 1383.68042

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, 1-18 (2018).
MSC:  68Q42 18A30 68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

The Seifert-van Kampen theorem in homotopy type theory. (English) Zbl 1370.03015

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 22, 16 p. (2016).
MSC:  03B15 03B35 03G30 55U40
PDF BibTeX XML Cite
Full Text: DOI

A software package for chemically inspired graph transformation. (English) Zbl 1344.68105

Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 73-88 (2016).
MSC:  68Q42 68Q45 92E20
PDF BibTeX XML Cite
Full Text: DOI arXiv

A categorical theory of patches. (English) Zbl 1334.68138

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 283-307 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Adhesivity is not enough: local Church-Rosser revisited. (English) Zbl 1343.68126

Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 48-59 (2011).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

On the spectrum of the algebra of singular integral operators with discontinuities in symbols in momenta and coordinates. (English. Russian original) Zbl 1226.47104

J. Math. Sci., New York 172, No. 4, 477-531 (2011); translation from Probl. Mat. Anal. 53, 49-94 (2010).
MSC:  47L80 47G10 42A50
PDF BibTeX XML Cite
Full Text: DOI

A logic on subobjects and recognizability. (English) Zbl 1198.68161

Calude, Christian S. (ed.) et al., Theoretical computer science. 6th IFIP WG 2.2 international conference, TCS 2010, held as a Part of the World Computer Congress (WCC 2010), Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15239-9/hbk; 978-3-642-15240-5/ebook). IFIP Advances in Information and Communication Technology 323, 197-212 (2010).
MSC:  68Q45 68T27
PDF BibTeX XML Cite
Full Text: DOI

Context for models of concurrency. (English) Zbl 1338.68201

Goubault, Eric (ed.), Proceedings of the workshops on geometric and topological methods in concurrency theory (GETCO 2004, 2005, 2006), Amsterdam, The Netherlands 2004, San Francisco, CA, USA 2005, Bonn, Germany 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 230, 3-21 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

RPO, second-order contexts, and \(\lambda \)-calculus. (English) Zbl 1139.68040

Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 334-349 (2008).
MSC:  68Q85 03B40 18A30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Modeling pointer redirection as cyclic term-graph rewriting. (English) Zbl 1278.68076

Mackie, Ian (ed.), Proceedings of the 3rd international workshop on term graph rewriting (TERMGRAPH 2006), Vienna, Austria, April 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 1, 65-84 (2007).
MSC:  68P05 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Contextual hypergraph grammars – a new approach to the generation of hypergraph languages. (English) Zbl 1227.68039

Ibarra, Oscar H. (ed.) et al., Developments in language theory. 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26–29, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35428-X/pbk). Lecture Notes in Computer Science 4036, 327-338 (2006).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

Flat cover and cotorsion envelope commute. (English) Zbl 1121.16003

Chen, J.L. (ed.) et al., Advances in ring theory. Proceedings of the 4th China-Japan-Korea international conference, Nanjing, China, June 24–28, 2004. Hackensack, NJ: World Scientific (ISBN 981-256-425-X). 199-208 (2005).
MSC:  16D40 16S90 18G05
PDF BibTeX XML Cite

Bigraphs meet double pushouts. (English) Zbl 1063.68072

Păun, G. (ed.) et al., Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific (ISBN 981-238-965-2/hbk; 981-238-783-8/set). 27-40 (2004).
MSC:  68Q65 68Q85
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software