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
Hilfe
Suche: Author="Salinier, Bruno"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Efficient simulation of forward-branching systems with constructor systems
Bruno Salinier
,
Robert Strandh
Journal Symbolic Computation
22
(4), 1996, pp. 381-399
Constructor equivalent term rewriting systems are strongly sequential: A direct proof
Irène Durand
,
Bruno Salinier
Information Processing Letters
52
, 1994, pp. 137-145
Constructor equivalent term rewriting systems
Iréne Durand
,
Bruno Salinier
Information Processing Letters
47
(3), 1993, pp. 131-137