Results 51 to 60 of about 1,635,411 (70)
Extending Skolem sequences, how can you begin?
, 2008 For each n ≥ 1and1≤j ≤ n we show the existence of an extended Skolem sequence of order n starting with the symbol j.
V. Linek
core
Skolem Meets Bateman-Horn [PDF]
The Skolem Problem asks to determine whether a given integer linear recurrence sequence has a zero term. This problem arises across a wide range of topics in computer science, including loop termination, formal languages, automata theory, and control ...
Maynard, James +4 more
core +1 more source
Cyclic block designs from Skolem-type sequences [PDF]
, 2015 M. Colbourn and R. Mathon [45] asked: "Can Skolem's partitioning problems be generalized to yield cyclic BIBD(v; 4; 1)?". Rosa [76] asked: \What is the format of Skolem-type sequences that leads to cyclic BIBD(v; k; λ) for k [greater than ...
Silvesan, Daniela
core +1 more source
A Century Under Foot: American Hooked Rugs, 1800-1900
, 1988 Photograph of the exhibition "A Century Under Foot: American Hooked Rugs, 1800-1900," March 26-May 22, 1988, held at the Dallas Museum of ...
Dallas Museum of Art
core +3 more sources
From Peirce to Skolem : a neglected chapter in the history of logic /
, 2000 This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schröder, Leopold Löwenheim, and Thoralf Skolem.
Brady, Geraldine.
core
, 2016 We consider the problem of computing Skolem functions for satisfied dependency quantified Boolean formulas (DQBFs). We show how Skolem functions can be obtained from an elimination-based DQBF solver and how to take preprocessing steps into account.
Wimmer, Karina +3 more
core +1 more source
Skolem paradox in set theory [PDF]
, 2012 This works aims to map the development of the Löwenheim-Skolems the- orem from Ernst Schröder to Thoralf Skolem using original mathematical notation.
Liepoldová, Tereza
core
Reflections on Skolem's Paradox
, 2007 In 1922, Thoraf Skolem published a paper titled "Some remarks on Axiomatized Set Theory". The paper presents a new proof of... This dissertation focuses almost exclusively on the first half of this project -- i.e., the half which tries to ...
Timothy Bays
core
A note on the hardness of Skolem-type sequences
Discrete Applied Mathematics, 2010 The purpose of this note is to give upper bounds (assuming P different from NP) on how far the generalizations of Skolem sequences can be taken while still hoping to resolve the existence question.
Gustav Nordh
exaly +2 more sources
Some of the next articles are maybe not open access.
Skolem and Rosa rectangles and related designs
Discrete Mathematics, 2014Nabil Shalaby, Vaclav Linek
exaly