Вы здесь

Главная

вычислимость

Связанные издания:

An Analog Characterization of Elementary Computable Functions over the Real Numbers
Approximation, Randomixation, and Combinatorial Optimization. Algorithms and Techniques: Proc./12th IW, APPROX 2009 and 13th IW, RANDOM 2009, Berkeley, CA, USA, August 2009
A Useful Undecidable Theory
Automated Deduction - CADE 27: Proc./27th International Conference on Automated Deduction, Natal, Brazil, August 2019
Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Cellular Automata and Discrete Complex System: Proc./24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 2018
Complexity and Approximation: in Memory of Ker-i Ko
Computational Aspects of Delta-Definability over the Real Numbers without the Equality Test
Computation and Logic in the Real World: Proc./Third Conference on Computability in Europe, CiE 2007. Siena, Italy, June 2007
Computer Algebra in Scientific Computing: Proc./2-th International Workshop, CASC 2018, Lille, France, September 2018
Computer Science Logic: Proc./22nd International Workshop, CSL 2008. 17th Annual Conference of the EACSL. Bertinoro, Italy, September 2008
Computer Science - Theory and Applications: Proc./15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 2020
Computer Science - Theory and Applications: Proc./5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 2010
Computer Science - Theory and Applications: Proc./7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 2012
Computing and Combinatorics: Proc./15th Annual International Conference, COCOON 2009. Niagara Falls, NY, USA, July 2009
Computing with Foresight and Industry: Proc./15th Conference on Computability in Europe, CiE 2019, Durhan, UK, July 2019
Connecting with Computability: Proc./17th Conference on Computability in Europe, CiE 2021, Virtual Event, July 2021
DNA Computing and Molecular Programming: Proc./20th International Conference, DNA 20, Kyoto, Japan, September 2014
Enjoying Natural Computing: Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Evolving Computability: Proc./11th Conference of Computability in Europe, CiE 2015, Bucharest, Romania, June 2015
Fundamentals of Computation Theory: Proc./18th International Symposium, FCT 2011, Oslo, Norway, August 2011
Generalised Computability and Applications to Hybrid Systems
Infinity in Logic and Computation: Revised Selected Papers/ International Conference, ILC 2007, Cape Town, South Africa, November 2007
Interaction and Realizability
Language and Automata Theory and Applications: Proc./Third International Conference, LATA 2009, Tarragona, Spain, April 2009
LATIN 2014: Theoretical Informatics: Proc./11th Latin American Symposium, Montovideo, Uruguay, March 2014
Logical Approaches to Computational Barriers: Proc./Second Conference on Computability in Europe, CiE 2006. Swansea, UK, June/July 2006
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2022, Deerfield Beach,FL,USA, January 2022
Logic and Theory of Algorithms: Proc./4th Conference on Computability in Europe, CiE 2008. Athens, Greece, June 2008
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./13th Intl Conf, LPAR 2006. Phnom Penh, Cambodia, November 2006
Logic, Language, Information and Computation: Proc./19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, Septeber 2012
Machines, Computations, and Universality: Revised Selected Papers/4th International Conference, MCU 2004. Saint Petersburg, Russia, September 2004
Membrane Computing: Revised Selected Papers/12th International Conference, CMC 2011, Fontainebleau, France, August 2011
Membrane Computing: Revised Selected Papers/13th International Conference, CMC 2012, Budapest, Hungary, August 2012
Membrane Computing: Revised Selected Papers/19th International Conference, CMC 2018, Dresden, Germany, September 2018
Model-Checking for pi-Calculus Using Proof Search
Programs, Proofs, Processes: Proc./6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June/July 2010
Real Recursive Functions and Real Extensions of Recursive Functions
Rewriting Logic and Its Applications: Proc./12th International Workshop, WRLA 2018 Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 2018
Rewriting Logic and Its Applications: Revised Selected Papers/13th International Workshop, WRLA 202, Virtual Event, October 2020
Sigma (k) - constraints for Hybrid Systems
The Incomputable: Journeys Beyond the Turing Barrier
The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R.Fellows on the Occasion of His 60th Birthday
The Nature of Computation: Proc./9th Conference on Computability in Europea, CiE 2013, ilan, Italy, July 2013
Theory and Applications of Models of Computation: Proc./5th International Conference, TAMC 2008. Xi an, China, April 2008
Theory and Applications of Models of Computation: Proc./Third International Conference, TAMC 2006. Beijing, China, May 2006
The RHAPSODY Semantics of Statecharts (or, On the Executable Core of the UML)
Towards Computability of Higher Type Continuous Data
Transactions on Computational Science XXXIII
Unveiling Dynamics and Complexity: Proc./13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 2017