Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783319720432, 9783319720449

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalizing and Validating the P-Store Replicated Data Store in Maude

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72044-9_13 ◽

2017 ◽

pp. 189-207 ◽

Author(s):

Peter Csaba Ölveczky

Keyword(s):

Replicated Data ◽

Download Full-text

Algebraic Model Management: A Survey

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72044-9_5 ◽

2017 ◽

pp. 56-69 ◽

Author(s):

Patrick Schultz ◽

David I. Spivak ◽

Ryan Wisnesky

Keyword(s):

Algebraic Model ◽

Model Management

Download Full-text

Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72044-9_3 ◽

2017 ◽

pp. 13-35

Author(s):

Kenneth Johnson ◽

John V. Tucker ◽

Victoria Wang

Keyword(s):

Algebraic Models

Download Full-text

Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72044-9_6 ◽

2017 ◽

pp. 73-87

Author(s):

Jan A. Bergstra ◽

Alban Ponse

Keyword(s):

Probability Functions

Download Full-text

On the Most Suitable Axiomatization of Signed Integers

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72044-9_9 ◽

2017 ◽

pp. 120-134 ◽

Author(s):

Hubert Garavel

Download Full-text

Observational Semantics for Dynamic Logic with Binders

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72044-9_10 ◽

2017 ◽

pp. 135-152 ◽

Author(s):

Rolf Hennicker ◽

Alexandre Madeira

Keyword(s):

Download Full-text

Asymmetric Combination of Logics is Functorial: A Survey

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72044-9_4 ◽

2017 ◽

pp. 39-55 ◽

Author(s):

Renato Neves ◽

Alexandre Madeira ◽

Luis S. Barbosa ◽

Manuel A. Martins

Keyword(s):

Combination Of Logics

Download Full-text

Canonical Selection of Colimits

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72044-9_12 ◽

2017 ◽

pp. 170-188 ◽

Author(s):

Till Mossakowski ◽

Florian Rabe ◽

Mihai Codescu

Keyword(s):

Download Full-text

Towards Critical Pair Analysis for the Graph Programming Language GP 2

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72044-9_11 ◽

2017 ◽

pp. 153-169 ◽

Author(s):

Ivaylo Hristakiev ◽

Detlef Plump

Keyword(s):

Programming Language ◽

Critical Pair ◽

Critical Pair Analysis ◽

Download Full-text

Advances in Verification of Multi-agent Systems

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72044-9_1 ◽

2017 ◽

pp. 3-4

Author(s):

Alessio Lomuscio

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text