290 search results - page 8 / 58 » Congruence for Structural Congruences |
ANTS
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. This paper describes a method for computing the fundamental unit and regulator of a purely cubic congruence function field of unit
ICALP
2010
Springer
14 years 5 days ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
BIRTHDAY
2005
Springer
14 years 28 days ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
ISCI
2010
13 years 5 months ago
2010
An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to...
SMI
2003
IEEE
14 years 20 days ago
2003
IEEE
Reverse engineering allows the geometric reconstruction of simple mechanical parts. However, the resulting models suffer from inaccuracies caused by errors in measurement and reco...