Weiermann, Andreas.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
Weiermann, Andreas.; Fernández-Duque, David.; Manea, Florin.; De Mol, Liesbeth.; SpringerLink (Online service)
(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.; Fernández-Duque, David.; De Mol, Liesbeth.; Manea, Florin.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Well-Quasi Orders in Computation, Logic, Language and Reasoning = A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory /
by:
Schuster, Peter M.; SpringerLink (Online service); Seisenberger, Monika.; Weiermann, Andreas.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Computer science—Mathematics.
Data Structures and Information Theory.
Computer logic.
Artificial intelligence.
Information theory.
Theory of Computation.
Logic Design.
Graph Theory.
Mathematics of Computing.
Data structures (Computer science).
Logic.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.
Combinatorics.
Graph theory.
Artificial Intelligence.
Computer science.
Logic design.
Computers.
Computer Science Logic and Foundations of Programming.