Miguel Palomino Tarjuelo  Home/Search
Context
Related
Links: DBLP | informatik.unikiel.de/~...paper8.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.unikiel.de/~w...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Meseguer's rewriting logic and the rewriting logic CRWL are two well known approaches to rewriting as logical deduction that, despite some clear similarities, were designed with different objectives. (Update)
Active bibliography (related documents): More All
1.2: Rewriting Logic: Roadmap and Bibliography - Martí-Oliet, Meseguer (2001) (Correct)
0.5: Foundations of Heterogeneous Specification - Mossakowski (Correct)
0.4: Maude: Specification and Programming in Rewriting Logic - Clavel, Durán.. (2001) (Correct)
Similar documents based on text: More All
1.0: A Rewriting Logic for Declarative Programming - González-Moreno.. (1995) (Correct)
0.9: A Computational Model for Functional Logic Deductive.. -.. (2001) (Correct)
0.6: A Higher Order Rewriting Logic for Functional Logic.. -.. (1997) (Correct)
BibTeX entry: (Update)
@misc{ tarjuelo-comparing,
author = "Miguel Palomino Tarjuelo",
title = "Comparing Meseguer's Rewriting Logic with the Logic CRWL",
url = "citeseer.ist.psu.edu/palominotarjuelo01comparing.html" }
Citations (may not include all citations):299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992 ACM
127 General logics (context) - Meseguer - 1989
94 Maude: Specification and programming in rewriting logic - Clavel, Dur'an et al. - 2001 DBLP
69 Membership algebra as a logical framework for equational spe.. - Meseguer ACM DBLP
46 Rewriting as a unified model of concurrency (context) - Meseguer
13 Reflection in Rewriting Logic: Metalogical Foundations and M.. (context) - Clavel - 2000
11 An approach to declarative programming based on a rewriting .. (context) - Gonz'alez-Moreno, Hortal'a-Gonz'alez et al. - 1999 DBLP
7 Reflection in General Logics and in Rewriting Logic (context) - Clavel - 1998
6 A Reflective Module Algebra with Applications to the Maude L.. (context) - Dur'an - 1999
5 Reflection in conditional rewriting logic (context) - Clavel, Meseguer - 2001 ACM DBLP
2 Relating Meseguer's rewriting logic with the constructorbase.. (context) - Tarjuelo - 2001
2 Theoretical Computer Science (context) - Diaconescu, Futatsugi et al. - 2001
1 Modularidad en Programaci'on L'ogico-Funcional de Primer Ord.. (context) - Molina-Bravo - 2000
1 A general framework for lazy functional logic programming wi.. (context) - Arenas-S'anchez, Rodr'iguez-Artalejo - 2001 ACM
1 LudwigMaximilians -Universitat Munchen (context) - Cengarle, logic et al. - 1998
Documents on the same site (http://www.informatik.uni-kiel.de/~wflp2001/proceedings/index.html): More
Adding Functional Programming into the Holo Language - Bois, Barbosa, Geyer (2001) (Correct)
An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) (Correct)
Solving Cardinality Constraints in (Constraint) Logic Programming - Seipel, Geske (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC