TY  - RPRT
A1  - Möller, Bernhard
T1  - Linked lists calculated
N2  - We use a relational calculus of pointer structures to calculate a number of standard algorithms on singly linked lists, both acyclic and cyclic. This shows that our techniques are not just useful for tree-like structures, but apply to general pointer structures as well.
T3  - Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg - 1997-07 
Y1  - 2006
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/268
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-2191
PB  - Institut für Informatik, Universität Augsburg
CY  - Augsburg
ER  -