Theory of computation on abstract/concrete computer automata

Authors:
Karel Culik
Affiliations:
Wayne State University, Detroit, Michigan
Venue:
ACM SIGACT News
Year:
1982

Citing 4
Cited 0

An axiomatic basis for computer programming

Communications of the ACM
Elements of the Theory of Computation

Elements of the Theory of Computation
Mathematical Theory of Serial Computers

Proceedings of the 4. Fachtagung der GI Programmiersprachen
Mathematical Theory of Computation

Mathematical Theory of Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract