Sciweavers

2597 search results - page 298 / 520
» On numbers of Davenport-Schinzel sequences
Sort
View
CORR
2010
Springer
51views Education» more  CORR 2010»
15 years 6 months ago
On ternary square-free circular words
Circular words are cyclically ordered finite sequences of letters. We give a computer-free proof of the following result by Currie: square-free circular words over the ternary alp...
Arseny M. Shur
CSDA
2008
62views more  CSDA 2008»
15 years 6 months ago
Waiting time distribution of generalized later patterns
In this paper the concept of later waiting time distributions for patterns in multi-state trials is generalized to cover a collection of compound patterns that must all be counted...
Donald E. K. Martin, John A. D. Aston
COMBINATORICS
2006
129views more  COMBINATORICS 2006»
15 years 6 months ago
Descendants in Increasing Trees
Simple families of increasing trees can be constructed from simply generated tree families, if one considers for every tree of size n all its increasing labellings, i. e. labellin...
Markus Kuba, Alois Panholzer
COMBINATORICS
2006
126views more  COMBINATORICS 2006»
15 years 6 months ago
The Induced Subgraph Order on Unlabelled Graphs
A differential poset is a partially ordered set with raising and lowering operators U and D which satisfy the commutation relation DU-UD = rI for some constant r. This notion may ...
Craig A. Sloss
176
Voted
ENTCS
2006
130views more  ENTCS 2006»
15 years 6 months ago
LSC Verification for UML Models with Unbounded Creation and Destruction
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
Bernd Westphal