Sciweavers

595 search results - page 44 / 119
» Incidence of
Sort
View
DLT
2006
13 years 10 months ago
On Critical Exponents in Fixed Points of Non-erasing Morphisms
Let be an alphabet of size t, let f : be a non-erasing morphism, let w be an infinite fixed point of f, and let E(w) be the critical exponent of w. We prove that if E(w) is fi...
Dalia Krieger
UAI
1992
13 years 9 months ago
Interval Structure: A Framework for Representing Uncertain Information
In this paper, a unified framework for representing uncertain information based on the notion of an interval structure is proposed. It is shown that the lower and upper approximat...
S. K. Michael Wong, Lusheng Wang, Yiyu Yao
COMBINATORICS
2006
114views more  COMBINATORICS 2006»
13 years 8 months ago
Total 4-Choosability of Series-Parallel Graphs
It is proved that, if G is a K4-minor-free graph with maximum degree 3, then G is totally 4-choosable; that is, if every element (vertex or edge) of G is assigned a list of 4 colo...
Douglas R. Woodall
CSJM
2007
60views more  CSJM 2007»
13 years 8 months ago
An edge colouring of multigraphs
We consider a strict k-colouring of a multigraph G as a surjection f from the vertex set of G into a set of colours {1,2,. . . ,k} such that, for every non-pendant vertex x of G, ...
Mario Gionfriddo, Alberto Amato
JSYML
2008
84views more  JSYML 2008»
13 years 8 months ago
The modal logic of affine planes is not finitely axiomatisable
We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. To evaluate formulas, we regard an affine plane as a Kripke...
Ian Hodkinson, Altaf Hussain