Logfun

MaRDI QIDQ33729swMATHFDO

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

Cited in

(2)

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

This page was built for software: Logfun