Searching for authors named "Angelica Maria Kappel" – sorted by Relevance.
-
Executable Specifications based on Dynamic Algebras
- Executable Specifications based on Dynamic Algebras Angelica Maria Kappel Universitat Bonn
- Cited by 8 (1 self) – Add To MetaCart
-
Implementation of Dynamic Algebras with an Application to Prolog
- Implementation of Dynamic Algebras with an Application to Prolog Angelica Maria Kappel Universitat
- Cited by 1 (1 self) – Add To MetaCart

