1916 search results - page 8 / 384 » Reasoning with class algebra |
AISC
2004
Springer
14 years 1 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...
LICS
1996
IEEE
14 years 2 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...
LICS
1997
IEEE
14 years 2 months ago
1997
IEEE
ORDER
2006
13 years 9 months ago
2006
We investigate ways of representing ordered sets as algebras and how the order relation is reflected in the algebraic properties of the variety (equational class) generated by the...
LACL
2001
Springer
14 years 2 months ago
2001
Springer
