In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman

DOI10.1007/978-3-642-41660-6zbMATH Open1345.68011OpenAlexW4251269742WikidataQ57006464 ScholiaQ57006464MaRDI QIDQ497615FDOQ497615

Authors:

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

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited In (4)

• Consistency, acyclicity, and positive Semirings
• Parity proofs of the Kochen-Specker theorem based on the 120-cell
• The Role of Theory in Computer Science
• An encoding of the \(\lambda \)-calculus in the string MultiSet rewriting calculus

This page was built for publication: In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q497615)