Results for:
"
Bernhard+Kellermann
" in Documents
- Typed Kleene Algebras 1999 13 citations ? 9 self
- this paper and to J. Desharnais for pointing out the counterexample to locality of composition
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Typed Kleene Algebras 1999 13 citations ? 9 self
- this paper and to J. Desharnais for pointing out the counterexample to locality of composition
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 15-05-09
- How we do what we want A neuro-cognitive perspective on human action p...
- Humans perform actions to reach particular goals, that is, to intentionally create or modify personally relevant events---we move our eyes to learn more about a novel event, reach for a cup to quench ...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- The Future of Information Technology - an interdisciplinary scenario-b...
- The last decade has seen the most formidable technological advances in information and communication technology ranging from fibre optics to micro electronics, computers, and of course the Internet - ...
-
Rating:
Views: (1019)
Pages: ()
Uploaded: 13-05-09
- Extending the Entity-Relationship Model for a High-Level Theory-Based ...
- Syntax of the model
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 08-04-09
- Deductive Hardware Design A Functional Approach 1997
- . The goal of deductive design is the systematic construction of a system implementation starting from its behavioural specification according to formal, provably correct rules. We use Gofer/Haskell t...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- Deductive Hardware Design A Functional Approach 1997
- . The goal of deductive design is the systematic construction of a system implementation starting from its behavioural specification according to formal, provably correct rules. We use Gofer/Haskell t...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Deductive Hardware Design A Functional Approach 1997
- . The goal of deductive design is the systematic construction of a system implementation starting from its behavioural specification according to formal, provably correct rules. We use Gofer/Haskell t...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09