Christoph Lüth  Home/Search
Context
Related
| lfcs.inf.ed.ac.uk/...LFCS98396.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: lfcs.inf.ed.ac.uk/reports...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Term rewriting systems are widely used throughout computer science as they provide an abstract model of computation while retaining a comparatively simple syntax and semantics. In order to reason within large term rewriting systems, structuring operations are used to build large term rewriting systems from smaller ones. Of particular interest is whether key properties are modular, that is, if the components of a structured term rewriting system satisfy a property, then does the term rewriting... (Update)
Similar documents based on text: More All
0.1: Coalgebraic Monads - Ghani, Lüth, De Marchi (2002) (Correct)
0.1: Monads and Modularity - Lüth, Ghani (Correct)
0.1: Algebras, Coalgebras, Monads and Comonads - Ghani, Lüth, de Marchi, Power (2001) (Correct)
BibTeX entry: (Update)
@misc{ th-categorical,
author = "Christoph Lüth",
title = "Categorical Term Rewriting: Monads and Modularity",
url = "citeseer.ist.psu.edu/696778.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1990
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
474 Term rewriting systems - Klop - 1992
384 Simple word problems in universal algebra (context) - Knuth, Bendix - 1970
359 Introduction to Higher Order Categorical Logic (context) - Lambek, Scott - 1986
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
291 Computational lambda-calculus and monads - Moggi - 1989
234 Institutions: Abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
198 Toward formal development of programs from algebraic specifi.. - Sannella, Soko et al. - 1992
177 Fundamentals of Algebraic Specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
156 Basic Concepts of Enriched Category Theory (context) - Kelly - 1982
116 Ideas and results in proof theory (context) - Prawitz - 1971
99 volume 5 of Graduate Texts in Mathematics (context) - Lane, the et al. - 1971
83 Counterexamples to termination for the direct sum of term re.. (context) - Toyama - 1987
80 Review of the elements of 2-categories (context) - Kelly, Street - 1972
[Article contains additional citations not shown here]
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