Вы здесь
Gore R.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Cut-free Display Calculi for Relation Algebras | 1997 | Gore R. | Lecture Notes in Computer Science | 18.07.1997 | |||
СТ | A General Theorem on Termination of Rewriting | 2004 | Dawson J. E., Gore R. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 23.12.2004 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Automated Reasoning: Proc./First Intern. Joint Conf., IJCAR 2001, Siena, Italy, June 2001 | 2001 | Lecture Notes in Artificial Intelligence |
|
12.07.2001 | |||
СБ | Electronic Voting: Proc./3rd International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2018 | 2018 | Lecture Notes in Computer Science |
|
29.10.2018 |