290 search results - page 37 / 58 » Congruence for Structural Congruences |
67
Voted
ACS
2005
15 years 18 days ago
2005
Abstract: In this paper we present a unified study of functorial frame quasiuniformities by means of Weil entourages and frame congruences. In particular, we use the pointfree vers...
46
Voted
MOC
1998
15 years 10 days ago
1998
An analogue for composite moduli m ≥ 2 of the Wilson quotient is studied. Various congruences are derived, and the question of when these quotients are divisible by m is investig...
193
Voted
FOSSACS
2011
Springer
14 years 4 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
99
Voted
CADE
2004
Springer
16 years 1 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...
88
Voted
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...