Вы здесь

Главная

Foundations of Software Science and Computation Structures: Proc./24th International Conference, FOSSACS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
теория автоматов
формальный язык
формальная логика
вычислительная лингвистика
категориальная модель
категориальная логика
теория типов
теория доказательств
теория параллелизма
процесс вычисления
теория переписывания
логические основы баз данных
вычислительная сложность
логика программирования
Стр.: 
574 p.
Редактор: 
Kiefer S.
Tasson Ch.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12650
Карточка: 

Foundations of Software Science and Computation Structures: Proc./24th International Conference, FOSSACS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021Ed. by Kiefer S., Tasson Ch..-Berlin.: Springer, 2021.-Vol. 12650.-574 p.-(Lecture Notes in Computer Science).