1026 search results - page 27 / 206 » A Methodology for Equational Reasoning |
100
click to vote
ENGL
2008
15 years 2 months ago
2008
- Recently, bicycles are used as exercising machines and traffic vehicles. Planetary gear trains can be used as the transmission systems for bicycles. The purpose of this work is t...
RTA
1987
Springer
15 years 5 months ago
1987
Springer
We present completion methods for rewriting modulo a congruence, generalizing previous methods by Peterson and Stickel (1981) and Jouannaud and Kirchner (1986). We formalize our me...
APPML
2007
15 years 2 months ago
2007
We establish existence, uniqueness and a priori bounds for the half moment entropy approximation to radiative heat transfer. The bounds are physically reasonable and underline the...
150
click to vote
MCMASTER
1993
15 years 6 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
106
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
The “quadratic placement” methodology is rooted in [6] [14] [16] and is reputedly used in many commercial and in-house tools for placement of standard-cell and gate-array desi...