.gif)
Translating algebraic specifications to PROLOG programs
| Title | Translating algebraic specifications to PROLOG programs |
| Publication Type | Journal Article |
| Year of Publication | 1984 |
| Authors | Drosten, K., and H. - D. Ehrich |
| Journal | Bericht Nr. 84-08, Institut für Informatik |
| Publisher | TU Braunschweig |
| Abstract | no |