On a polynomial representation of λβ normal forms

In Kuno Lorenz (ed.), Konstruktionen Versus Positionen: Beiträge Zur Diskussion Um Die Konstruktive Wissenschaftstheorie. Bd 1: Spezielle Wissenschaftstheorie. Bd 2: Allgemeine Wissenschaftstheorie. Paul Lorenzen Zum 60. Geburtstag. New York: De Gruyter. pp. 94-98 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9783110875560-009

Links

PhilArchive



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

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

Proving theorems of the second order Lambek calculus in polynomial time.Erik Aarts - 1994 - Studia Logica 53 (3):373 - 387.
On the non-confluence of cut-elimination.Matthias Baaz & Stefan Hetzl - 2011 - Journal of Symbolic Logic 76 (1):313 - 340.
On the lattices of NP-subspaces of a polynomial time vector space over a finite field.Anil Nerode & J. B. Remmel - 1996 - Annals of Pure and Applied Logic 81 (1-3):125-170.
On normal forms in Łukasiewicz logic.A. Di Nola & A. Lettieri - 2004 - Archive for Mathematical Logic 43 (6):795-823.
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.
All Proper Normal Extensions of S5-square have the Polynomial Size Model Property.Nick Bezhanishvili & Maarten Marx - 2003 - Studia Logica 73 (3):367-382.
All proper normal extensions of s5-square have the polynomial size model property.Nick Bezhanishvili & Maarten Marx - 2003 - Studia Logica 73 (3):367 - 382.
Short Rational Functions for Toric Algebra and Applications.De Loera Jesus, Haws David, Hemmecke Raymond, Huggins Peter, Sturmfels Bernd & Yoshida Ruriko - unknown
Minimizing disjunctive normal forms of pure first-order logic.Timm Lampert - 2017 - Logic Journal of the IGPL 25 (3):325-347.
Categorifications of the colored Jones polynomial.Khovanov Mikhail - unknown
Matrix factorizations and link homology.Khovanov Mikhail & Rozansky Lev - unknown
The Minimum Period of the Ehrhart Quasi-polynomial of a Rational Polytope.B. McAllister Tyrrell & M. Woods Kevin - unknown
Complexity, Decidability and Completeness.Douglas Cenzer & Jeffrey B. Remmel - 2006 - Journal of Symbolic Logic 71 (2):399 - 424.
The polynomial hierarchy for some structures over the binary words.Herwig Nübling - 2007 - Mathematical Logic Quarterly 53 (1):43-51.
Polynomial time ultrapowers and the consistency of circuit lower bounds.Jan Bydžovský & Moritz Müller - 2020 - Archive for Mathematical Logic 59 (1-2):127-147.

Analytics

Added to PP
2020-06-17

Downloads
3 (#1,706,939)

6 months
2 (#1,187,206)

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