Вы здесь

Santocanale L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Calculus of Circular Proofs and Its Categorical Semantics 2002 Santocanale L. Lecture Notes in Computer Science 09.05.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Relational and Algebraic Methods in Computer Science: Proc./19th International Conference, RAMiCS 2021, Marseille, France, November 2021 2021 Lecture Notes in Computer Science
  1. Fahrenberg U.
  2. Gehrke M.
  3. Santocanale L.
  4. Winter M.
26.11.2021