The monadic shallow linear (MSL) class is a decidable fragment of first-...
We propose a new cyclic proof system for automated, equational reasoning...
The pattern-match safety problem is to verify that a given functional pr...
This paper examines use of dynamic probabilistic networks (DPN) for huma...
share