Вы здесь
Gramlich B.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems | 1994 | Gramlich B. | Lecture Notes in Computer Science | 01.11.1994 | |||
| СТ | Simple Termination is Difficult | 1993 | Middeldorp A., Gramlich B. | Lecture Notes in Computer Science | 09.07.1993 | |||
| П | Inductive Theorem Proving Using Refined Unfailing Completion Techniques | 1989 | Gramlich B. | Univ. Kaiserslautern | 04.07.1991 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Reasoning: Proc./6th International Joint Conference, IJCAR 2012, Manchester, UK, June 2012 | 2012 | Lecture Notes in Artificial Intelligence |
|
13.08.2012 | |||
| СБ | Frontiers of Combining Systems: Proc./5th International Workshop, FroCos 2005. Vienna, Austria, September 2005 | 2005 | Lecture Notes in Artificial Intelligence |
|
20.11.2005 |