Polynomially bounded sequences and polynomial sequences

DOI10.1515/forma-2015-0017zbMath1321.68276OpenAlexW2296025145MaRDI QIDQ500023

Yuichi Futa, Hiroyuki Okazaki

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

zbMATH Keywords

computational complexitypolynomial time

Mathematics Subject Classification ID

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

Related Items (1)

Algebra of polynomially bounded sequences and negligible functions

Cites Work

• Semantics of MML Query - Ordering
• Polynomials
• Unnamed Item
• Unnamed Item

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