Computable functions - Congresses.
Overview
| Works: | 15 works in 7 publications in 7 languages | |
|---|---|---|
Titles
Computability theory and its applications : = current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM, joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder/
by:
(Language materials, printed)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
(Language materials, printed)
Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings /
by:
(Language materials, printed)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(Language materials, printed)
Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
by:
(Language materials, printed)
Computability and complexity in analysis = 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers /
by:
(Language materials, printed)
Programs, proofs, processes = 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings /
by:
(Language materials, printed)
Beyond the horizon of computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020 : proceedings /
by:
(Electronic resources)
Computing with foresight and industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings /
by:
(Electronic resources)
Connecting with computability = 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings /
by:
(Electronic resources)
Unity of logic and computation = 19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings /
by:
(Electronic resources)
Sailing routes in the world of computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects