Samson Abramsky on logic and structure in computer science and beyond
DOI10.1007/978-3-031-24117-8zbMATH Open1543.68015MaRDI QIDQ6534907FDOQ6534907
Authors:
Publication date: 9 June 2023
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 1531624
- Arnon Avron on semantics and proof theory of non-classical logics
- Aspects of categorical recursion theory
- Continuous domain theory in logical form
- Models: concepts, theory, logic, reasoning and semantics. Essays dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday
Collections of articles of miscellaneous specific interest (00B15) Quantum computation (81P68) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Theory of computing (68Qxx)
This page was built for publication: Samson Abramsky on logic and structure in computer science and beyond
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6534907)
