:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chunikhin, Alexander Yu.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Artificial Intelligence 11A63, 47S20, 68Q55
Online-Zugang:	https://arxiv.org/abs/2507.21295
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Implicit automata in λ-calculi III: affine planar string-to-string functions
von: Pradic, Cécilia, et al.
Veröffentlicht: (2024)

Unifying lower bounds for algebraic machines, semantically
von: Seiller, Thomas, et al.
Veröffentlicht: (2018)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Non-negative Rational Semantic Numeration Systems
von: Chunikhin, Alexander
Veröffentlicht: (2026)

On the existence of strong proof complexity generators
von: Krajicek, Jan
Veröffentlicht: (2022)

Bayesian Evolutionary Swarm Architecture: A Formal Epistemic System Grounded in Truth-Based Competition
von: Wright, Craig Steven
Veröffentlicht: (2025)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

Matching logic -- a new axiomatization
von: Leuştean, Laurenţiu, et al.
Veröffentlicht: (2025)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
von: Spreen, Dieter
Veröffentlicht: (2025)

Notes on applicative matching logic
von: Leuştean, Laurenţiu
Veröffentlicht: (2025)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Numeration systems without a dominant root and regularity
von: Charlier, Émilie, et al.
Veröffentlicht: (2025)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
von: Marković, Petar, et al.
Veröffentlicht: (2026)

Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement
von: Balafas, Vasileios, et al.
Veröffentlicht: (2025)

On Equivalent Characterizations of NP in Abstract Models of Computation
von: Kirn, Jeremy C., et al.
Veröffentlicht: (2025)

Place Bisimilarity is Decidable, Indeed!
von: Gorrieri, Roberto
Veröffentlicht: (2021)

Probabilistic Nets-within-Nets
von: Köhler-Bußmeier, Michael
Veröffentlicht: (2024)

A "Symbolic" Representation of Object-Nets (Extended Version)
von: Köhler-Bussmeier, Michael, et al.
Veröffentlicht: (2024)

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
von: von Liechtenstein, Maximilian R. P.
Veröffentlicht: (2025)

Commutative N-polyregular functions
von: Lopez, Aliaume
Veröffentlicht: (2024)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
von: Haak, Anselm, et al.
Veröffentlicht: (2026)

Towards a theory of natural directed paths
von: Gaucher, Philippe
Veröffentlicht: (2023)

The phi-Process: Operator-Algebraic Embeddings of Possibilities, Transfinite Stabilization, and a Quantitative Application to Sensory Depletion
von: Kilictas, Bugra, et al.
Veröffentlicht: (2025)

Capture-Quiet Decomposition: A Verification Theorem for Chess Endgame Tablebases
von: Pavlov, Alexander
Veröffentlicht: (2026)

Asymptotic Analysis of Regular Sequences
von: Heuberger, Clemens, et al.
Veröffentlicht: (2018)

Addition Automata and Attractors of Digit Systems Corresponding to Expanding Rational Matrices
von: Cruz, Anjelo Gabriel R., et al.
Veröffentlicht: (2025)

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
von: Ham, Lucy, et al.
Veröffentlicht: (2022)

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
von: Salvadori, Daniel Augusto Rizzi
Veröffentlicht: (2025)

Deciding subspace reachability problems with application to Skolem's Problem
von: Everett, Samuel
Veröffentlicht: (2024)

Synthesis of Safety Specifications for Probabilistic Systems
von: Ohlmann, Gaspard, et al.
Veröffentlicht: (2025)

On the Realizability of Prime Conjectures in Heyting Arithmetic
von: Rosko, Milan
Veröffentlicht: (2025)

Markov Categories and Entropy
von: Perrone, Paolo
Veröffentlicht: (2022)

On Halting vs Converging in Recurrent Graph Neural Networks
von: Bollen, Jeroen, et al.
Veröffentlicht: (2026)

Infinite Eulerian paths are computable on graphs with vertices of infinite degree
von: Carrasco-Vargas, Nicanor
Veröffentlicht: (2023)

On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman
von: Grochow, Joshua A., et al.
Veröffentlicht: (2021)

Count-Free Weisfeiler--Leman and Group Isomorphism
von: Collins, Nathaniel A., et al.
Veröffentlicht: (2022)

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
von: Lau, Gabriel Rongyang
Veröffentlicht: (2026)

The equational theory of the Weihrauch lattice with multiplication
von: Neumann, Eike, et al.
Veröffentlicht: (2024)

Toda primes
von: McKean, Stephen
Veröffentlicht: (2025)