Lecture Notes in Computer Science - Reachability Problems
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319459936, 9783319459943
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On the Complexity of Resource-Bounded Logics

2016 ◽  
pp. 36-50 ◽  
Author(s):  
Natasha Alechina ◽  
Nils Bulling ◽  
Stephane Demri ◽  
Brian Logan

scholarly journals Insertion-Deletion Systems over Relational Words

2016 ◽  
pp. 177-191
Author(s):  
Igor Potapov ◽  
Olena Prianychnykova ◽  
Sergey Verlan

scholarly journals Distributed Synthesis of State-Dependent Switching Control

2016 ◽  
pp. 119-133 ◽  
Author(s):  
Adrien Le Coënt ◽  
Laurent Fribourg ◽  
Nicolas Markey ◽  
Florian De Vuyst ◽  
Ludovic Chamoin
Keyword(s):  
Switching Control ◽  
State Dependent
Load More ...
Sign in / Sign up

Export Citation Format

Share Document