Skip navigation links

Package jtabwbx.modal.btformula

A basic implementation of propositional modal formulas as binary trees.

See: Description

Package jtabwbx.modal.btformula Description

A basic implementation of propositional modal formulas as binary trees.
Author:
Mauro Ferrari
Skip navigation links