Incompleteness in linear time

MaRDI QIDQ2709224zbMATH OpenFDO

Authors Salvatore Caporaso, Giovanni Pani, Emanuele Covino

Publication date 10 May 2001

Published in Journal of Universal Computer Science (Search for Journal in Brave)

Full work available at URL http://www.jucs.org/jucs_6_12/incompleteness_in_linear_time

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• ON THE NOTION OF LINEAR TIME COMPUTABILITY
• scientific article; zbMATH DE number 3596249
• scientific article; zbMATH DE number 5037238
• Completeness theorem for a first order linear-time logic
• Incompleteness of first-order temporal logic with until

Cited in

(1)

• Invariance properties of RAMs and linear time

This page was built for publication: Incompleteness in linear time

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