Concepedia

Michael Machtey

MM

Statistics

Publications

5

Citations

159

H-Index

5

Active since

1972

Affiliations

Purdue University West Lafayette(Current)

Michael Machtey is an author at Purdue University West Lafayette specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningComputational ComplexityCompilersProbabilityTheory Of ComputingDiscrete Mathematics

Publications per year

1972–1981

5

Publications

5

A note on structure and looking back applied to the relative complexity of computable functions

Paul Chew, Michael Machtey · Journal of Computer and System Sciences · 1981 · 43 citations

Computational Complexity Theory, Engineering, Abstract Complexity +9

Augmented loop languages and classes of computable functions

Michael Machtey · Journal of Computer and System Sciences · 1972 · 39 citations

Engineering, Program Analysis, Functional Programming Language +5

On the density of honest subrecursive classes

Michael Machtey · Journal of Computer and System Sciences · 1975 · 32 citations

Combinatorics On Word, Extremal Set Theory, Set-theoretic Topology +2

The honest subrecursive classes are a lattice

Michael Machtey · Information and Control · 1974 · 24 citations

Lattice (Order), Automated Reasoning, Partially Ordered Set +2

Simple Gödel Numberings, Isomorphisms, and Programming Properties

Michael Machtey, Karl Winklmann, Paul Young · SIAM Journal on Computing · 1978 · 21 citations

Mathematical Programming, Engineering, Computational Complexity +19

1–5 of 5