Вы здесь

Bert D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems 2002 Barradas H. R., Bert D. Lecture Notes in Computer Science 21.06.2002
СТ Abstraction of Conditional Term Rewriting Systems 1995 Bert D., Echahed R. Logic Programming: Proc. of the 1995 Intern. Symp. 24.04.1996
СТ A Modal Inference System for Generic Specification with Application to Code Sharing 1995 Bert D., Oriat C. Lecture Notes in Computer Science 20.06.1995
СТ On the Operational Semantics of the Algebraic and Logic Programming Language LPG 1995 Bert D., Echahed R. Lecture Notes in Computer Science 24.05.1995
СТ Abstract Rewriting 1993 Bert D., Echahed R., Ostvold B. M. Lecture Notes in Computer Science 11.12.1993