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

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030171261, 9783030171278
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time

2019 ◽  
pp. 488-504
Author(s):  
Helmut Seidl ◽  
Raphaela Palenta ◽  
Sebastian Maneth
Keyword(s):  
Polynomial Time

scholarly journals Path Category for Free

2019 ◽  
pp. 523-540 ◽  
Author(s):  
Thorsten Wißmann ◽  
Jérémy Dubut ◽  
Shin-ya Katsumata ◽  
Ichiro Hasuo

scholarly journals Equational Theories and Monads from Polynomial Cayley Representations

2019 ◽  
pp. 453-469
Author(s):  
Maciej Piróg ◽  
Piotr Polesiuk ◽  
Filip Sieczkowski
Keyword(s):  
Equational Theories

scholarly journals Justness

2019 ◽  
pp. 505-522 ◽  
Author(s):  
Rob van Glabbeek

scholarly journals Tight Worst-Case Bounds for Polynomial Loop Programs

2019 ◽  
pp. 80-97 ◽  
Author(s):  
Amir M. Ben-Amram ◽  
Geoff W. Hamilton
Keyword(s):  
Worst Case

scholarly journals Languages Ordered by the Subword Order

2019 ◽  
pp. 348-364 ◽  
Author(s):  
Dietrich Kuske ◽  
Georg Zetzsche

scholarly journals Continuous Reachability for Unordered Data Petri Nets is in PTime

2019 ◽  
pp. 260-276 ◽  
Author(s):  
Utkarsh Gupta ◽  
Preey Shah ◽  
S. Akshay ◽  
Piotr Hofman
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document