Manea, Florin.
Overview
Works: | 2 works in 4 publications in 1 languages |
---|
Titles
Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings /
by:
Della Vedova, Gianluca.; SpringerLink (Online service); Manea, Florin.; Pauly, Arno.; Anselmo, Marcella.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Combinatorics on words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings /
by:
SpringerLink (Online service); Manea, Florin.; Workshop on the Preservation of Stability under Discretization ((2001 :); Nowotka, Dirk.
(Language materials, printed)
Developments in language theory = 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024 : proceedings /
by:
Day, Joel D.; SpringerLink (Online service); Manea, Florin.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings /
by:
Primiero, Giuseppe.; Paulusma, Daniël.; SpringerLink (Online service); Manea, Florin.; Martin, Barnaby.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
Manea, Florin.; SpringerLink (Online service); Weiermann, Andreas.; De Mol, Liesbeth.; Fernández-Duque, David.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
by:
SpringerLink (Online service); Manea, Florin.; Nowotka, Dirk.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Revolutions and Revelations in Computability = 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings /
by:
Berger, Ulrich.; Manea, Florin.; Franklin, Johanna N. Y.; SpringerLink (Online service); Pauly, Arno.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Sailing Routes in the World of Computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings /
by:
Manea, Florin.; SpringerLink (Online service); Nowotka, Dirk.; Miller, Russell G.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
Weiermann, Andreas.; De Mol, Liesbeth.; Fernández-Duque, David.; Manea, Florin.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Sailing routes in the world of computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings /
by:
Nowotka, Dirk.; Workshop on the Preservation of Stability under Discretization ((2001 :); Miller, Russell G.; SpringerLink (Online service); Manea, Florin.
(Language materials, printed)
Descriptional Complexity of Formal Systems = 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
by:
SpringerLink (Online service); Manea, Florin.; Shallit, Jeffrey.; Câmpeanu, Cezar.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
SpringerLink (Online service); Manea, Florin.; Kari, Jarkko.; Petre, Ion.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Show more
Fewer
Subjects
Mathematical logic.
Combinatorial analysis
Computer science—Mathematics.
Math Applications in Computer Science.
Artificial intelligence.
Numerical analysis.
Software engineering.
Theory of Computation.
Information theory
Data Structures.
Data structures (Computer science).
Mathematics of Computing.
Computer Science.
Word problems (Mathematics)
Mathematical Logic and Formal Languages.
Computer science
Algorithms.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Pattern perception.
Artificial Intelligence (incl. Robotics)
Information Systems and Communication Service.
Artificial Intelligence.
Formal languages
Algorithms
Biology
Logic, Symbolic and mathematical.
Computer science.
Management information systems.
Computers.
Natural Language Processing (NLP)
Discrete Mathematics in Computer Science.
Numeric Computing.
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Computable functions
Data Structures and Information Theory.
Algorithm Analysis and Problem Complexity.
Computer logic.
Information theory.
Logic in AI.