Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureResearch graph
References from Post's Machine: A Didactic Microworld as an Introduction to Formal Programming. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1145/355592.365646
10.1145/355592.365646 · 1966 · External reference
Unresolved reference
External reference
10.1023/a:1018636507883
10.1023/a:1018636507883 · 1997 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1145/359104.359106
10.1145/359104.359106 · 1979 · External reference
10.1145/355604.361591
10.1145/355604.361591 · 1972 · External reference
Unresolved reference
1968 · External reference
10.1007/978-1-4612-5983-1
10.1007/978-1-4612-5983-1 · 1981 · External reference
10.1145/363235.363259
10.1145/363235.363259 · 1969 · External reference
10.1145/27651.27653
10.1145/27651.27653 · 1987 · External reference
Unresolved reference
1989 · External reference
Unresolved reference
1973 · External reference
10.1145/361604.361612
10.1145/361604.361612 · 1974 · External reference
Unresolved reference
External reference
10.2307/2269031
10.2307/2269031 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1983 · External reference
Unresolved reference
External reference
