Benedikt Lowe Books
Infinity in logic and computation
By ILC 2007 2007 Cape Town South Africa
'The topics of the conference included automata on infinite objects; combinatorics, cryptography and complexity; computability and complexity on the real numbers; infinite games and their connectio...
Read MoreFoundations Of The Formal Sciences Ii
By Benedikt L Xf6We, Thoralf R Xe4sch, Wolfgang Malzkorn
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the tradition...
Read More