Literature Information and Documentation System.
40.000 entries in BibTeX database: Artificial Intelligence.
Persistent Bibliographic Information Records: intelligent user interfaces.
Omega Library, Omega Calculator, and Petit.
The library and calculator allow the manipulation of affine.
constraints on integer variables; Petit is used to demonstrate author's.
techniques for performing array dependence and dataflow analysis via.
constraint manipulation.
open environment for the development of specification documents based on Z.
type-setting, type checking and execution of pure Z by concurrent constraint resolution.
integrates the TeX engine and provides Z-LaTeX style