Sailing routes in the world of computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings

A Journey To Computably Enumerable Structures (Tutorial Lectures) -- Polynomial-time Presentations of Algebraic Number Fields (Extended abstract) -- Multiple Permitting and Array Noncomputability -- Degrees of Categoricity for Prime and Homogeneous Models -- Universality in Freezing Cellular Automat...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: CiE (VerfasserIn)
Weitere Verfasser: Manea, Florin (HerausgeberIn), Miller, Russell (HerausgeberIn), Nowotka, Dirk (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer (2018)
Schriftenreihe:Lecture notes in computer science 10936
Schlagworte:
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!