[IEEE 23rd Annual Symposium on Foundations of Computer Science - Chicago, IL, USA (1982.11.3-1982.11.5)] 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982) - Deterministic process logic is elementary

• 作者Halpern, Joseph Y.; Halpern, Joseph Y.; Halpern, Joseph Y.; Halpern, Joseph Y.
• 文件大小1398.66KB
• 发表时间1982
• DOI10.1109/sfcs.1982.16
• 页码204-216