Computer Science - 1981

Gehringer, E. F., & Chansler, R. J. (1981). STAROS User and System Structure Manual. Department of Computer Science, Carnegie-Mellon University.

Kaltofen, E., & Abdali, S. K. (1981). An attributed LL(1) compilation of Pascal into the lambda-calculus (Technical Report No. CS-8103). Troy, NY: Rensselaer Polytechnic Institute Mathematical Sciences Department.

Kaltofen, E., Musser, D. R., & Saunders, B. D. (1981). A generalized class of polynomials that are hard to factor. Proceedings of the fourth ACM symposium on Symbolic and algebraic computation  - SYMSAC '81. Presented at the the fourth ACM symposium. https://doi.org/10.1145/800206.806394

Doyle, J. (1981). A Truth Maintenance System**This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract number N00014-75-C-0643, and in part by NSF grant MCS77-04828. Readings in Artificial Intelligence, pp. 496–516. https://doi.org/10.1016/b978-0-934613-03-3.50039-8

Doyle, J. (1981). A model for deliberation, action, and introspection. SIGART Bull., 1(75), 10–10. https://doi.org/10.1145/1056748.1056749

Gehringer, E. F., & Chansler, R. J. (1981). STAROS User and System Structure Manual [Technical Report]. Department of Computer Science, Carnegie-Mellon University.