[BL1984] Eine Methode zur Reduktion des Syntheseproblems
| BaazLeit84TR (Technical report)
|
| Author(s) | Baaz M. and Leitsch A. |
| Title | "Eine Methode zur Reduktion des Syntheseproblems" |
| Date | 1984 |
| Institution | Research Institute for Symbolic Computation (RISC) |
| Number | RISC-Report 84/9 |
@techreport{BaazLeit84TR,
address = {Hagenberg, Austria},
title = {{Eine} {Methode} zur {Reduktion} des {Syntheseproblems}},
author = {Baaz, M. and Leitsch, A.},
year = {1984},
number = {RISC-Report 84/9},
institution = {Research Institute for Symbolic Computation (RISC)},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)