Complexity analysis of term rewriting systems

&
Complexity (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Lecture notes on term rewriting and computational complexity.Harvey Friedman - manuscript
Introduction to Complexity and Complex Systems.Robert B. Northrop - 2010 - Taylor & Francis.
Term Rewriting Systems.Jürgen Giesl - 2004 - Bulletin of Symbolic Logic 10 (2):223-225.
Termination and confluence in infinitary term rewriting.P. H. Rodenburg - 1998 - Journal of Symbolic Logic 63 (4):1286-1296.
Chapter 1: Term rewriting systems.J. W. Klop - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. pp. 1--116.
A term rewriting characterization of the polytime functions and related complexity classes.Arnold Beckmann & Andreas Weiermann - 1996 - Archive for Mathematical Logic 36 (1):11-30.
A lexicographic path order with slow growing derivation bounds.Naohi Eguchi - 2009 - Mathematical Logic Quarterly 55 (2):212-224.
On Systems Thinking and the Systems Approach.Asterios G. “Stell” Kefalas - 2011 - World Futures 67 (4-5):343 - 371.
Cdiprover3: A tool for proving derivational complexities of term rewriting systems.Andreas Schnabl - 2010 - In T. Icard & R. Muskens (eds.), Interfaces: Explorations in Logic, Language and Computation. Springer Berlin. pp. 142--154.
Deciding confluence of certain term rewriting systems in polynomial time.Guillem Godoy, Ashish Tiwari & Rakesh Verma - 2004 - Annals of Pure and Applied Logic 130 (1-3):33-59.
Redundant complexity: A critical analysis of intelligent design in biochemistry.Niall Shanks & Karl H. Joplin - 1999 - Philosophy of Science 66 (2):268-282.
Modeling complexity in musical rhythm.Cheng-Yuan Liou, Tai-Hei Wu & Chia-Ying Lee - 2010 - Complexity 15 (4):NA-NA.
Synthetic analysis: How science combats complexity.Sunny Auyang - manuscript
Types of I -free hereditary right maximal terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.
The compatibility of complex systems and reduction: A case analysis of memory research. [REVIEW]William Bechtel - 2001 - Minds and Machines 11 (4):483-502.

Analytics

Added to PP
2014-03-18

Downloads
43 (#369,055)

6 months
1 (#1,467,486)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references