Recent Trends in Data Type Specification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540591320, 9783540491989

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Institutional frames

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014445 ◽

1995 ◽

pp. 469-482 ◽

Cited By ~ 7

Author(s):

Uwe Wolter

Download Full-text

Equations for describing dynamic nets of communicating systems

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014427 ◽

1995 ◽

pp. 170-187 ◽

Cited By ~ 11

Author(s):

Manfred Broy

Download Full-text

Defining equations in terminal coalgebras

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014435 ◽

1995 ◽

pp. 307-318 ◽

Cited By ~ 7

Author(s):

Ulrich Hensel ◽

Horst Reichel

Download Full-text

Combining algebra and universal algebra in first-order theorem proving: The case of commutative rings

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014420 ◽

1995 ◽

pp. 1-29 ◽

Cited By ~ 5

Author(s):

Leo Bachmair ◽

Harald Ganzinger ◽

Jürgen Stuber

Keyword(s):

Universal Algebra ◽

Theorem Proving ◽

Commutative Rings ◽

First Order

Download Full-text

Multialgebras, power algebras and complete calculi of identities and inclusions

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014444 ◽

1995 ◽

pp. 453-468 ◽

Cited By ~ 6

Author(s):

Michal Walicki ◽

Sigurd Meldal

Keyword(s):

Power Algebras

Download Full-text

Institutions for behaviour specification

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014433 ◽

1995 ◽

pp. 273-289 ◽

Cited By ~ 4

Author(s):

J. L. Fiadeiro ◽

J. F. Costa

Download Full-text

Bulk types and query language design

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014421 ◽

1995 ◽

pp. 30-47 ◽

Cited By ~ 1

Author(s):

Catriel Beeri

Keyword(s):

Query Language ◽

Language Design

Download Full-text

A hierarchy of institutions separated by properties of parameterized abstract data types

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014440 ◽

1995 ◽

pp. 389-405 ◽

Cited By ~ 4

Author(s):

Till Mossakowski

Keyword(s):

Abstract Data Types ◽

Data Types ◽

Abstract Data

Download Full-text

Typing abstract data types

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014443 ◽

1995 ◽

pp. 437-452 ◽

Cited By ~ 5

Author(s):

Judith Underwood

Keyword(s):

Abstract Data Types ◽

Data Types ◽

Abstract Data

Download Full-text

Implementation of data structures in an imperative framework

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014446 ◽

1995 ◽

pp. 483-498 ◽

Cited By ~ 1

Author(s):

Elena Zucca

Keyword(s):

Data Structures

Download Full-text

Recent Trends in Data Type Specification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Institutional frames

Equations for describing dynamic nets of communicating systems

Defining equations in terminal coalgebras

Combining algebra and universal algebra in first-order theorem proving: The case of commutative rings

Multialgebras, power algebras and complete calculi of identities and inclusions

Institutions for behaviour specification

Bulk types and query language design

A hierarchy of institutions separated by properties of parameterized abstract data types

Typing abstract data types

Implementation of data structures in an imperative framework

Recent Trends in Data Type Specification - Lecture Notes in Computer Science
Latest Publications