Copertina

Universal Algebra in UniMath

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Amato, Gianluca, Maggesi, Marco, Parton, Maurizio, Brogi, Cosimo Perini
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Logic in Computer Science F.4.0
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Universal Algebra in UniMath
di: Amato, Gianluca, et al.
Pubblicazione: (2021)

A meta-modal logic for bisimulations
di: Burrieza, Alfredo, et al.
Pubblicazione: (2025)

The Syllogistic with Unity
di: Pratt-Hartmann, Ian
Pubblicazione: (2011)

A Note on the NP-Hardness of PARTITION Via First-Order Projections
di: Iturralde, Paúl Risco
Pubblicazione: (2025)

Graphical Quadratic Algebra
di: Stein, Dario, et al.
Pubblicazione: (2024)

Constructibility and the P versus NP problem
di: Hole, Arne
Pubblicazione: (2024)

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
di: Alexandru, Baltag, et al.
Pubblicazione: (2025)

On the $p$-adic Skolem Problem
di: Bacik, Piotr, et al.
Pubblicazione: (2025)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
di: Piedeleu, Robin, et al.
Pubblicazione: (2024)

Different Theories of Parts
di: Pietruszczak, Andrzej
Pubblicazione: (2024)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
di: Kuang, Qipeng, et al.
Pubblicazione: (2025)

A Theory for Probabilistic Polynomial-Time Reasoning
di: Chen, Lijie, et al.
Pubblicazione: (2026)

Cardinality and Representation of Stone Relation Algebras
di: Furusawa, Hitoshi, et al.
Pubblicazione: (2023)

Structure-Guided Automated Reasoning
di: Bannach, Max, et al.
Pubblicazione: (2023)

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
di: Sun, Shixin, et al.
Pubblicazione: (2026)

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
di: Kůla, Václav, et al.
Pubblicazione: (2025)

What If Turing Had Preceded Gödel?
di: Oberhoff, Sebastian
Pubblicazione: (2024)

A Guide to Krivine Realizability for Set Theory
di: Matthews, Richard
Pubblicazione: (2023)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
di: Bansal, Suguman, et al.
Pubblicazione: (2025)

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
di: Cerda, Rémy, et al.
Pubblicazione: (2023)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
di: Cerda, Rémy, et al.
Pubblicazione: (2022)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
di: Schmoetten, Richard, et al.
Pubblicazione: (2024)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
di: Perháč, Ján, et al.
Pubblicazione: (2025)

Neural networks as fuzzy logic formulas
di: Heiman, Damian, et al.
Pubblicazione: (2026)

Bridging Weighted First Order Model Counting and Graph Polynomials
di: Kuang, Qipeng, et al.
Pubblicazione: (2024)

On Expansions of Monadic Second-Order Logic with Dynamical Predicates
di: Nieuwveld, Joris, et al.
Pubblicazione: (2025)

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
di: Backhouse, Roland, et al.
Pubblicazione: (2023)

A proof complexity conjecture and the Incompleteness theorem
di: Krajicek, Jan
Pubblicazione: (2023)

A Theory of Hanoi Omega-Automata and Games
di: Filiot, Emmanuel, et al.
Pubblicazione: (2026)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
di: Rahnama, Moses
Pubblicazione: (2025)

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

Probabilistic Shoenfield Machines
di: Bujok, Maksymilian, et al.
Pubblicazione: (2024)

Set Theory in the Foundation of Math; Internal Classes and External Sets
di: Levin, Leonid A.
Pubblicazione: (2022)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
di: Lau, Desmond
Pubblicazione: (2024)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
di: Kapytka, Maryia
Pubblicazione: (2026)

Serial Properties, Selector Proofs, and the Provability of Consistency
di: Artemov, Sergei
Pubblicazione: (2024)

Non-Compact Proofs
di: Artemov, Sergei
Pubblicazione: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
di: Artemov, Sergei
Pubblicazione: (2025)

Satisfiability in Łukasiewicz logic and its unbounded relative
di: Haniková, Zuzana, et al.
Pubblicazione: (2025)

Semi-Substructural Logics à la Lambek
di: Wan, Cheng-Syuan
Pubblicazione: (2024)