Marin Mircea

マリンミルチア | Marin Mircea

Affiliation and department：
Job title： Assistant Professor
Homepage URL (1)： http://www.score.cs.tsukuba.ac.jp/~mmarin

Research field (2)： Intelligent informatics , Information theory

Research keywords (10)： tree automata , pattern matching , functional logic programming , rule-based programming , Theorem proving , tree automata , pattern matching , functional logic programming , rule-based programming , Theorem proving

Research theme for competitive and other funds (2)：

2005 - rule-based programming
2005 - rule-based programming

MISC (118)：

Factorizations of Regular Hedge Languages. Proceedings of SYNASC 2010. IEEE Computer Society. 2010. Order Number P3964. 307-314
Linear Systems for Regular Hedge Languages. Advances in Databases and Information Systems. Associated Workshops and Doctoral Consortium of ADBIS 2009. 2010. LNCS 5968. 104-112
Strategies in PρLog. 9th Intl Workshop on Reduction Strategies in Rewriting and Programming (WRS’09). Electronic Proceedings in Theoretical Computer Science. 2010. EPTCS 15. 32-43
Factorizations of Regular Hedge Languages. Proceedings of SYNASC 2010. IEEE Computer Society. 2010. Order Number P3964. 307-314
Linear Systems for Regular Hedge Languages. Advances in Databases and Information Systems. Associated Workshops and Doctoral Consortium of ADBIS 2009. 2010. LNCS 5968. 104-112

ｍore...

Professional career (2)：

Master of Science (University of Timisoara)
Doctor of Technical Sciences (RISC-Linz Institute, Johannes Kepler University)

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page