:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Otto, Martin
Format:	Preprint
Published:	2012
Subjects:	Combinatorics Discrete Mathematics Logic in Computer Science 05C, 08A, 03C, 20L05 F.4.1; E.1
Online Access:	https://arxiv.org/abs/1211.5656
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Characterisation of the big Ramsey degrees of the generic partial order
by: Balko, Martin, et al.
Published: (2023)

Ramsey expansions of metrically homogeneous graphs
by: Aranda, Andrés, et al.
Published: (2017)

Big Ramsey degrees using parameter spaces
by: Hubička, Jan
Published: (2020)

Finite Groupoids, Finite Coverings and Symmetries in Finite Structures
by: Otto, Martin
Published: (2014)

Forbidden cycles in metrically homogeneous graphs
by: Hubička, Jan, et al.
Published: (2018)

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

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

Homomorphism Indistinguishability and Game Comonads for Restricted Conjunction and Requantification
by: Schindling, Georg
Published: (2025)

Oscillating subalgebras of the atomless countable Boolean algebra
by: Bartošová, Dana, et al.
Published: (2025)

Hereditary First-Order Logic: the tractable quantifier prefix classes
by: Bodirsky, Manuel, et al.
Published: (2024)

On the Computational Power of Extensional ESO
by: Bodirsky, Manuel, et al.
Published: (2025)

Big Ramsey Degrees and Infinite Languages
by: Braunfeld, Samuel, et al.
Published: (2023)

A combinatorial proof of the extension property for partial isometries
by: Hubička, Jan, et al.
Published: (2018)

Acyclicity in finite groups and groupoids
by: Otto, Martin
Published: (2018)

GMSNP and Finite Structures
by: Guzmán-Pro, Santiago
Published: (2024)

First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs
by: Geniet, Colin, et al.
Published: (2022)

Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)

Graded Monads in the Semantics of Nominal Automata
by: Schulze, Hannes, et al.
Published: (2025)

Perfect stable regularity lemma and slice-wise stable hypergraphs
by: Chernikov, Artem, et al.
Published: (2024)

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

The Category Dichotomy for Ideals
by: Dow, Alan, et al.
Published: (2025)

Notes on CSPs and Polymorphisms
by: Brady, Zarathustra
Published: (2022)

A Tame Generic Structure with Non-Algebraic Geometric Closure
by: Jalili, Somaye, et al.
Published: (2020)

A Modular First Formalisation of Combinatorial Design Theory
by: Edmonds, Chelsea, et al.
Published: (2021)

Local expressions of hereditary classes
by: Guzmán-Pro, Santiago
Published: (2024)

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

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
by: Edmonds, Chelsea, et al.
Published: (2023)

Hamilton decompositions of all directed tori at odd modulus
by: Park, SangHyun
Published: (2026)

Finite Vertex-colored Ultrahomogeneous Oriented Graphs
by: Heinrich, Irene, et al.
Published: (2024)

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

A classification of bisimilarities for general Markov decision processes
by: Moroni, Martín Santiago, et al.
Published: (2024)

The complexity of bisimilarity on pointmass processes
by: Moroni, Martín Santiago, et al.
Published: (2026)

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
by: Bodirsky, Manuel, et al.
Published: (2020)

Structural focalization
by: Simmons, Robert J.
Published: (2011)

Learning Families of Algebraic Structures from Text
by: Bazhenov, Nikolay, et al.
Published: (2024)

A Constructive Fragment of Physical Propositions
by: Rosko, Milan
Published: (2025)

Conjunctive categorial grammars and Lambek grammars with additives
by: Kuznetsov, Stepan L., et al.
Published: (2024)

Dismantling the Surprise Test "Paradox"
by: Dietzfelbinger, Martin
Published: (2026)

Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
by: Mourad, Daniel
Published: (2024)