СТ |
Verifying Generic Erlang Client-Server Implementations |
2001 |
Arts T., Noll T. |
|
|
|
Lecture Notes in Computer Science |
23.05.2001 |
СТ |
Applying Rewriting Techniques to the Verification of Erlang Processes |
1999 |
Arts T., Giesl J. |
|
|
|
Lecture Notes in Computer Science |
12.11.1999 |
СТ |
Verifying a Distributed Database Lookup Manager Written in Erlang |
1999 |
Arts T., Dam M. |
|
|
|
Lecture Notes in Computer Science |
30.10.1999 |
М |
Automatically Proving Termination and Innermost Normalisation of Term Rewriting Systems |
1969 |
Arts T. |
|
|
Univ. Utrecht |
|
09.01.1998 |
СТ |
Termination of Logic Programs using Semantic Unification |
1996 |
Arts T., Zantema H. |
|
|
|
Lecture Notes in Computer Science |
30.03.1996 |