Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662496299, 9783662496305
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Qualitative Analysis of VASS-Induced MDPs

2016 ◽  
pp. 319-334 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Radu Ciobanu ◽  
Richard Mayr ◽  
Arnaud Sangnier ◽  
Jeremy Sproston
Keyword(s):  
Qualitative Analysis

scholarly journals Guarded Dependent Type Theory with Coinductive Types

2016 ◽  
pp. 20-35 ◽  
Author(s):  
Aleš Bizjak ◽  
Hans Bugge Grathwohl ◽  
Ranald Clouston ◽  
Rasmus E. Møgelberg ◽  
Lars Birkedal
Keyword(s):  
Type Theory ◽  
Dependent Type Theory ◽  
Dependent Type

scholarly journals Coverability Trees for Petri Nets with Unordered Data

2016 ◽  
pp. 445-461 ◽  
Author(s):  
Piotr Hofman ◽  
Sławomir Lasota ◽  
Ranko Lazić ◽  
Jérôme Leroux ◽  
Sylvain Schmitz ◽  
...  
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document