| galois | Write Galois connections in two-ddimensional style. | |
|---|---|---|
The author is Patrick Cousot. |
||
|
||
| License: unknown Updated: 1999-05-05 | ||
.
This page was generated 2004-11-03 01:37:06.