This page offers a comprehensive display on all works available
for download through this site and various mirrors.
| Software |
| GreekTeX |
|
Release 3.1 |
 |
Release Note |
|
300dpi Fonts (PK) |
|
300 dpi Fonts (TFM) |
|
Release 4.0 (Alpha) |
|
Dotex
(TeX automation script for GNU bash) |
| Contraint
Logic Programming |
|
System
Extensions of CLP(R) 1.1 |
|
System Extensions of CLP(R)
1.2 |
|
Constructive Negation for
CLP(R) 1.1 |
|
Constructive Negation for
CLP(R) 1.2 |
|
Event
Calculus in CLP(R) |
| |
|
The Language Euclid (under
SunOS 4.1.3_U1) |
| Bibliographical |
|
MARC
Handling Libraries |
| Unix Utilities |
|
Greek
Fonts for 386BSD Unix Release Note |
| |
|
Greek Fonts for 386BSD
Unix |
 |
| Papers |
| The
Language Euclid |
|
Talk
on Euclid (slides) |
|
|
Representing Systems of
Interactive Components in Euclid (MATH & AI Conference) |
| Artificial
Intelligence |
|
Qualitative
Reasoning about Physical Systems (Msc Thesis) |
|
|
Implementing
the Event Calculus in CLP(R) |
|
|
Implementing Constructive
Negation in CLP(R) |
|
Domain
Logic Programming: Theory and Application to Scientific
Knowledge Representation (PhD Thesis) |
| Physics |
|
Newton-Cartan
Space Time (MSc Thesis) |
| GreekTeX |
|
kdgreek
Font Table |
| |
|
Typesetting text with greektex |
| |
|
In the Company of TeX and
Friends |
|
