From Quasi-Dominions to Progress Measures

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Aspects of computation - in celebration of the research work of Professor Rod Downey (Veranstaltung : 2017 : Singapur) Aspects of computation and automata theory with applications
1. Verfasser:	Benerecetti, Massimo (VerfasserIn)
Weitere Verfasser:	Dell'Erba, Daniele (VerfasserIn), Faella, Marco (VerfasserIn), Mogavero, Fabio (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2024
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
From Quasi-Dominions to Progress Measures	2024	Benerecetti, Massimo
Disjoint NP-Pairs and Propositional Proof Systems	2024	Glaβer, Christian
Punctual Degrees and Lattice Embeddings	2024	Kalimullin, Iskander
Maximal Automatic Complexity and Context-Free Languages	2024	Kjos-Hanssen, Bjørn
Roots of Polynomials in Fields of Generalized Power Series	2024	Knight, Julia
Generators of the C.E. Degrees and Strongly Meet Inaccesssible Degrees	2024	Ambos-Spies, Klaus
Cantor–Bendixson Ranks for Almost Prime Models	2024	Bazhenov, Nikolay
A Turing Machine like Model for Computation on Real Numbers	2024	Yang, Yue
Isomorphism Types of Rogers Semilattices in the Analytical Hierarchy	2024	Bazhenov, Nikolay
Effective Ultrapowers and Applications	2024	Dimitrov, Rumen D.
Weak Muller Conditions Make Delay Games Hard	2024	Winter, Sarah
Cuts in the ML Degrees	2024	Arthur, Katherine
Immunity, Diagonalization and the Complexity of Mass Problems	2024	Beros, Achilles A.
Computability and Categoricity of Weakly Homogeneous Boolean Algebras and p-Groups	2024	Cenzer, Douglas
FPT-Inspired Approximations	2024	Fernau, Henning
How to Verify Computations with a Rational Network	2024	Jain, Sanjay
A Scalable Verification Solution for Blockchains	2024	Teutsch, Jason