 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Yamasaki-Yoshida-Doshita/87" |
|
A fixpoint semantics of Horn sentences based on substitution sets
S. Yamasaki, M. Yoshida, S. Doshita
Theoretical Computer Science 51 (3), 1987, pp. 309-324
| Publisher: | Elsevier Science Publishers B.V. (North Holland) | |
| Institution: | Dept. of Inf. Sci., Kyoto Univ., Japan | |
|
|
|
|