BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
4 × USA
Collaborated with:
D.Joseph M.Machtey V.Berzins J.Ge Luqi
Talks about:
polynomi (2) comput (2) model (2) represent (1) hierarchi (1) heterogen (1) translat (1) structur (1) properti (1) independ (1)

Person: Paul Young

DBLP DBLP: Young:Paul

Contributed to:

SAC 20022002
STOC 19831983
STOC 19811981
STOC 19801980
STOC 19761976

Wrote 5 papers:

SAC-2002-YoungBGL #difference #object-oriented #using
Using an object oriented model for resolving representational differences between heterogeneous systems (PY, VB, JG, L), pp. 976–983.
STOC-1983-Young #polynomial #set
Some Structural Properties of Polynomial Reducibilities and Sets in NP (PY), pp. 392–401.
STOC-1981-JosephY #modelling #performance #polynomial #source code
Fast Programs for Initial Segments and Polynomial Time Computation in Weak Models of Arithmetic (DJ, PY), pp. 55–61.
STOC-1980-JosephY #independence #question
Independence Results in Computer Science? (DJ, PY), pp. 58–69.
STOC-1976-MachteyY
Simple Gödel Numberings, Translations, and the P-Hierarchy (MM, PY), pp. 236–243.

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.