37 search results - page 8 / 8 » Weak Equivalence in Propositional Calculus |
ISIPTA
1999
IEEE
13 years 10 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
CASC
2006
Springer
13 years 10 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...