next up previous
Up: foetus - Termination Checker Previous: References

About this document ...

foetus - Termination Checker for Simple Functional Programs

This document was generated using the LaTeX2HTML translator Version 97.1 (release) (July 13th, 1997)

Copyright © 1993, 1994, 1995, 1996, 1997, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The command line arguments were:
latex2html -reuse 2 -split 4 -link 1 -no_math -html_version 3.2,math -bottom_navigation -dir /home/stud/abel/public_html/publications/foetus foetus.tex.

The translation was initiated by Andreas Abel on 7/16/1998


next up previous
Up: foetus - Termination Checker Previous: References
Andreas Abel, 7/16/1998