896 search results - page 18 / 180 » On completeness of word reversing |
IPL
2006
13 years 7 months ago
2006
Knuth-Bendix completions of the equational theories of k 2 commuting group endomorphisms are obtained, using automated theorem proving and modern termination checking. This impro...
Book
"In the midst of all the commotion, remember three words. These three words lay
the foundation to the Charlotte Mason way of homeschooling. These three words can
guide all t...
COMBINATORICS
2000
13 years 7 months ago
2000
A construction is described for combining affine designs with complete sets of mutually orthogonal frequency squares to produce other complete sets. Key words: Matrices, orthogona...
MS
2003
13 years 8 months ago
2003
A dynamic model of a nickel hydrogen battery implemented in the Virtual Test Bed (VTB) is presented. The battery system is simplified as such one-electrontransfer redox reaction o...
GC
2008
Springer
13 years 7 months ago
2008
Springer
Gioan showed that the number of cycle reversing classes of totally cyclic orientations of a given graph can be calculated as an evaluation of the corresponding Tutte polynomial. We...