Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(132)
Fernando Orejas
10
Hartmut Ehrig
9
Andrzej Tarlecki
8
Hans-Jorg Kreowski
7
Donald Sannella
7
Martin Wirsing
6
Jacques Loeckx
6
Hans-dieter Ehrich
5
Michel Bidoit
5
Werner Fey
5
Keywords
(78)
Subscribe
Academic
Conferences
WADT(ADT) - Specification of Abstract Data Type Workshops/Workshop on Algebraic Development Techniques
WADT(ADT) - Specification of Abstract Data Type Workshops/Workshop on Algebraic Development Techniques
Publications: 191
|
Citation Count: 855 (Self-Citation: 17)
|
H-Index: 13Year Range: 1982-1991
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(191)
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990
Hartmut Ehrig
,
Klaus P. Jantke
,
Fernando Orejas
,
Horst Reichel
Conference:
Specification of Abstract Data Type Workshops/Workshop on Algebraic Development Techniques - WADT(ADT)
, 1991
Universal Algebra in Higher Types
(
Citations: 40
)
Karl Meinke
Conference:
Specification of Abstract Data Type Workshops/Workshop on Algebraic Development Techniques - WADT(ADT)
, pp. 185-203, 1990
Entities: An Institution for Dynamic Systems
(
Citations: 19
)
Gianna Reggio
Conference:
Specification of Abstract Data Type Workshops/Workshop on Algebraic Development Techniques - WADT(ADT)
, pp. 246-265, 1990
Design of a Compiler for Lazy Pattern Driven Narrowing
(
Citations: 11
)
Dietraar Wolz
Conference:
Specification of Abstract Data Type Workshops/Workshop on Algebraic Development Techniques - WADT(ADT)
, pp. 362-379, 1990
Extended ML: Past, Present, and Future
(
Citations: 11
)
Donald Sannella
,
Andrzej Tarlecki
Conference:
Specification of Abstract Data Type Workshops/Workshop on Algebraic Development Techniques - WADT(ADT)
, pp. 297-322, 1990