Image de couverture de livre

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Gaßner, Christine
Format:	Preprint
Publié:	2025
Sujets:	Logic Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
par: Gaßner, Christine
Publié: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
par: Gaßner, Christine
Publié: (2025)

AC and the Independence of WO in Second-Order Henkin Logic, Part II
par: Gaßner, Christine
Publié: (2024)

Countability constraints in order-theoretic approaches to computability
par: Hack, Pedro, et autres
Publié: (2022)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
par: Oda, Yukihiro, et autres
Publié: (2021)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
par: Powell, Thomas
Publié: (2023)

Making first order linear logic a generating grammar
par: Slavnov, Sergey
Publié: (2022)

On first-order definable operations on relational structures
par: Courcelle, Bruno
Publié: (2026)

Logical Approaches to Non-deterministic Polynomial Time over Semirings
par: Barlag, Timon, et autres
Publié: (2025)

On first-order transductions of classes of graphs
par: Braunfeld, Samuel, et autres
Publié: (2022)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
par: Gaßner, Christine
Publié: (2024)

Permutation Models of Second Order
par: Gaßner, Christine
Publié: (2024)

Relationships between Principles of Choice in Second-Order Henkin Structures
par: Gaßner, Christine
Publié: (2024)

AC and the Independence of WO in Second-Order Henkin Logic, Part I
par: Gaßner, Christine
Publié: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
par: Benjamini, Itai, et autres
Publié: (2022)

Incompleteness for stably computable formal systems
par: Savelyev, Yasha
Publié: (2022)

Speedability of computably approximable reals and their approximations
par: Barmpalias, George, et autres
Publié: (2026)

Strong negation in the theory of computable functionals TCF
par: Köpp, Nils, et autres
Publié: (2022)

Semantics out of context: nominal absolute denotations for first-order logic and computation
par: Gabbay, Murdoch J.
Publié: (2013)

Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
par: Fernandes, Vítor, et autres
Publié: (2024)

Local structure of idempotent algebras I
par: Bulatov, Andrei A.
Publié: (2020)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
par: Kihara, Takayuki
Publié: (2022)

Indivisibility and uniform computational strength
par: Gill, Kenneth
Publié: (2023)

On matrix rank function over bounded arithmetics
par: Ken, Eitetsu, et autres
Publié: (2023)

First-order Logic with Being a Thesis Modal Operator
par: Łyczak, Marcin
Publié: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

A linear proof language for second-order intuitionistic linear logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

Realizing the totally unordered structure of ordinals
par: Fontanella, Laura, et autres
Publié: (2025)

Characterizations of monadically dependent tree-ordered weakly sparse structures
par: Buffière, Hector, et autres
Publié: (2026)

Decomposing graphs into stable and ordered parts
par: Buffière, Hector, et autres
Publié: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
par: Herbelin, Hugo
Publié: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
par: Benedikt, Michael, et autres
Publié: (2026)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

Synthesis for prefix first-order logic on data words
par: Grange, Julien, et autres
Publié: (2024)

On first-order model checking parameterized by the number of variables
par: Jedelský, Jan
Publié: (2026)