:: Library Catalog

Salvato in:

Dettagli Bibliografici
Autori principali:	Martinez-Gil, Jorge, Paoletti, Alejandra Lorena, Rácz, Gábor, Sali, Attila, Schewe, Klaus-Dieter
Natura:	Preprint
Pubblicazione:	2017
Soggetti:	Logic in Computer Science 68-04
Accesso online:	https://arxiv.org/abs/1706.06944
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms
di: Schewe, Klaus-Dieter, et al.
Pubblicazione: (2025)

Choiceless Polynomial Space
di: Ferrarotti, Flavio, et al.
Pubblicazione: (2024)

A Complete Fragment of LTL(EB)
di: Ferrarotti, Flavio, et al.
Pubblicazione: (2024)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
di: Schewe, Klaus-Dieter
Pubblicazione: (2020)

Algebra of Self-Replication
di: Moss, Lawrence S.
Pubblicazione: (2023)

On Chaitin's Heuristic Principle and Halting Probability
di: Salehi, Saeed
Pubblicazione: (2023)

A formal proof of the Ramanujan--Nagell theorem in Lean 4
di: Banwait, Barinder S.
Pubblicazione: (2026)

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
di: Salvadori, Daniel Augusto Rizzi
Pubblicazione: (2025)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
di: Spreen, Dieter
Pubblicazione: (2025)

Matching logic -- a new axiomatization
di: Leuştean, Laurenţiu, et al.
Pubblicazione: (2025)

A Formalization of Abstract Rewriting in Agda
di: Arkle, Sam, et al.
Pubblicazione: (2026)

Intersection Types via Finite-Set Declarations
di: Kamareddine, Fairouz, et al.
Pubblicazione: (2024)

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning
di: Cifuentes, Santiago, et al.
Pubblicazione: (2024)

There is a deep 1-generic set
di: Li, Ang
Pubblicazione: (2024)

A logic-based framework for database repairs
di: Fröhlich, Nicolas, et al.
Pubblicazione: (2023)

A Physical Analogy between Molecular Ordering and SAT-to-Ising Annealing
di: Dubey, ShivKishan, et al.
Pubblicazione: (2025)

Game Comonads & Generalised Quantifiers
di: Conghaile, Adam Ó, et al.
Pubblicazione: (2020)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
di: Haak, Anselm, et al.
Pubblicazione: (2026)

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

The Constraint Satisfaction Problem Over Multisorted Cores
di: Delic, Dejan, et al.
Pubblicazione: (2025)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
di: Motoura, Shota, et al.
Pubblicazione: (2025)

Verifiably Robust Conformal Prediction
di: Jeary, Linus, et al.
Pubblicazione: (2024)

A modal logic translation of the AGM axioms for belief revision
di: Bonanno, Giacomo
Pubblicazione: (2025)

Certifying rings of integers in number fields
di: Baanen, Anne, et al.
Pubblicazione: (2024)

Polynomial definability in constraint languages with few subpowers
di: Bulín, Jakub, et al.
Pubblicazione: (2023)

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
di: Kattermann, David, et al.
Pubblicazione: (2025)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
di: Amato, Gianluca, et al.
Pubblicazione: (2024)

Constraint satisfaction problems, compactness and non-measurable sets
di: Tardif, Claude
Pubblicazione: (2025)

Influence-Inspired Spectral Rotations for Extreme Low-Bit LLM Quantization
di: Pavlov, Gorgi
Pubblicazione: (2026)

The Fractal Logic of Phi-adic Recursion
di: Rosko, Milan
Pubblicazione: (2025)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
di: Pardal, Nina, et al.
Pubblicazione: (2024)

TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
di: Schewe, Klaus-Dieter, et al.
Pubblicazione: (2025)

Don't Forget Imagination!
di: Vityaev, Evgenii E., et al.
Pubblicazione: (2025)

Domain size asymptotics for Markov logic networks
di: Koponen, Vera
Pubblicazione: (2025)

Undefinability of Approximation of 2-to-2 Games
di: Dawar, Anuj, et al.
Pubblicazione: (2025)

Provability in BI's Sequent Calculus is Decidable
di: Gheorghiu, Alexander, et al.
Pubblicazione: (2021)

Unifying lower bounds for algebraic machines, semantically
di: Seiller, Thomas, et al.
Pubblicazione: (2018)

Formalizing the Classical Isoperimetric Inequality in the Two-Dimensional Case
di: Samarakkody, Miraj
Pubblicazione: (2026)

Composing Codensity Bisimulations
di: Kori, Mayuko, et al.
Pubblicazione: (2024)

RustyDL: A Program Logic for Rust
di: Drodt, Daniel, et al.
Pubblicazione: (2026)