Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Computational complexity of formal translations

From MaRDI portal
Publication:4057597
Jump to:navigation, search

DOI10.1007/BF01762186zbMATH Open0302.68066OpenAlexW2040103597MaRDI QIDQ4057597FDOQ4057597


Authors: J. Hartmanis Edit this on Wikidata


Publication date: 1975

Published in: Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01762186





Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Algorithms in computer science (68W99)


Cites Work

  • Title not available (Why is that?)
  • A Machine-Independent Theory of the Complexity of Recursive Functions
  • Optimization of LR(k) parsers
  • An Overview of the Theory of Computational Complexity
  • Optimal enumerations and optimal gödel numberings
  • Title not available (Why is that?)
  • Title not available (Why is that?)


Cited In (3)

  • On the power of recursive optimizers
  • Syntax and semantics of universal programming languages
  • Toward an abstract theory of data compression





This page was built for publication: Computational complexity of formal translations

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4057597&oldid=17791029"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 6 February 2024, at 04:13. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki