| |
Reviews about "Models Of Computation (F.1.1)":
|
A quantum computation workbook
Choi M., Springer International Publishing, Cham, Switzerland, 2022. 446 pp. Type: Book (978-3-030912-13-0)
|
Quantum relational Hoare logic
Unruh D. Proceedings of the ACM on Programming Languages 3(POPL): 1-31, 2019. Type: Article
|
Finite-state techniques: automata, transducers and bimachines
Mihov S., Schulz K., Cambridge University Press, New York, NY, 2019. 324 pp. Type: Book (978-1-108485-41-8)
|
Interconnectability of session-based logical processes
Toninho B., Yoshida N. ACM Transactions on Programming Languages and Systems 40(4): 1-42, 2018. Type: Article
|
Regular language representations in the constructive type theory of Coq
Doczkal C., Smolka G. Journal of Automated Reasoning 61(1-4): 521-553, 2018. Type: Article
|
Models of computation
Bruni R., Montanari U., Springer Publishing Company, Incorporated, New York, NY, 2017. 395 pp. Type: Book (978-3-319428-98-7)
|
On the uniform computational content of computability theory
Brattka V., Hendtlass M., Kreuzer A. Theory of Computing Systems 61(4): 1376-1426, 2017. Type: Article
|
more...
|
|
|
|
