Polynomially bounded sequences and polynomial sequences

DOI10.1515/FORMA-2015-0017zbMATH Open1321.68276OpenAlexW2296025145MaRDI QIDQ500023FDOQ500023

Authors: Hiroyuki Okazaki, Yuichi Futa 

Publication date: 7 October 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0017

Recommendations

• scientific article; zbMATH DE number 4112573
• scientific article; zbMATH DE number 4134023
• Improving the classification of complexities
• scientific article; zbMATH DE number 218387
• scientific article; zbMATH DE number 1534573

zbMATH Keywords

computational complexitypolynomial time

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Mechanization of proofs and logical operations (03B35)

Cites Work

• Semantics of MML query -- ordering
• Title not available (Why is that?)
• Title not available (Why is that?)
• Polynomials

Cited In (3)

• Algebra of polynomially bounded sequences and negligible functions
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Polynomially bounded sequences and polynomial sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q500023)