المؤلفون: Filippo Bonchi, Alessio Santamaria

المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 4 (2022)

مصطلحات موضوعية: computer science - logic in computer science, mathematics - logic, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/8389/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/bd73b1cdc68e4ddfb8947b09eccd1c2cTest

المؤلفون: Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 2 (2022)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/6261/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/ffe8292ac8a5439e899a18cfb428be54Test

المؤلفون: Filippo Bonchi, Alexandra Silva, Ana Sokolova

المصدر: Logical Methods in Computer Science, Vol Volume 17, Issue 3 (2021)

مصطلحات موضوعية: computer science - logic in computer science, f.3, g.3, f.1.2, d.2.4, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/6158/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/91e3e79a9d2d4701af9d1ed789259819Test

المؤلفون: Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König

المصدر: Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/4715/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/eb004f4f66ab400db24a48e1bd3e726dTest

المؤلفون: Andrés Aristizábal, Filippo Bonchi, Luis Pino, Frank Valencia

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 104, Iss Proc. ICE 2012, Pp 2-16 (2012)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: http://arxiv.org/pdf/1212.3874v1Test; https://doaj.org/toc/2075-2180Test

الوصول الحر: https://doaj.org/article/5199e5c2049d47baa9fc157349a942eeTest

المؤلفون: Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 18, Iss Proc. SOS 2009, Pp 46-61 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: http://arxiv.org/pdf/1002.2869v1Test; https://doaj.org/toc/2075-2180Test

الوصول الحر: https://doaj.org/article/744d2c9a5f98412abbb7639128c08293Test

المؤلفون: Filippo Bonchi, Fabio Zanasi

المصدر: Logical Methods in Computer Science, Vol Volume 11, Issue 1 (2015)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/1155/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/4fbf0655b7a3490886ff069b7b42f01bTest

المؤلفون: Alexandra Silva, Filippo Bonchi, Marcello Bonsangue, Jan Rutten

المصدر: Logical Methods in Computer Science, Vol Volume 9, Issue 1 (2013)

مصطلحات موضوعية: computer science - logic in computer science, f.3.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/1087/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/7747c35ce5c94244a1570ec33fc5f981Test

المؤلفون: Filippo Bonchi, Ugo Montanari

المصدر: Logical Methods in Computer Science, Vol Volume 7, Issue 2 (2011)

مصطلحات موضوعية: computer science - logic in computer science, f.3.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/671/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/e2b197af6ffb4ef09228ffe0dace7723Test

المؤلفون: Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

المساهمون: Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

مصطلحات موضوعية: String diagrams, Rewriting, Confluence

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000810289300001; volume:32; issue:7; firstpage:829; lastpage:869; numberofpages:41; journal:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; https://hdl.handle.net/11585/903811Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85149050400; https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/string-diagram-rewrite-theory-iii-confluence-with-and-without-frobenius/F6E1207A100A9F1CFB48FFBAEC785F61Test#

الإتاحة: https://doi.org/10.1017/S0960129522000123Test
https://hdl.handle.net/11585/903811Test
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/string-diagram-rewrite-theory-iii-confluence-with-and-without-frobenius/F6E1207A100A9F1CFB48FFBAEC785F61Test#