Michael Machtey - Concepedia

Author

Michael Machtey

Also Known As

Michael MacHtey, Michael Machtey

Publications

531

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	103
2	Computer Science	3	3	103
3	Compilers	1	1	21
4	Mathematical Foundations	1	1	21
5	Probability Theory	1	1	32

Michael Machtey

Publications

159

Citations

H-Index

Page 1

	Year	Citations
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 Computational Complexity TheoryEngineeringAbstract ComplexityFormal MethodsRelative Complexity	1981	43
Augmented loop languages and classes of computable functions Michael Machtey Journal of Computer and System Sciences EngineeringProgram AnalysisFunctional Programming LanguageFormal MethodsLoop Languages	1972	39
On the density of honest subrecursive classes Michael Machtey Journal of Computer and System Sciences Combinatorics On WordExtremal Set TheorySet-theoretic TopologyProbability TheoryHonest Subrecursive Classes	1975	32
The honest subrecursive classes are a lattice Michael Machtey Information and Control Lattice (Order)Automated ReasoningPartially Ordered SetLattice TheoryHonest Subrecursive Classes	1974	24
Simple Gödel Numberings, Isomorphisms, and Programming Properties Michael Machtey, Karl Winklmann, Paul Young SIAM Journal on Computing Mathematical ProgrammingEngineeringComputational ComplexityHigher-order LogicPolynomial Time	1978	21

Page 1