An Overview of P $$\rho $$ Log-Reference-Cited by-同舟云学术

An Overview of P $$\rho $$ Log

Published:2016-12-17 Issue: Volume: Page:34-49
ISSN:0302-9743
Container-title:Practical Aspects of Declarative Languages
language:
Short-container-title:

Author:

Dundua Besik,Kutsia Temur,Reisenberger-Hagmayer Klaus

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-51676-9_3

Reference24 articles.

1. Lecture Notes in Computer Science;E Balland,2007

2. Belkhir, W., Giorgetti, A., Lenczner, M.: A symbolic transformation language and its application to a multiscale method. J. Symb. Comput. 65, 49–78 (2014)

3. Borovanský, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Vittek, M.: Elan: a logical framework based on computational systems. ENTCS 4, 35–50 (1996)

4. Caseau, Y., Josset, F., Laburthe, F.: CLAIRE: combining sets, search and rules to better express algorithms. TPLP 2(6), 769–805 (2002)

5. Cirstea, H., Kirchner, C.: The rewriting calculus - parts I and II. Logic J. IGPL 9(3), 339–410 (2001)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Variadic equational matching in associative and commutative theories;Journal of Symbolic Computation;2021-09

2. A Rule-Based System for Computation and Deduction in Mathematica;Rewriting Logic and Its Applications;2020

3. A Strategic Graph Rewriting Model of Rational Negligence in Financial Markets;Applications of Mathematics and Informatics in Natural Sciences and Engineering;2020

4. Extending the $$\rho $$Log Calculus with Proximity Relations;Applications of Mathematics and Informatics in Natural Sciences and Engineering;2020

5. Variadic Equational Matching;Lecture Notes in Computer Science;2019