Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Journal=J. Symbolic Computation AND Volume=8
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Symbolic computation application for the design of linear multivariable control systems
Takaji Umeno
,
Syuichi Yamashita
,
Osami Saito
,
Kenichi Abe
Journal Symbolic Computation
8
(6), 1989, pp. 581-588
CAL: A theoretical background of constraint logic programming and its applications
Kô Sakai
,
Akira Aiba
Journal Symbolic Computation
8
(6), 1989, pp. 589-603
First order compiler: A deterministic logic program synthesis algorithm
Taisuke Sato
,
Hisao Tamaki
Journal Symbolic Computation
8
(6), 1989, pp. 605-627
Codatatypes in ML
Tatsuya Hagino
Journal Symbolic Computation
8
(6), 1989, pp. 629-650
Meta-circular interpreter for a strongly typed language
Masami Hagiya
Journal Symbolic Computation
8
(6), 1989, pp. 651-680
E-CCC: Between CCC and topos, - Its Expressive power from the viewpoint of data type theory
Sato Hiroyuki
Journal Symbolic Computation
8
(6), 1989, pp. 681-695
Seiten
<
1
2