MARIN Mircea

マリンミルチア | Marin Mircea

所属機関・部署：
職名：講師
ホームページURL (1件)： http://www.score.cs.tsukuba.ac.jp/~mmarin

研究分野 (2件)：知能情報学 , 情報学基礎論

研究キーワード (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

競争的資金等の研究課題 (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

学位 (2件)：

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

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る