Advanced search: Search from
Select basic information for advanced search
| Free word |
|---|
| Details |   |
|---|---|
| Related links |  |
| Search |  |
Rchr
J-GLOBAL ID：200901063678116076
Update date: Dec. 18, 2024 Marin Mircea
マリン ミルチア | Marin Mircea
Clips
Former Institution / Organization University of Tsukuba Graduate School of Systems and Information Engineering
About Former Institution / Organization University of Tsukuba Graduate School of Systems and Information Engineering
Job title： Assistant Professor
Homepage URL (1)： http://www.score.cs.tsukuba.ac.jp/~mmarin
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
- 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
- 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
