:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Das, Anupam, Rice, Alex
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2111.05209
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Cyclic Implicit Complexity
di: Curzi, Gianluca, et al.
Pubblicazione: (2021)

Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

Proof complexity of positive branching programs
di: Das, Anupam, et al.
Pubblicazione: (2021)

Undecidability of theories of semirings with fixed points
di: Das, Anupam, et al.
Pubblicazione: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
di: Becker, Justus, et al.
Pubblicazione: (2026)

A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

Cyclic system for an algebraic theory of alternating parity automata
di: Das, Anupam, et al.
Pubblicazione: (2025)

A type-theoretic approach to semistrict higher categories
di: Rice, Alex
Pubblicazione: (2025)

Computational expressivity of (circular) proofs with fixed points
di: Curzi, Gianluca, et al.
Pubblicazione: (2023)

Equivalence and Conditional Independence in Atomic Sheaf Logic
di: Simpson, Alex
Pubblicazione: (2024)

On Enumerating Short Projected Models
di: Möhle, Sibylle, et al.
Pubblicazione: (2021)

A Syntax for Strictly Associative and Unital $\infty$-Categories
di: Finster, Eric, et al.
Pubblicazione: (2023)

On the complexity of normalization for the planar $λ$-calculus
di: Das, Anupam, et al.
Pubblicazione: (2024)

From MBQI to Enumerative Instantiation and Back
di: Dančo, Marek, et al.
Pubblicazione: (2025)

Disjoint Partial Enumeration without Blocking Clauses
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2023)

Extending CDCL-based Model Enumeration with Weights
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2026)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2024)

Linear Decomposition of the Majority Boolean Function using the Ones on Smaller Variables
di: Chattopadhyay, Anupam, et al.
Pubblicazione: (2025)

FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree
di: Lohrey, Markus, et al.
Pubblicazione: (2025)

Modelling Multiplicative Linear Logic via Deep Inference
di: Galor, Tomer, et al.
Pubblicazione: (2024)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
di: Civini, Emanuele, et al.
Pubblicazione: (2026)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
di: Ielo, Antonio, et al.
Pubblicazione: (2024)

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

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
di: Sebastiani, Roberto
Pubblicazione: (2025)

Using Color Refinement to Boost Enumeration and Counting for Acyclic CQs of Binary Schemas
di: Riveros, Cristian, et al.
Pubblicazione: (2024)

Quantum Circuits Are Just a Phase
di: Heunen, Chris, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
di: Meng, Qiaolan, et al.
Pubblicazione: (2025)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
di: Van Caudenberg, Daimy, et al.
Pubblicazione: (2025)

Linear Arboreal Categories
di: Abramsky, Samson, et al.
Pubblicazione: (2023)

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
di: Masina, Gabriele, et al.
Pubblicazione: (2025)

Hypergraph Neural Networks Accelerate MUS Enumeration
di: Ijima, Hiroya, et al.
Pubblicazione: (2026)

Pairwise Independence of Representation, Classification, and Composition in Finite Extensional Magmas
di: Palmieri, Stefano
Pubblicazione: (2026)

Ranked Enumeration for MSO on Trees via Knowledge Compilation
di: Amarilli, Antoine, et al.
Pubblicazione: (2023)

An Enumerative Embedding of the Python Type System in ACL2s
di: Xifaras, Samuel, et al.
Pubblicazione: (2025)

Better Extension Variables in DQBF via Independence
di: Chew, Leroy, et al.
Pubblicazione: (2025)