Copertina

Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Arratia, Argimiro, Ortiz, Carlos E.
Natura:	Preprint
Pubblicazione:	2015
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Separability Properties of Monadically Dependent Graph Classes
di: Bonnet, Édouard, et al.
Pubblicazione: (2025)

Uniformity within Parameterized Circuit Classes
di: Hegeman, Steef, et al.
Pubblicazione: (2025)

Towards Counting Markov Equivalence Classes with Logical Constraints
di: Bizzaro, Davide, et al.
Pubblicazione: (2024)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
di: Gamsakhurdia, Mariami, et al.
Pubblicazione: (2025)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
di: Jung, Jean Christoph, et al.
Pubblicazione: (2025)

Simple Classes of Automatic Structures
di: Blumensath, Achim
Pubblicazione: (2025)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
di: Schirrmacher, Nicole, et al.
Pubblicazione: (2023)

Local-Order-Invariant Logic on Classes of Bounded Degree
di: Aoki, Derek
Pubblicazione: (2025)

An SMT-LIB Theory of Finite Fields
di: Hader, Thomas, et al.
Pubblicazione: (2024)

On Randomized Computational Models and Complexity Classes: a Historical Overview
di: Antonelli, Melissa, et al.
Pubblicazione: (2024)

Dynamic Separation Logic
di: de Boer, Frank S., et al.
Pubblicazione: (2023)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
di: Pshenitsyn, Tikhon
Pubblicazione: (2023)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
di: Wałęga, Przemysław Andrzej, et al.
Pubblicazione: (2026)

Systematic Design of Separation Logics
di: Bruni, Roberto, et al.
Pubblicazione: (2026)

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
di: Baader, Franz, et al.
Pubblicazione: (2026)

Proof Theory and Decision Procedures for Deontic STIT Logics
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)

Bifurcation Logic: Separation Through Ordering
di: Galmiche, Didier, et al.
Pubblicazione: (2025)

Relative Completeness of Incorrectness Separation Logic
di: Lee, Yeonseok, et al.
Pubblicazione: (2025)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
di: Lee, Yeonseok, et al.
Pubblicazione: (2025)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

Automata Linear Dynamic Logic on Finite Traces
di: Smith, Kevin W., et al.
Pubblicazione: (2021)

Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations
di: Antonelli, Melissa, et al.
Pubblicazione: (2025)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
di: Su, Wanyun, et al.
Pubblicazione: (2024)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
di: Liang, Xiaolong, et al.
Pubblicazione: (2024)

Complexity of Abduction in Łukasiewicz Logic
di: Inoue, Katsumi, et al.
Pubblicazione: (2025)

Logical Characterizations of Weighted Complexity Classes
di: Badia, Guillermo, et al.
Pubblicazione: (2024)

Semantics for Linear-time Temporal Logic with Finite Observations
di: Amjad, Rayhana, et al.
Pubblicazione: (2024)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
di: Ito, Sohei, et al.
Pubblicazione: (2025)

Meta-Mathematics of Computational Complexity Theory
di: Oliveira, Igor C.
Pubblicazione: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

Recursive Mutexes in Separation Logic
di: Du, Ke, et al.
Pubblicazione: (2026)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
di: Fuchser, Janne, et al.
Pubblicazione: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
di: Gogacz, Tomasz, et al.
Pubblicazione: (2026)

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
di: Dengler, Gabriel, et al.
Pubblicazione: (2024)

Deciding Boolean Separation Logic via Small Models (Technical Report)
di: Dacík, Tomáš, et al.
Pubblicazione: (2024)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
di: Aljaafari, Nura, et al.
Pubblicazione: (2026)