Computable functions
Overview
Works: | 8 works in 8 publications in 8 languages |
---|
Titles
Set theory for computing : form decision procedures to declarative programming with sets
by:
(Language materials, printed)
How the world computes[electronic resource] :Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
(Language materials, printed)
Language, life, limits[electronic resource] :10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings /
by:
(Language materials, printed)
Subjects