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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,667

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

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.
Lecture notes on term rewriting and computational complexity.Harvey Friedman - manuscript
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.
Compositionality, Computability, and Complexity.Peter Pagin - 2021 - Review of Symbolic Logic 14 (3):551-591.
Modeling complexity in musical rhythm.Cheng-Yuan Liou, Tai-Hei Wu & Chia-Ying Lee - 2010 - Complexity 15 (4):NA-NA.
A lexicographic path order with slow growing derivation bounds.Naohi Eguchi - 2009 - Mathematical Logic Quarterly 55 (2):212-224.
Stephen Bellantoni and Stephen Cook. A new recursion-theoretic characterization of the polytime functions. Computational complexity, vol. 2 , pp. 97–110. - Arnold Beckmann and Andreas Weiermann. A term rewriting characterization of the polytime functions and related complexity classes. Archive for mathematical logic, vol. 36 , pp. 11–30. [REVIEW]Karl-Heinz Niggl - 2000 - Bulletin of Symbolic Logic 6 (3):351-353.
Automata, Languages and Programming.Michael S. Paterson - 1990 - Springer.
Truth theories, competence, and semantic computation.Peter Pagin - 2012 - In Gerhard Preyer (ed.), Donald Davidson on truth, meaning, and the mental. Oxford: Oxford University Press. pp. 49.
Introduction to Complexity and Complex Systems.Robert B. Northrop - 2010 - Taylor & Francis.

Analytics

Added to PP
2014-03-18

Downloads
43 (#523,082)

6 months
43 (#106,383)

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