Logfun

MaRDI QIDQ33729swMATHFDO

Official website http://www.irisa.fr/LIS/ferre/logfun/

Cited in

(2)

• A modular and parameterized presentation of pregroup calculus
• Camelis: a logical information system to organise and browse a collection of documents

This page was built for software: Logfun