1 |
A general theorem on termination of rewriting
|
|
|
|
In: Proceedings of the 18th Annual Conference of the European Association for Computer Science Logic (CSL 2004) (2015)
|
|
BASE
|
|
Show details
|
|
2 |
A general theorem on termination of rewriting
|
|
|
|
In: Proceedings of the 18th Annual Conference of the European Association for Computer Science Logic (CSL 2004) (2015)
|
|
BASE
|
|
Show details
|
|
3 |
A first-order policy language for history-based transaction monitoring
|
|
|
|
In: Proceedings of The 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009) ; http://www.springerlink.com/content/978-3-642-03465-7 (2015)
|
|
BASE
|
|
Show details
|
|
4 |
System description: The Tableau workbench
|
|
|
|
In: Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007) ; http://dx.doi.org/10.1016/j.entcs.2009.02.025 (2015)
|
|
BASE
|
|
Show details
|
|
|
|