Reflection in conditional rewriting logic
type: Item
instance of: scholarly article
title: Reflection in conditional rewriting logic
zbMATH Open document ID: 1001.68060
DOI: 10.1016/S0304-3975(01)00360-7
author: José Meseguer
author: M. Clavel
published in: Theoretical Computer Science
publication date: 2002-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1780622
zbMATH Keywords: reflection
zbMATH Keywords: reflective logics
zbMATH Keywords: universal theory
zbMATH Keywords: rewriting logic
zbMATH Keywords: reflective conditional rewriting logic
describes a project that uses: Refal
describes a project that uses: ELAN
describes a project that uses: Maude
MaRDI profile type: Publication
cites work: Metalogical frameworks. II: Developing a reflected decision procedure
cites work: Q4472433
cites work: Q4223001
cites work: Specification and proof in membership equational logic
cites work: Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
cites work: Q4222979
cites work: Maude: specification and programming in rewriting logic
cites work: Towards Maude 2. 0
cites work: Polytypic programming in Maude
cites work: Q4222856
cites work: Q4385532
cites work: Q2767191
cites work: Q3737481
cites work: Q4844168
cites work: Q3138833
cites work: IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
cites work: Q4698614
cites work: Q3032225
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q3839051
cites work: Metamathematics, Machines and Gödel's Proof
cites work: On degrees of unsolvability
cites work: Q4309515
cites work: The concept of a supercompiler
cites work: Prolegomena to a theory of mechanized formal reasoning
description: scientific article; zbMATH DE number 1780622