In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman
From MaRDI portal
Publication:497615
DOI10.1007/978-3-642-41660-6zbMATH Open1345.68011OpenAlexW4251269742WikidataQ57006464 ScholiaQ57006464MaRDI QIDQ497615
No author found.
Publication date: 24 September 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-41660-6
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30)
Related Items (4)
The Role of Theory in Computer Science ⋮ Parity proofs of the Kochen-Specker theorem based on the 120-cell ⋮ An encoding of the \(\lambda \)-calculus in the string MultiSet rewriting calculus ⋮ Consistency, acyclicity, and positive Semirings
This page was built for publication: In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman
