Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 523

Theoretical Computer Science

Volume 523
1

Restriction categories as enriched categories

Cockett, Robin, Garner, Richard
Журнал:
Theoretical Computer Science
Рік:
2014
Мова:
english
Файл:
PDF, 393 KB
english, 2014
2

Base modules for parametrized iterativity

Adámek, Jiří, Milius, Stefan, Velebil, Jiří
Журнал:
Theoretical Computer Science
Рік:
2014
Мова:
english
Файл:
PDF, 427 KB
english, 2014
3

Henkin quantifiers and Boolean formulae: A certification perspective of DQBF

Balabanov, Valeriy, Chiang, Hui-Ju Katherine, Jiang, Jie-Hong R.
Журнал:
Theoretical Computer Science
Рік:
2014
Мова:
english
Файл:
PDF, 372 KB
english, 2014
4

Verification of gap-order constraint abstractions of counter systems

Bozzelli, Laura, Pinchinat, Sophie
Журнал:
Theoretical Computer Science
Рік:
2014
Мова:
english
Файл:
PDF, 838 KB
english, 2014
5

Editorial Board

Журнал:
Theoretical Computer Science
Рік:
2014
Файл:
PDF, 40 KB
2014