Follow
Mircea Marin
Title
Cited by
Cited by
Year
A survey of the Theorema project
B Buchberger, T Jebelean, F Kriftner, M Marin, E Tomuţa, D Văsaru
Proceedings of the 1997 international symposium on Symbolic and algebraic …, 1997
1651997
Foundations of the rule-based system ρLog
M Marin, T Kutsia
Journal of Applied Non-Classical Logics 16 (1-2), 151-168, 2006
382006
Computational origami system Eos
T Ida, H Takahashi, M Marin, A Kasem, F Ghourabi
4th International Conference on Origami, Science, Mathematics and Education, 69, 2006
322006
Computational construction of a maximum equilateral triangle inscribed in an origami
T Ida, H Takahashi, M Marin, F Ghourabi, A Kasem
Mathematical Software-ICMS 2006: Second International Congress on …, 2006
292006
Matching with regular constraints
T Kutsia, M Marin
LPAR 2005, 215-229, 2005
292005
Logical and algebraic view of Huzita's origami axioms with applications to computational origami
F Ghourabi, T Ida, H Takahashi, M Marin, A Kasem
Proceedings of the 2007 ACM symposium on Applied computing, 767-772, 2007
272007
CFLP: a Mathematica implementation of a distributed constraint solving system
M Marin, T Ida, W Schreiner
The Mathematica Journal 8 (2), 287-300, 2001
27*2001
Functional logic programming with distributed constraint solving
M Marin
Schloss Hagenberg, RISC-Linz, 2000
232000
Can Context Sequence Matching Be Used for XML Querying?
T Kutsia, M Marin
UNIF 2005 5, 77-95, 2005
222005
Strategies in PRholog
B Dundua, T Kutsia, M Marin
WRS 2009, arXiv preprint arXiv:1001.4434, 32-43, 2010
192010
On the implementation of a rule-based programming system and some of its applications
M Marin, T Kutsia
WIL 2003, 55-68, 2003
192003
Modeling origami for computational construction and beyond
T Ida, H Takahashi, M Marin, F Ghourabi
Computational Science and Its Applications–ICCSA 2007: International …, 2007
182007
Rule-based programming with Mathematica
M Marin, F Piroi
IMS 2004, 2004
182004
Programming with Sequence Variables: the Sequentica Package
M Marin, D Tepeneu
Challenging The Boundaries Of Symbolic Computation: (With CD-ROM), 17-24, 2003
172003
Collaborative constraint functional logic programming system in an open environment
N Kobayashi, M Marin, T Ida
IEICE Transactions on Information and Systems 86 (1), 63-70, 2003
172003
Solving, Reasoning, and Programming in Common Logic
T Kutsia, M Marin
SYNASC 2012, 119-126, 2012
162012
E-origami system Eos
A Kasem, T Ida, H Takahashi, M Marin, F Ghourabi
Proceedings of the Annual Symposium of Japan Society for Software Science …, 2006
142006
Cooperative constraint functional logic programming
M Marin, T Ida, T Suzuki
Proceedings International Symposium on Principles of Software Evolution, 214-220, 2000
142000
New completeness results for lazy conditional narrowing
M Marin, A Middeldorp
PPDP 2004, 120-131, 2004
122004
On reducing the search space of higher-order lazy narrowing
M Marin, T Ida, T Suzuki
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 …, 1999
111999
The system can't perform the operation now. Try again later.
Articles 1–20