Image de couverture de livre

Classification of Covering Spaces and Canonical Change of Basepoint

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wemmenhove, Jelle, Manea, Cosmin, Portegies, Jim
Format:	Preprint
Publié:	2024
Sujets:	Algebraic Topology Logic in Computer Science Logic 68V20 F.4.1; I.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
par: Farmer, William M., et autres
Publié: (2023)

Mechanised uniform interpolation for modal logics K, GL, and iSL
par: Férée, Hugo, et autres
Publié: (2024)

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
par: Santacana, Andreu Ballus
Publié: (2025)

Locality in Residuated-Lattice Structures
par: Carr, James
Publié: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

Modal Logics -- RNmatrices vs. Nmatrices
par: Coniglio, Marcelo E., et autres
Publié: (2024)

Robust Computation Tree Logic
par: Nayak, Satya Prakash, et autres
Publié: (2022)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
par: Catta, Davide, et autres
Publié: (2026)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
par: Farmer, William M.
Publié: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
par: Barlatier, Patrick, et autres
Publié: (2025)

A formalization of Borel determinacy in Lean
par: Manthe, Sven
Publié: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
par: Martina, Antoine, et autres
Publié: (2023)

TPTP World Infrastructure for Non-classical Logics
par: Steen, Alexander, et autres
Publié: (2025)

A Sequent Calculus for General Inductive Definitions
par: Eede, Robbe Van den, et autres
Publié: (2026)

On the Formalization of Network Topology Matrices in HOL
par: Aksoy, Kubra, et autres
Publié: (2026)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
par: Galimullin, Rustam, et autres
Publié: (2026)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
par: Mustafa, Daham, et autres
Publié: (2026)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
par: Galimullin, Rustam, et autres
Publié: (2025)

Varieties of Distributed Knowledge
par: Galimullin, Rustam, et autres
Publié: (2025)

A Modular First Formalisation of Combinatorial Design Theory
par: Edmonds, Chelsea, et autres
Publié: (2021)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
par: Tsamoura, Efthymia, et autres
Publié: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
par: Jung, Jean Christoph, et autres
Publié: (2023)

Formal Verification of Diffusion Auctions
par: Galimullin, Rustam, et autres
Publié: (2025)

Comparing State-Representations for DEL Model Checking
par: Behnke, Gregor, et autres
Publié: (2025)

Logic interpretations of ANN partition cells
par: Schmitt, Ingo
Publié: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
par: Cate, Balder ten, et autres
Publié: (2024)

Canonical for Automated Theorem Proving in Lean
par: Norman, Chase, et autres
Publié: (2025)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
par: David, Robert, et autres
Publié: (2025)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
par: Zhang, Liao, et autres
Publié: (2024)

Constructive and Predicative Locale Theory in Univalent Foundations
par: Tosun, Ayberk
Publié: (2026)

Oruga: An Avatar of Representational Systems Theory
par: Raggi, Daniel, et autres
Publié: (2025)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
par: Echenim, Mnacho, et autres
Publié: (2023)

Neural networks as fuzzy logic formulas
par: Heiman, Damian, et autres
Publié: (2026)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
par: Koomullil, George
Publié: (2026)

A convergence law for continuous logic and continuous structures with finite domains
par: Koponen, Vera
Publié: (2025)

On the existence of strong proof complexity generators
par: Krajicek, Jan
Publié: (2022)

Encoding argumentation frameworks with set attackers to propositional logic systems
par: Tang, Shuai, et autres
Publié: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
par: Tang, Shuai
Publié: (2025)

Which are the True Defeasible Logics?
par: Maher, Michael J.
Publié: (2024)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
par: Waldinger, Richard
Publié: (2025)