BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
arithmet (5)
realiz (2)
use (2)
tree (2)
count (1)

Stem peano$ (all stems)

7 papers:

RTARTA-2013-WinklerZM #automation #proving #sequence #termination
Beyond Peano Arithmetic — Automatically Proving Termination of the Goodstein Sequence (SW, HZ, AM), pp. 335–351.
TLCATLCA-2013-Blot #game studies
Realizability for Peano Arithmetic with Winning Conditions in HON Games (VB), pp. 77–92.
CSLCSL-2012-Aschieri #axiom #interactive
Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms (FA), pp. 31–45.
CSLCSL-2011-TatsutaB #commutative
Non-Commutative Infinitary Peano Arithmetic (MT, SB), pp. 538–552.
ICPRICPR-v4-2002-JhanwarCSZ #image #retrieval #using
Content Based Image Retrieval Using Optimum Peano Scan (NJ, SC, GS, BZ), pp. 130–133.
SACSAC-2002-DingDP #classification #data type #using
Decision tree classification of spatial data streams using Peano Count Trees (QD, QD, WP), pp. 413–417.
STOCSTOC-1979-ODonnell #independence #programming language #theorem
A Programming Language Theorem Which Is Independent of Peano Arithmetic (MO), pp. 176–188.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.