Beckmann, Arnold.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Crossroads of computability and logic = insights, inspirations, and innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025 : proceedings /
by:
Oitavem, Isabel.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Beckmann, Arnold.; Manea, Florin.
(Language materials, printed)
Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /
by:
Jonoska, Nataša.; Beckmann, Arnold.; SpringerLink (Online service); Bienvenu, Laurent.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Dimitracopoulos, Costas.; Beckmann, Arnold.; SpringerLink (Online service); Lowe, Benedikt.
(Language materials, printed)
Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /
by:
Beckmann, Arnold.; SpringerLink (Online service); Mitrana, Victor.; Soskova, Mariya.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Pursuit of the universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Bienvenu, Laurent.; Jonoska, Natasa.; SpringerLink (Online service); Beckmann, Arnold.
(Language materials, printed)
Subjects
Computable functions
Mathematical logic.
Bioinformatics.
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Formal Languages and Automata Theory.
Computational intelligence
Logic, Symbolic and mathematical
Theory of Computation.
Computers.
Computing Methodologies.
Mathematics of Computing.
Computer Science.
Computational Biology/Bioinformatics.
Algorithms.
Computer science
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computation by Abstract Devices.
Algorithms
Design and Analysis of Algorithms.