114 search results - page 11 / 23 » Symbolic computation of differential equivalences |
CORR
2006
Springer
13 years 9 months ago
2006
Springer
John McCleary insisted in his interesting textbook entitled "User's guide to spectral sequences" on the fact that the tool "spectral sequence" is not in t...
CIE
2008
Springer
13 years 11 months ago
2008
Springer
Consider the problem of calculating the fractal dimension of a set X consisting of all infinite sequences S over a finite alphabet that satisfy some given condition P on the asympt...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
MFCS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We investigate the structure of the set of gapped motifs (repeated patterns with don’t cares) of a given string of symbols. A natural equivalence classification is int...
FCT
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...