Hans-Jörg Kreowski
6 publications
1 venues
H Index 1
Affiliation
University of Bremen, GermanyLinks
DBLP
ORCID- http://www.informatik.uni-bremen.de/~kreo/
- https://dl.acm.org/profile/81452618043
- https://zbmath.org/authors/?q=ai:kreowski.hans-jorg
- https://mathscinet.ams.org/mathscinet/MRAuthorID/106560
- https://mathgenealogy.org/id.php?id=161936
- https://en.wikipedia.org/wiki/Hans-J%C3%B6rg_Kreowski
- https://www.wikidata.org/entity/Q17489645
- https://id.loc.gov/authorities/names/n86044701
- https://d-nb.info/gnd/108503607
- https://d-nb.info/gnd/1149177748
- https://dblp.uni-trier.de/pers/hd/k/Kreowski:Hans=J=ouml=rg
| Name | Venue | Year | citations |
|---|---|---|---|
Complexity in Algebraic Specifications: An Upper Bound Result.
|
ADT | 1988 | 1 |
| Jungle Evaluation.
|
ADT | 1987 | 0 |
| Based Algebras.
|
ADT | 1986 | 0 |
| Specification of Partial Functions - Only a Tentative Suggestion.
|
ADT | 1983 | 1 |
| Suggestions on the Interpretation of Algebraic Specifications.
|
ADT | 1983 | 1 |
| An Algebraic Implementation Concept for Abstract Data Types.
|
ADT | 1982 | 1 |