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

TOTAL DOCUMENTS

30

(FIVE YEARS 30)

H-INDEX

3

(FIVE YEARS 3)

Published By Springer International Publishing

9783030171261, 9783030171278

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Sound and Complete Logic for Algebraic Effects

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

10.1007/978-3-030-17127-8_22 ◽

2019 ◽

pp. 382-399 ◽

Author(s):

Cristina Matache ◽

Sam Staton

Download Full-text

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

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

10.1007/978-3-030-17127-8_28 ◽

2019 ◽

pp. 488-504

Author(s):

Helmut Seidl ◽

Raphaela Palenta ◽

Sebastian Maneth

Keyword(s):

Polynomial Time

Download Full-text

Path Category for Free

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

10.1007/978-3-030-17127-8_30 ◽

2019 ◽

pp. 523-540 ◽

Author(s):

Thorsten Wißmann ◽

Jérémy Dubut ◽

Shin-ya Katsumata ◽

Ichiro Hasuo

Download Full-text

Equational Theories and Monads from Polynomial Cayley Representations

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

10.1007/978-3-030-17127-8_26 ◽

2019 ◽

pp. 453-469

Author(s):

Maciej Piróg ◽

Piotr Polesiuk ◽

Filip Sieczkowski

Keyword(s):

Equational Theories

Download Full-text

Justness

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

10.1007/978-3-030-17127-8_29 ◽

2019 ◽

pp. 505-522 ◽

Author(s):

Rob van Glabbeek

Download Full-text

Tight Worst-Case Bounds for Polynomial Loop Programs

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

10.1007/978-3-030-17127-8_5 ◽

2019 ◽

pp. 80-97 ◽

Author(s):

Amir M. Ben-Amram ◽

Geoff W. Hamilton

Keyword(s):

Download Full-text

Languages Ordered by the Subword Order

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

10.1007/978-3-030-17127-8_20 ◽

2019 ◽

pp. 348-364 ◽

Author(s):

Dietrich Kuske ◽

Georg Zetzsche

Download Full-text

Continuous Reachability for Unordered Data Petri Nets is in PTime

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

10.1007/978-3-030-17127-8_15 ◽

2019 ◽

pp. 260-276 ◽

Author(s):

Utkarsh Gupta ◽

Preey Shah ◽

S. Akshay ◽

Piotr Hofman

Keyword(s):

Download Full-text

A Dialectica-Like Interpretation of a Linear MSO on Infinite Words

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

10.1007/978-3-030-17127-8_27 ◽

2019 ◽

pp. 470-487

Author(s):

Pierre Pradic ◽

Colin Riba

Keyword(s):

Download Full-text

Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces

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

10.1007/978-3-030-17127-8_21 ◽

2019 ◽

pp. 365-381

Author(s):

Thomas Leventis ◽

Michele Pagani

Keyword(s):

Full Abstraction ◽

Probabilistic Coherence ◽

Coherence Spaces

Download Full-text