Private publication during retirement:
- Formal Description of Anything in the Universe [PDF]
- Evaluation of Predicate Calculus [PDF]
- Telecom Network Registration [PDF]
- Customer and Product Registration [PDF]
- Order Definition [PDF]
- Is Predicate Calculus a Descriptive Language? [PDF]
- Ontology [PDF]
- Kolmogorov Complexity Revisited [PDF]
- Discussion on Excecution [PDF]
- Execution through State Changes [PDF]
- Sorting and other functions [PDF]
- Existence Logic [PDF]
- Example Application [PDF]
- Insertions and Deletions [PDF]
- Data Design [PDF]