Buchumschlag

A formal characterization of discrete condensed objects

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Asgeirsson, Dagur
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory Formal Languages and Automata Theory Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Categorical Foundations of Formalized Condensed Mathematics
von: Asgeirsson, Dagur, et al.
Veröffentlicht: (2024)

A cartesian closed fibration of higher-order regular languages
von: Melliès, Paul-André, et al.
Veröffentlicht: (2026)

Fibrational Perspectives on Determinization of Finite-State Automata
von: Li, Thea
Veröffentlicht: (2024)

Profinite trees, through Lawvere theories and the lambda-calculus
von: Moreau, Vincent
Veröffentlicht: (2024)

The categorical contours of the Chomsky-Schützenberger representation theorem
von: Melliès, Paul-André, et al.
Veröffentlicht: (2023)

LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
von: Xu, Rongge, et al.
Veröffentlicht: (2025)

Word equations, constraints, and formal languages
von: Ciobanu, Laura
Veröffentlicht: (2024)

A complete formalization of Fermat's Last Theorem for regular primes in Lean
von: Best, Alex, et al.
Veröffentlicht: (2024)

A formal query language and automata model for aggregation in complex event recognition
von: Bourhis, Pierre, et al.
Veröffentlicht: (2026)

Automata and coalgebras in categories of species
von: Loregian, Fosco
Veröffentlicht: (2024)

Context-Free Languages of String Diagrams
von: Earnshaw, Matt, et al.
Veröffentlicht: (2024)

Combinatorial manifolds and Kleene's theorem, homotopically
von: Chamoun, Yorgo
Veröffentlicht: (2026)

Completeness for categories of generalized automata
von: Boccali, Guido, et al.
Veröffentlicht: (2023)

Monads and limits in bicategories of circuits
von: Loregian, Fosco
Veröffentlicht: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Complex event recognition under time constraints: towards a formal framework for efficient query evaluation
von: García, Julián, et al.
Veröffentlicht: (2025)

Function spaces for orbit-finite sets
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

Positive First-order Logic on Words and Graphs
von: Kuperberg, Denis
Veröffentlicht: (2022)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)

A Hierarchy of Nondeterminism
von: Radi, Bader Abu, et al.
Veröffentlicht: (2022)

A Dichotomy Theorem for Automatic Structures
von: Cuvelier, Antoine, et al.
Veröffentlicht: (2026)

A Uniform Framework for Language Inclusion Problems
von: Doveri, Kyveli, et al.
Veröffentlicht: (2024)

A Completeness Theorem for Probabilistic Regular Expressions
von: Różowski, Wojciech, et al.
Veröffentlicht: (2023)

Recomposition: A New Technique for Efficient Compositional Verification
von: Dardik, Ian, et al.
Veröffentlicht: (2024)

A Session Type System for Asynchronous Unreliable Broadcast Communication
von: Kouzapas, Dimitrios, et al.
Veröffentlicht: (2019)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
von: Quansah, Paapa Kwesi, et al.
Veröffentlicht: (2026)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
von: Guha, Shibashis, et al.
Veröffentlicht: (2021)

A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
von: Nakamura, Yoshiki
Veröffentlicht: (2026)

A Direct Translation from LTL with Past to Deterministic Rabin Automata
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2024)

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
von: Takata, Yoshiaki, et al.
Veröffentlicht: (2024)

A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)
von: Chen, Yu-Fang, et al.
Veröffentlicht: (2025)

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
von: Tsai, Wei-Lun, et al.
Veröffentlicht: (2026)

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
von: Doveri, Kyveli, et al.
Veröffentlicht: (2026)

A GLR-like Parsing Algorithm for Three-Valued Interpretations of Boolean Grammars with Strong Negation
von: Adrián, Patrik, et al.
Veröffentlicht: (2024)

Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report)
von: Alexaj, Ondrej, et al.
Veröffentlicht: (2026)

Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
von: Li, Junle, et al.
Veröffentlicht: (2025)