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
[2]
Hilfe
Suche: Author="You, J.-H."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Outer narrowing for equational theories based on constructors
J.-H. You
Lecture Notes in Computer Science
317
, 1988, pp. 727-741
On embedding functions in logic
P.A. Subrahmanyam
,
J.-H. You
Information Processing Letters
19
(1), 1984, July, pp. 41-46