Strongly polynomial sequences as interpretations

, &
Journal of Applied Logic 18:129-149 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2016.06.001

Links

PhilArchive



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

External links

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

Polynomial games and determinacy.Tomoyuki Yamakami - 1996 - Annals of Pure and Applied Logic 80 (1):1-16.
The Minimum Period of the Ehrhart Quasi-polynomial of a Rational Polytope.B. McAllister Tyrrell & M. Woods Kevin - unknown
Proofs of regular identities.Ewa Graczynska & Francis Pastijn - 1981 - Bulletin of the Section of Logic 10 (1):35-37.
The polynomial hierarchy for some structures over the binary words.Herwig Nübling - 2007 - Mathematical Logic Quarterly 53 (1):43-51.
On Nondeterminism, Enumeration Reducibility and Polynomial Bounds.Kate Copestake - 1997 - Mathematical Logic Quarterly 43 (3):287-310.
Le Probleme des Grandes Puissances et Celui des Grandes Racines.Natacha Portier - 2000 - Journal of Symbolic Logic 65 (4):1675-1685.
Le problème Des granDes puissances et celui Des granDes racines.Natacha Portier - 2000 - Journal of Symbolic Logic 65 (4):1675-1685.
Multifunction algebras and the provability of PH↓.Chris Pollett - 2000 - Annals of Pure and Applied Logic 104 (1-3):279-303.
Machines Over the Reals and Non‐Uniformity.Felipe Cucker - 1997 - Mathematical Logic Quarterly 43 (2):143-157.
On polynomial time computation over unordered structures.Andreas Blass, Yuri Gurevich & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1093-1125.
Light affine lambda calculus and polynomial time strong normalization.Kazushige Terui - 2007 - Archive for Mathematical Logic 46 (3-4):253-280.
Divisibility of twisted Alexander polynomials and fibered knots.Teruaki Kitano & Takayuki Morifuji - 2005 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 4 (1):179-186.
Polynomial clone reducibility.Quinn Culver - 2014 - Archive for Mathematical Logic 53 (1-2):1-10.
A theory of probability.T. V. Reeves - 1988 - British Journal for the Philosophy of Science 39 (2):161-182.
Polynomial local search in the polynomial hierarchy and witnessing in fragments of bounded arithmetic.Arnold Beckmann & Samuel R. Buss - 2009 - Journal of Mathematical Logic 9 (1):103-138.

Analytics

Added to PP
2018-09-11

Downloads
15 (#939,976)

6 months
6 (#509,125)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A logician's view of graph polynomials.J. A. Makowsky, E. V. Ravve & T. Kotek - 2019 - Annals of Pure and Applied Logic 170 (9):1030-1069.

Add more citations

References found in this work

No references found.

Add more references