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="Jones, C.B."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Splitting atoms safely
C.B. Jones
Theoretical Computer Science
375
(1-3), 2007, pp. 109-119
An iterative displacement method for conflict resolution in map generalization
M. Lonergan
,
C.B. Jones
Algorithmica
30
(2), 2001, pp. 287-301
Partial functions and logics: A warning
C.B. Jones
Information Processing Letters
54
, 1995, pp. 65-67
A typed logic of partial functions reconstructed classically
C.B. Jones
,
C.A. Middelburg
Acta Informatica
31
(5), 1994, pp. 399-430
A logic covering undefinedness in program proofs
H. Barringer
,
J.H. Cheng
,
C.B. Jones
Acta Informatica
21
(3), 1984, pp. 251-269
Constructing a theory of a data structure as an aid to program development
C.B. Jones
Acta Informatica
11
(2), 1979, pp. 119-137
A run-time mechanism for referencing variables
W. Henhapl
,
C.B. Jones
Information Processing Letters
1
, 1971, pp. 14-16