Science · Mathematics

MUltseq

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Website

Share

About MUltseq

MUltseq- A generic sequent prover for propositional finitely-valued logics.

Tags

Meetings

Where it sits

Science Mathematics

More in Mathematics