Author:
Kutsia Temur,Marin Mircea
Publisher
Springer Berlin Heidelberg
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Rule-Based System for Computation and Deduction in Mathematica;Rewriting Logic and Its Applications;2020
2. An Overview of P $$\rho $$ Log;Practical Aspects of Declarative Languages;2016-12-17
3. A Constraint Solver for Equations over Sequences and Contexts;Advanced Computational Methods for Knowledge Engineering;2016
4. CLP(H):Constraint logic programming for hedges;Theory and Practice of Logic Programming;2015-04-16
5. Regular expression order-sorted unification and matching;Journal of Symbolic Computation;2015-03