Huynh, Dung T.; Tian, Lu On deciding some equivalences for concurrent processes. (English) Zbl 1004.68521 RAIRO, Inform. Théor. Appl. 28, No. 1, 51-71 (1994). MSC: 68P15 PDFBibTeX XMLCite \textit{D. T. Huynh} and \textit{L. Tian}, RAIRO, Inform. Théor. Appl. 28, No. 1, 51--71 (1994; Zbl 1004.68521) Full Text: DOI EuDML
Lenhof, Hans-Peter; Smid, Michiel Using persistent data structures for adding range restrictions to searching problems. (English) Zbl 0998.68520 RAIRO, Inform. Théor. Appl. 28, No. 1, 25-49 (1994). MSC: 68P10 PDFBibTeX XMLCite \textit{H.-P. Lenhof} and \textit{M. Smid}, RAIRO, Inform. Théor. Appl. 28, No. 1, 25--49 (1994; Zbl 0998.68520) Full Text: DOI EuDML
González-Vega, Laureano; Lombardi, Henri; Recio, Thomas; Roy, Marie-Françoise Specialization of the Sturm sequence. (Spécialisation de la suite de Sturm.) (French) Zbl 0999.12502 RAIRO, Inform. Théor. Appl. 28, No. 1, 1-24 (1994). MSC: 12Y05 68W30 12D10 PDFBibTeX XMLCite \textit{L. González-Vega} et al., RAIRO, Inform. Théor. Appl. 28, No. 1, 1--24 (1994; Zbl 0999.12502) Full Text: DOI EuDML