المؤلفون: 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

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

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

مصطلحات موضوعية: Discrete mathematics, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Finite-state machine, Interleaving, Formal Languages and Automata Theory (cs.FL), Modulo, lcsh:Mathematics, Computer Science - Formal Languages and Automata Theory, Star (graph theory), lcsh:QA1-939, lcsh:QA75.5-76.95, Logic in Computer Science (cs.LO), Computer Science::Logic in Computer Science, Quantum finite automata, F.4.1, Regular expression, Nondeterministic finite automaton, F.1.2, F.1.1, lcsh:Electronic computers. Computer science, Generalized star height problem, Computer Science::Formal Languages and Automata Theory, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b3604431258cf86e7fab210a52433b98
https://doaj.org/article/0b8a6a1712414e8483575c0c88515452

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

المساهمون: Directie, ILLC (FNWI), Logic and Computation (ILLC, FNWI/FGw), Theoretical Computer Science, Network Institute, Software and Sustainability (S2), Formal System Analysis

المصدر: Mathematical Structures in Computer Science, Firstview
Baeten, J C M, Luttik, B, Muller, T & van Tilburg, P 2010, Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition. in Proceedings of the 17th Workshop on Expressiveness in Concurrency . Electronic Proceedings in Theoretical Computer Science, pp. 1-15, EXPRESS'10, 1/01/10 .
Mathematical Structures in Computer Science, 26(6), 933-968. Cambridge University Press
Proceedings of the 17th Workshop on Expressiveness in Concurrency, 1-15
STARTPAGE=1;ENDPAGE=15;TITLE=Proceedings of the 17th Workshop on Expressiveness in Concurrency
Mathematical Structures in Computer Science, 26(6), 933-968

مصطلحات موضوعية: Discrete mathematics, Finite-state machine, Interleaving, Modulo, Binary number, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Composition (combinatorics), Star (graph theory), 01 natural sciences, Computer Science Applications, Mathematics (miscellaneous), 010201 computation theory & mathematics, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Regular expression, Computer Science::Formal Languages and Automata Theory, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2655418b2e5d48de9c50f1084b72c276
https://ir.cwi.nl/pub/23313