SLS

swMATH5256MaRDI QIDQ17396FDOQ17396

Author name not available (Why is that?)

Official website: http://dept-info.labri.u-bordeaux.fr/~idurand/SLS/

Cited In (2)

• A tool for reasoning about qualitative temporal information: the theory of S-languages with a Lisp implementation
• McCLIM

This page was built for software: SLS