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

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642370748, 9783642370755

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deciding Definability by Deterministic Regular Expressions

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

10.1007/978-3-642-37075-5_19 ◽

2013 ◽

pp. 289-304 ◽

Author(s):

Wojciech Czerwiński ◽

Claire David ◽

Katja Losemann ◽

Wim Martens

Keyword(s):

Regular Expressions

Download Full-text

Strategies as Profunctors

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

10.1007/978-3-642-37075-5_27 ◽

2013 ◽

pp. 418-433 ◽

Author(s):

Glynn Winskel

Download Full-text

A Language for Differentiable Functions

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

10.1007/978-3-642-37075-5_22 ◽

2013 ◽

pp. 337-352 ◽

Author(s):

Pietro Di Gianantonio ◽

Abbas Edalat

Keyword(s):

Differentiable Functions

Download Full-text

Partiality and Recursion in Higher-Order Logic

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

10.1007/978-3-642-37075-5_12 ◽

2013 ◽

pp. 177-192

Author(s):

Łukasz Czajka

Keyword(s):

Higher Order ◽

Order Logic ◽

Higher Order Logic

Download Full-text

The Parametric Ordinal-Recursive Complexity of Post Embedding Problems

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

10.1007/978-3-642-37075-5_18 ◽

2013 ◽

pp. 273-288 ◽

Author(s):

Prateek Karandikar ◽

Sylvain Schmitz

Download Full-text

On Unique Decomposition of Processes in the Applied π-Calculus

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

10.1007/978-3-642-37075-5_4 ◽

2013 ◽

pp. 50-64 ◽

Author(s):

Jannik Dreier ◽

Cristian Ene ◽

Pascal Lafourcade ◽

Yassine Lakhnech

Keyword(s):

Unique Decomposition ◽

Download Full-text

Fatal Attractors in Parity Games

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

10.1007/978-3-642-37075-5_3 ◽

2013 ◽

pp. 34-49 ◽

Author(s):

Michael Huth ◽

Jim Huan-Pu Kuo ◽

Nir Piterman

Keyword(s):

Download Full-text

Modular Bisimulation Theory for Computations and Values

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

10.1007/978-3-642-37075-5_7 ◽

2013 ◽

pp. 97-112 ◽

Author(s):

Martin Churchill ◽

Peter D. Mosses

Download Full-text

Comodels and Effects in Mathematical Operational Semantics

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

10.1007/978-3-642-37075-5_9 ◽

2013 ◽

pp. 129-144 ◽

Author(s):

Faris Abou-Saleh ◽

Dirk Pattinson

Keyword(s):

Operational Semantics

Download Full-text

Checking Bisimilarity for Attributed Graph Transformation

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

10.1007/978-3-642-37075-5_8 ◽

2013 ◽

pp. 113-128

Author(s):

Fernando Orejas ◽

Artur Boronat ◽

Ulrike Golas ◽

Nikos Mylonakis

Keyword(s):

Graph Transformation ◽

Attributed Graph

Download Full-text