Volume 631

Theoretical Computer Science

Volume 631
1

Foundations of Boolean stream runtime verification

Bozzelli, Laura, Sánchez, César
Journal:
Theoretical Computer Science
Year:
2016
Language:
english
File:
PDF, 610 KB
english, 2016
2

Topological abstraction of higher-dimensional automata

Kahl, Thomas
Journal:
Theoretical Computer Science
Year:
2016
Language:
english
File:
PDF, 735 KB
english, 2016
3

Term satisfiability in FLew-algebras

Haniková, Zuzana, Savický, Petr
Journal:
Theoretical Computer Science
Year:
2016
Language:
english
File:
PDF, 485 KB
english, 2016
5

Completeness for recursive procedures in separation logic

Faisal Al Ameen, Mahmudul, Tatsuta, Makoto
Journal:
Theoretical Computer Science
Year:
2016
Language:
english
File:
PDF, 692 KB
english, 2016
6

Editorial Board

Journal:
Theoretical Computer Science
Year:
2016
File:
PDF, 72 KB
2016
8

Expected reachability-time games

Forejt, Vojtěch, Kwiatkowska, Marta, Norman, Gethin, Trivedi, Ashutosh
Journal:
Theoretical Computer Science
Year:
2016
Language:
english
File:
PDF, 710 KB
english, 2016