Results for:
"
Kees+Christiaanse
" in Documents
- BLUe s Bibliography-a generic approach 1 citations ? 0 self
- A new and flexible approach to maintaining and using a bibliography database within (All)T E Xis provided.
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- BLUe s Bibliography-a generic approach 1 citations — 0 self
- A new and flexible approach to maintaining and using a bibliography database within (All)T E Xis provided.
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 15-05-09
- Counting Variables in a Dynamic Setting 1996
- We discuss the issue of finite variable fragments from a dynamic perspective. Instead of taking PRED, first order logic with equality, as our base language, we look at DPLE, a variant of predicate log...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Counting Variables in a Dynamic Setting 1996
- We discuss the issue of finite variable fragments from a dynamic perspective. Instead of taking PRED, first order logic with equality, as our base language, we look at DPLE, a variant of predicate log...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Counting Variables in a Dynamic Setting 1996
- We discuss the issue of finite variable fragments from a dynamic perspective. Instead of taking PRED, first order logic with equality, as our base language, we look at DPLE, a variant of predicate log...
-
Rating:
Views: (1004)
Pages: ()
Uploaded: 13-05-09
- BLUe s Verbatim- the selection
- A suite of macros for verbatim mode has been provided, which are simple, concise and flexible.
-
Rating:
Views: (1004)
Pages: ()
Uploaded: 15-05-09
- BLUe s Verbatim- the selection
- A suite of macros for verbatim mode has been provided, which are simple, concise and flexible.
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- Comparison of an Aethereal Network on Chip and traditional interconnec...
- Abstract. Todo 1
-
Rating:
Views: (1031)
Pages: ()
Uploaded: 13-05-09