Algebraic Domain Equations for specifications containing inequational axioms.
Furkejuvvon:
| Váldodahkki: | |
|---|---|
| Materiálatiipa: | Girji |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Karlsruhe
1984
|
| Ráidu: | Fachbereich Informatik, Univ. Karlsruhe. Interner Bericht
Nr 107 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Fuomášahttimat: | KRUETZER,Gerd.- -- Algebraic Domain Equations for specifica= -- tions containing inequational axioms. - -- Karlsruhe 1984.52 S.4° -- (Fachbereich Informatik,Univ.Karlsruhe. -- Interner Bericht.Nr 107.) -- 1984:B 2644. -- Ir. |
|---|---|
| Olgguldas hápmi: | 52 S. 4° |