:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Otto, Martin
Format:	Preprint
Veröffentlicht:	2012
Schlagworte:	Combinatorics Discrete Mathematics Logic in Computer Science 05C, 08A, 03C, 20L05 F.4.1; E.1
Online-Zugang:	https://arxiv.org/abs/1211.5656
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Extension property for partial automorphisms of the $n$-partite and semigeneric tournaments
von: Hubička, Jan, et al.
Veröffentlicht: (2024)

Characterisation of the big Ramsey degrees of the generic partial order
von: Balko, Martin, et al.
Veröffentlicht: (2023)

Ramsey expansions of metrically homogeneous graphs
von: Aranda, Andrés, et al.
Veröffentlicht: (2017)

Big Ramsey degrees using parameter spaces
von: Hubička, Jan
Veröffentlicht: (2020)

Finite Groupoids, Finite Coverings and Symmetries in Finite Structures
von: Otto, Martin
Veröffentlicht: (2014)

Forbidden cycles in metrically homogeneous graphs
von: Hubička, Jan, et al.
Veröffentlicht: (2018)

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
von: Bannach, Max, et al.
Veröffentlicht: (2025)

On Big Ramsey degrees of universal $ω$-edge-labeled hypergraphs
von: Hubička, Jan, et al.
Veröffentlicht: (2025)

Homomorphism Indistinguishability and Game Comonads for Restricted Conjunction and Requantification
von: Schindling, Georg
Veröffentlicht: (2025)

Oscillating subalgebras of the atomless countable Boolean algebra
von: Bartošová, Dana, et al.
Veröffentlicht: (2025)

Hereditary First-Order Logic: the tractable quantifier prefix classes
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

On the Computational Power of Extensional ESO
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)

Big Ramsey Degrees and Infinite Languages
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2023)

A combinatorial proof of the extension property for partial isometries
von: Hubička, Jan, et al.
Veröffentlicht: (2018)

Acyclicity in finite groups and groupoids
von: Otto, Martin
Veröffentlicht: (2018)

GMSNP and Finite Structures
von: Guzmán-Pro, Santiago
Veröffentlicht: (2024)

First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs
von: Geniet, Colin, et al.
Veröffentlicht: (2022)

Cut elimination for propositional cyclic proof systems with fixed-point operators
von: Hori, Hiromasa, et al.
Veröffentlicht: (2023)

Graded Monads in the Semantics of Nominal Automata
von: Schulze, Hannes, et al.
Veröffentlicht: (2025)

Perfect stable regularity lemma and slice-wise stable hypergraphs
von: Chernikov, Artem, et al.
Veröffentlicht: (2024)

Twenty years of Nešetřil's classification programme of Ramsey classes
von: Hubička, Jan, et al.
Veröffentlicht: (2025)

The Category Dichotomy for Ideals
von: Dow, Alan, et al.
Veröffentlicht: (2025)

Notes on CSPs and Polymorphisms
von: Brady, Zarathustra
Veröffentlicht: (2022)

A Tame Generic Structure with Non-Algebraic Geometric Closure
von: Jalili, Somaye, et al.
Veröffentlicht: (2020)

A Modular First Formalisation of Combinatorial Design Theory
von: Edmonds, Chelsea, et al.
Veröffentlicht: (2021)

Local expressions of hereditary classes
von: Guzmán-Pro, Santiago
Veröffentlicht: (2024)

i-QLS: Quantum-supported Algorithm for Least Squares Optimization in Non-Linear Regression
von: Venkatesh, Supreeth Mysore, et al.
Veröffentlicht: (2025)

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
von: Edmonds, Chelsea, et al.
Veröffentlicht: (2023)

Hamilton decompositions of all directed tori at odd modulus
von: Park, SangHyun
Veröffentlicht: (2026)

Finite Vertex-colored Ultrahomogeneous Oriented Graphs
von: Heinrich, Irene, et al.
Veröffentlicht: (2024)

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

A classification of bisimilarities for general Markov decision processes
von: Moroni, Martín Santiago, et al.
Veröffentlicht: (2024)

The complexity of bisimilarity on pointmass processes
von: Moroni, Martín Santiago, et al.
Veröffentlicht: (2026)

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2020)

Structural focalization
von: Simmons, Robert J.
Veröffentlicht: (2011)

Learning Families of Algebraic Structures from Text
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2024)

A Constructive Fragment of Physical Propositions
von: Rosko, Milan
Veröffentlicht: (2025)

Conjunctive categorial grammars and Lambek grammars with additives
von: Kuznetsov, Stepan L., et al.
Veröffentlicht: (2024)

Dismantling the Surprise Test "Paradox"
von: Dietzfelbinger, Martin
Veröffentlicht: (2026)

Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
von: Mourad, Daniel
Veröffentlicht: (2024)