@article{Samm1994, author = {Samm, Doris}, title = {DUMAND and the search for high energy neutrino point sources / Samm, Doris [u.a.]}, series = {Trends in astroparticle physics / ed. by Peter Christian Bosetti}, journal = {Trends in astroparticle physics / ed. by Peter Christian Bosetti}, publisher = {Teubner}, address = {Stuttgart}, isbn = {3-8154-3017-8}, pages = {9 -- 20}, year = {1994}, language = {en} } @article{HagemannCassidy1994, author = {Hagemann, Hans-J{\"u}rgen and Cassidy, Wiliam D.}, title = {Diamond growth rates and quality: dependence on gas phase cpmposition / William D. Cassidy [...], Hans-Jurgen Hagemann}, series = {Diamond, SiC and nitride wide bandgap semiconductors : symposium held April 4 - 8, 1994, San Francisco, California, U.S.A. / ed.: Calvin H. Carter, Jr. ....}, journal = {Diamond, SiC and nitride wide bandgap semiconductors : symposium held April 4 - 8, 1994, San Francisco, California, U.S.A. / ed.: Calvin H. Carter, Jr. ....}, address = {Pittsburgh, Penn. ,}, isbn = {1-55899-239-1}, pages = {285 -- 291}, year = {1994}, language = {en} } @article{HagemannBachmannLadeetal.1994, author = {Hagemann, Hans-J{\"u}rgen and Bachmann, P. K. and Lade, H. and Leers, D.}, title = {Influence of the gas phase on diamond deposition and diamond properties. Bachmann, P. K.; Hagemann, H.J.; Lade, H.; Leers, D.; Picht, F.; Wiechert, D. U.}, series = {Advanced materials '94 : proceedings of the NIRIM International Symposium on Advanced Materials '94, Tsukuba, Japan, March 13 - 17, 1994 / National Institute for Research in Inorganic Materials. Ed. by M. Kamo}, journal = {Advanced materials '94 : proceedings of the NIRIM International Symposium on Advanced Materials '94, Tsukuba, Japan, March 13 - 17, 1994 / National Institute for Research in Inorganic Materials. Ed. by M. Kamo}, publisher = {International Communications Specialists, Inc.}, address = {Tokyo}, pages = {115 -- 120}, year = {1994}, language = {en} } @book{FassbenderVoglerWedel1994, author = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea}, title = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {62 S.}, year = {1994}, language = {en} } @article{FassbenderVogler1994, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification-driven leftmost outermost narrowing}, series = {Acta Cybernetica. 11 (1994), H. 3}, journal = {Acta Cybernetica. 11 (1994), H. 3}, isbn = {0324-721x}, pages = {139 -- 167}, year = {1994}, language = {en} }