DeReS

MaRDI QIDQ44023swMATHFDO

Official website http://www3.cs.uky.edu/~marek/papers.dir/97.dir/deres2.pdf

Cited in

(7)

• dl2asp
• fCube
• HTab
• HGen
• Automated non-monotonic reasoning in System \textbf{P}
• GK
• A tableaux calculus for default intuitionistic logic

This page was built for software: DeReS