- Tytuł:
- The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic
- Autorzy:
-
Bruse, Florian
Lange, Martin
Lozes, Etienne - Data publikacji:
- 2021
- Słowa kluczowe:
-
logic
finite
technical specifications
incorporation - Pokaż więcej
- Dostawca treści:
- BazTech