المؤلفون: Jos C. M. Baeten, Cesare Carissimo, Bas Luttik

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

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

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/9178/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/5867e0feb44f4bfeb70c2b2b57957434

المؤلفون: Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik, Mathias R. Pedersen

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

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

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/7217/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/75bb540002794f1cb80b3055a1448262

المؤلفون: Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

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

مصطلحات موضوعية: computer science - formal languages and automata theory, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/7502/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/b824efb24604493aab342126669c263b

المؤلفون: Bas Luttik, Fei Yang

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

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

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/6047/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/e45819c99ab24d7e8a86ea7e5e89beee

المؤلفون: Rob van Glabbeek, Bas Luttik, Linda Spaninks

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

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

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/5768/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/9c1bdfeae3544269a137454b9b5b3f7e

المؤلفون: Jos Baeten, Bas Luttik, Fei Yang

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 255, Iss Proc. EXPRESS/SOS 2017, Pp 1-17 (2017)

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

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1709.02440v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/d54bdebd98914d86a1f7c642104e759e

المؤلفون: Matias David Lee, Bas Luttik

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 222, Iss Proc. EXPRESS/SOS 2016, Pp 45-59 (2016)

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

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1608.03128v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/bf455809fb3a421185d4c65664b62986

المؤلفون: Bas Luttik, Fei Yang

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 189, Iss Proc. ICE 2015, Pp 37-52 (2015)

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

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1508.04850v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/0cce102ac57242088fc428e2961bd95e

المؤلفون: Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 41, Iss Proc. EXPRESS 2010, Pp 1-15 (2010)

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

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1011.6429v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/0b8a6a1712414e8483575c0c88515452

المؤلفون: Rob van Glabbeek, Bas Luttik, Nikola Trcka

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

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

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/758/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/8b9b2624d7e842749137ec2e68f7f83c