Вы здесь

Colcombet T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On Families of Graphs Having a Decidable First Order Theory with Reachability 2002 Colcombet T. Lecture Notes in Computer Science 03.08.2002
СТ Enforcing Trace Properties by Program Transformation 2000 Colcombet T., Fradet P. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000