A Schema for Adding Dependent Types to ML - Xi, Pfenning(Correct)
Carnegie Mellon University hwxi@cs.cmu.edu Frank Pfenning Department of Computer Science Carnegie
Schema for Adding Dependent Types to ML Hongwei Xi, Frank Pfennin www.cs.cmu.edu/afs/cs.cmu.edu/user/fp/www/papers/dml97b.ps.gz
Model-Generalization Of Building Outlines Based On Scale-Spaces.. - Mayer(Correct)
is changed, is analyzed conceptually in (Timpf and Frank, 1997)Cartographic displacement is not dealt
appearing and disappearing of objects in (Timpf and Frank, 1997)a) b) Figure 2: Split and merge while www.photo.verm.tu-muenchen.de/staff/helmut/col98.ps.gz
A Note on Mixed Graphs and Directed Splitting Off - Enni (1994)(Correct)
this we apply the proof techniques developed by Frank [2] to solve the degree constrained non-uniform
the di-Eulerian case. Theorem 4 (Bang-Jensen, Frank, Jackson)Let M =V s A [E) be a mixed ftp.imada.ou.dk/pub/papers/pp-1994/37.ps.gz