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:
logic (7)
light (2)
complex (2)
system (2)
affin (2)

Stem ptime$ (all stems)

10 papers:

CSLCSL-2012-ChrzaszczS #complexity #ml
ML with PTIME complexity guarantees (JC, AS), pp. 198–212.
ICALPICALP-v2-2010-ChenF #logic #on the #proving
On p-Optimal Proof Systems and Logics for PTIME (YC, JF), pp. 321–332.
LICSLICS-2009-ChenF #logic #problem
A Logic for PTIME and a Parameterized Halting Problem (YC, JF), pp. 397–406.
SASSAS-2008-HornM #analysis
Flow Analysis, Linearity, and PTIME (DVH, HGM), pp. 255–269.
LICSLICS-2008-Grohe #logic
The Quest for a Logic Capturing PTIME (MG), pp. 267–271.
ICLPICLP-2007-Nguyen #approximate #complexity #knowledge base #logic
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity (LAN), pp. 438–439.
CSLCSL-2006-AtassiBT #logic #system f #verification
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic (VA, PB, KT), pp. 150–166.
CSLCSL-2000-MurawskiO #game studies #logic
Discreet Games, Light Affine Logic and PTIME Computation (ASM, CHLO), pp. 427–441.
Ptime Canonization for Two Variables with Counting (MO), pp. 342–352.
LICSLICS-1992-Hella #logic
Logical Hierarchies in PTIME (LH), pp. 360–368.

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.