Вы здесь

Arts T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verifying a Distributed Database Lookup Manager Written in Erlang 1999 Arts T., Dam M. Lecture Notes in Computer Science 30.10.1999
СТ Verifying Generic Erlang Client-Server Implementations 2001 Arts T., Noll T. Lecture Notes in Computer Science 23.05.2001
СТ Termination of Logic Programs using Semantic Unification 1996 Arts T., Zantema H. Lecture Notes in Computer Science 30.03.1996
М Automatically Proving Termination and Innermost Normalisation of Term Rewriting Systems 1969 Arts T. Univ. Utrecht 09.01.1998
СТ Applying Rewriting Techniques to the Verification of Erlang Processes 1999 Arts T., Giesl J. Lecture Notes in Computer Science 12.11.1999