1916 search results - page 122 / 384 » Reasoning with class algebra |
109
Voted
ICFEM
2003
Springer
15 years 6 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
82
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that e...
141
Voted
ENTCS
2006
15 years 23 days ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
91
Voted
JCT
2010
14 years 11 months ago
2010
A self-avoiding walk (SAW) on the square lattice is prudent if it never takes a step towards a vertex it has already visited. Prudent walks differ from most classes of SAW that ha...
89
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...