Вы здесь

Echahed R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Parallel Evaluation Strategies for Functional Logic Languages 1997 Antoy S., Echahed R., Hanus M. Logic Programming 11.03.1998
СТ Abstraction of Conditional Term Rewriting Systems 1995 Bert D., Echahed R. Logic Programming: Proc. of the 1995 Intern. Symp. 24.04.1996
СТ 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
СТ Verifying Invariance Properties of Timed Systems with Duration Variables 1994 Bouajjani A., Echahed R., Robbana R. Lecture Notes in Computer Science 19.10.1994
СТ Verification of Nonregular Temporal Properties for Context-Free Processes 1994 Bouajjani A., Echahed R., Robbana R. Lecture Notes in Computer Science 26.08.1994
СТ Abstract Rewriting 1993 Bert D., Echahed R., Ostvold B. M. Lecture Notes in Computer Science 11.12.1993
СТ Equational Reasoning and the Completion Procedure A Comparative Study in Program Transformation 1991 Echahed R., Jacquet P., Potet M. -L., Sebbar S. BIGRE 11.12.1991