Logical Foundations of Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642357213, 9783642357220
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Multiplayer Cost Games with Simple Nash Equilibria

2013 ◽  
pp. 59-73 ◽  
Author(s):  
Thomas Brihaye ◽  
Julie De Pril ◽  
Sven Schewe
Keyword(s):  
Nash Equilibria

Automated Support for the Investigation of Paraconsistent and Other Logics

2013 ◽  
pp. 119-133 ◽  
Author(s):  
Agata Ciabattoni ◽  
Ori Lahav ◽  
Lara Spendier ◽  
Anna Zamansky
Keyword(s):  
Automated Support

Stuttering for Abstract Probabilistic Automata

2013 ◽  
pp. 149-163 ◽  
Author(s):  
Benoît Delahaye ◽  
Kim G. Larsen ◽  
Axel Legay
Keyword(s):  
Probabilistic Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document