„Computability“
Suchergebnisse
457 Treffer
-
On the Complexity of Zero Gap MIP*
-
Automaten und Sprachen - theoretische Informatik für die Praxis – Mathematik, Anwendung, Intuition
-
Computability, Complexity and Programming with Ordinary Differential Equations (Invited Talk)
-
A Certifying Extraction with Time Bounds from Coq to Call-By-Value Lambda Calculus
-
Formalizing Computability Theory via Partial Recursive Functions
-
A Sound Foundation for the Topological Approach to Task Solvability
-
Hilbert’s Tenth Problem in Coq
-
A Characterization of Subshifts with Computable Language
-
Task Computability in Unreliable Anonymous Networks
-
The Synergy of Finite State Machines
-
Safety, Absoluteness, and Computability
-
Aperiodic Points in Z²-subshifts
-
Another Characterization of the Higher K-Trivials
-
Monte Carlo Computability
-
Algorithmic Complexity for the Realization of an Effective Subshift By a Sofic
-
Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule.
-
Signature-Free Communication and Agreement in the Presence of Byzantine Processes (Tutorial)
-
On Computability and Triviality of Well Groups
-
Computing Downward Closures for Stacked Counter Automata
-
Las Vegas Computability and Algorithmic Randomness