Filters








3 Hits in 1.0 sec

Page 2989 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
Ganzinger, Harald Harald Ganzinger. Inform. Process. Lett. 91 (2004), no. 4, 155. 01A70 Gentili, Giorgio see Fabrizio, Mauro, (2004j:00034) Gladysz, Stanislaw see Byczkowski, Tomasz et al.  ...  James Hermes, Hans Obituary: Professor Dr. Hans Hermes 1912-2003. Arch. Math. Logic 43 (2004), no. 4, 425. 01A70 Obituary: (cont'd. ) Hildebrant, John A. see Lawson, Jimmie D.  ... 

Page 787 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
Reason. 32 (2004), no. 2, 103-120. 68TI15 — see also Obituary: Ganzinger, Harald Gao, Bin see Gao, Bin!  ...  (Summary) 2004j:30102 30HO0S5 (46E15, 46315) Ganzinger, Harald (with Nieuwenhuis, Robert; Nivela, Pilar) Fast term indexing with coded context trees. (English summary) J. Automat.  ... 

Page 1263 of Mathematical Reviews Vol. 26, Issue Index [page]

Mathematical Reviews  
(Summary) 94b:68085 68Q70 (58F08) Snyder, Wayne (with Bachmair, Leo; Ganzinger, Harald; Lynch, Christopher) Basic paramodulation and superposition.  ...  Obituary: Nikolai Stepanovich Sinyukov. (Russian) Uspekhi Mat. Nauk 48 (1993), no. 1(289), 157-158; translation in Russian Math. Surveys 48 (1993), no. 1, 159-161.  ...