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: Author="Saxton, Lawrence"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Structural recursion as a query language on lists and ordered trees
Edward L. Robertson
,
Lawrence V. Saxton
,
Dirk Van Gucht
,
Stijn Vansummeren
Theory of Computing Systems
44
(4), 2009, pp. 590-619
On the sequential nature of functions
Patrick Fischer
,
Edward Robertson
,
Lawrence Saxton
Journal of Computer and System Sciences
13
, 1976, pp. 51-68