„computability“
Suchergebnisse
457 Treffer
-
Average-Case Polynomial-Time Computability of Hamiltonian Dynamics
-
Partial Elements and Recursion via Dominances in Univalent Type Theory
-
Computability and Complexity in Analysis (Dagstuhl Seminar 01461)
-
A Programming Language Embedded in Magic: The Gathering
-
On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
-
Computability of Extender Sets in Multidimensional Subshifts
-
Synthetic Mathematics for the Mechanisation of Computability Theory and Logic (Invited Talk)
-
Distributed Computing by Mobile Robots: Expanding the Horizon (Invited Talk)
-
Computability and Complexity in Analysis (Dagstuhl Seminar 99461)
-
Computability and Complexity in Analysis (Dagstuhl Seminar 9717)
-
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond
-
08271 Executive Summary – Topological and Game-Theoretic Aspects of Infinite Computations
-
08271 Abstracts Collection – Topological and Game-Theoretic Aspects of Infinite Computations
-
The Kleene-Post and Post’s Theorem in the Calculus of Inductive Constructions
-
Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision
-
Send/Receive Patterns Versus Read/Write Patterns in Crash-Prone Asynchronous Distributed Systems
-
Priority Downward Closures
-
DNN Verification, Reachability, and the Exponential Function Problem
-
Realizing Finitely Presented Groups as Projective Fundamental Groups of SFTs
-
Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses