Вы здесь
Giesl J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Generating Polynomial Orderings for Termination Proofs | 1995 | Giesl J. | Lecture Notes in Computer Science | 28.04.1995 | |||
| СТ | Termination Analysis for Functional Programs Using Term Orderings | 1995 | Giesl J. | Lecture Notes in Computer Science | Static Analysis | 16.11.1995 | ||
| СТ | Applying Rewriting Techniques to the Verification of Erlang Processes | 1999 | Arts T., Giesl J. | Lecture Notes in Computer Science | 12.11.1999 | |||
| СТ | Closure Induction in a Z-Like Language | 2000 | Duffy D. A., Giesl J. | Lecture Notes in Computer Science | 21.10.2000 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Term Rewriting and Applications: Proc./16th International Conference, RTA 2005. Nara, Japan, April 2005 | 2005 | Lecture Notes in Computer Science |
|
19.05.2005 | |||
| СБ | Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010 | 2010 | Lecture Notes in Artificial Intelligence |
|
21.09.2010 |