193 search results - page 7 / 39 » Automated Reasoning in Kleene Algebra |
DLOG
2009
14 years 9 months ago
2009
AISC
2004
Springer
15 years 3 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
118
click to vote
LICS
1996
IEEE
15 years 3 months ago
1996
IEEE
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of str...
DLOG
1996
15 years 1 months ago
1996
ECSQARU
2007
Springer
15 years 6 months ago
2007
Springer
The representation of both scales of cost and scales of benefit is very natural in a decision-making problem: scales of evaluation of decisions are often bipolar. The aim of this ...