„Recursion“
Suchergebnisse
712 Treffer
-
Cost Automata, Safe Schemes, and Downward Closures
-
A Gentzen-Style Monadic Translation of Gödel’s System T
-
The Code of mathematics – proof and truth
-
Automaten und Sprachen - theoretische Informatik für die Praxis – Mathematik, Anwendung, Intuition
-
Computability, Complexity and Programming with Ordinary Differential Equations (Invited Talk)
-
Formalizing Computability Theory via Partial Recursive Functions
-
On the Expressivity of Linear Recursion Schemes
-
Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations
-
Guarded Recursion in Agda via Sized Types
-
Pointers in Recursion: Exploring the Tropics
-
Martin Hofmann’s Case for Non-Strictly Positive Data Types
-
Recursive Programs for Document Spanners
-
A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions
-
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems
-
Homogeneity Without Loss of Generality
-
Tree Drawings Revisited
-
Recursion Schemes and the WMSO+U Logic
-
The Complexity of the Diagonal Problem for Recursion Schemes
-
A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk)
-
Streett Automata Model Checking of Higher-Order Recursion Schemes