ENTCS
2006
13 years 11 months ago
2006
d Abstract) 1 Matthias Schr
ENTCS
2008
13 years 11 months ago
2008
duce an abstract notion of POVM within the categorical quantum mechanical semantics in terms act categories. Our definition is justified by two facts: i. we provide a purely graph...
DEXA
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The notion of dependency is ubiquitous. This paper approaches this notion from the perspective of digital information preservation. At first, an abstract notion of modul...
CADE
2007
Springer
14 years 11 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...