Keywords
Equivalence (formal languages)Containment (computer programming)Variable (mathematics)MathematicsScheme (mathematics)Exponential functionComputer scienceDiscrete mathematicsMathematical analysisProgramming language
Affiliated Institutions
Related Publications
Structure and Interpretation of Computer Programs
"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Science at the Massachusetts Institute of Technology. It is required of all studen...
A heuristic discussion of probabilistic decoding
This is another in a series of invited tutorial, status and survey papers that are being regularly solicited by the PTGIT Committee on Special Papers. We invited Profess01 Fano ...
Fundamental Measurement of Force and Newton's First and Second Laws of Motion
The measurement of force is based on a formal law of additivity, which characterizes the effects of two or more configurations on the equilibrium of a material point. The repres...
Computational Intelligence: Imitating Life
Many pioneering scientists, including Newton and Maxwell, were motivated by a quest to discover the art and order in creation - to know the mind of God through study of His crea...
Yacc : Yet Another Compiler Compiler
Yacc provides a general tool for imposing structure on the input to a computer program. The Yacc user prepares a specification of the input process; this includes rules describi...
Publication Info
- Year
- 1978
- Type
- book-chapter
- Pages
- 227-240
- Citations
- 82
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
82
OpenAlex
Cite This
Steven Fortune,
John E. Hopcroft,
Erik M. Schmidt
(1978).
The complexity of equivalence and containment for free single variable program schemes.
Lecture notes in computer science
, 227-240.
https://doi.org/10.1007/3-540-08860-1_17
Identifiers
- DOI
- 10.1007/3-540-08860-1_17