A Category-Theoretical Approach to Logic Program Development (Englisch)
- Neue Suche nach: Yan, Song Y.
- Neue Suche nach: Yan, Song Y.
In:
International journal of computer mathematics
;
47
, 1-2
; 9-16
;
1993
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:A Category-Theoretical Approach to Logic Program Development
-
Beteiligte:Yan, Song Y. ( Autor:in )
-
Erschienen in:International journal of computer mathematics ; 47, 1-2 ; 9-16
-
Verlag:
- Neue Suche nach: Gordon and Breach
-
Erscheinungsort:London [u.a.]
-
Erscheinungsdatum:1993
-
ISSN:
-
ZDBID:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 275/3155
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis – Band 47, Ausgabe 1-2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Generate all maximal independent sets in permutation graphsYu, Chang-Wu / Chen, Gen-Huey et al. | 1993
- 1
-
Editorial board| 1992
- 9
-
A category-theoretical approach to logic program developmentYan, Song Y. et al. | 1993
- 17
-
On grammars with local and global context conditionsCsuhaj-Varju, Erzsebet et al. | 1993
- 29
-
Regulation of K-limited etol systemsWatjen, Dietmar et al. | 1993
- 43
-
Parallel integration of odes by vector field decompositionsBoglaev, Yuri P. et al. | 1993
- 59
-
A family of chebyshev-halley type methodsHernandez, M. A. / Salanova, M. A. et al. | 1993
- 65
-
On the numerical implementation of the shooting methods to the one-dimensional singular boundary value problemsAttili, Basem S. et al. | 1993
- 77
-
New variants of the algebraic multilevel preconditioning methodsCao, Zhi-Hao / Evans, D. J. et al. | 1993
- 85
-
A theoretical result on phase-lagMeneguette, Messias Jr. et al. | 1993
- 85
-
A Thoretical Result on Phase-LagMeneguette Jr, M. et al. | 1993
- 89
-
On a discrete optimization problemCroitoru, C. / Andrei, A. / Coclici, C. et al. | 1993
- 97
-
A parallel elimination algorithm for the solution of dense linear systemsChawla, M. M. et al. | 1993
- 109
-
A systolic design for the A.O.R. and S.A.O.R. iterative methods for solving linear systemsEvans, D. J. / Haider, S. A. / Martins, M. Madalena et al. | 1993