544 search results - page 19 / 109 » The Algebra of Equality Proofs |
136
click to vote
ISMVL
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
157
click to vote
TCS
2008
15 years 5 months ago
2008
Soittola's theorem characterizes R+- or N-rational formal power series in one variable among the rational formal power series with nonnegative coefficients. We present here a...
175
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
124
click to vote
AAECC
2002
Springer
15 years 5 months ago
2002
Springer
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a ...
147
click to vote
DM
2002
15 years 5 months ago
2002
We present here a proof that a certain rational function Cn(q, t) which has come to be known as the "q, t-Catalan" is in fact a polynomial with positive integer coeffici...