Results for:
"
Kees+Bol
" 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: (1004)
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: (1008)
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
- Typesetting Crosswords via T E X
- Amacro is provided for typesetting crosswords via (plain) T E X, or any T E X, which allows \halign use. The specification of the crossword information can be done in the WYSIWYG way, and does not req...
-
Rating:
Views: (1044)
Pages: ()
Uploaded: 15-05-09