zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Peled, Doron A. (ed.) et al., Partial order methods in verification. DIMACS workshop, July 24-26, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 29, 25-40 (1997).
Reviewer: M.Demlová (Praha)
BibTeX Cite
Fountain, John (ed.), Semigroups, formal languages and groups. Proceedings of the NATO Advanced Study Institute, York, UK, August 7–21, 1993. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 466, 119-146 (1995).
Reviewer: T.J.Harju (Turku)
MSC:  68Q70 03D05 20M35 03B15 94C10 68Q45 03B80 03D15 68Q15
BibTeX Cite

Filter Results by …

Document Type
Year of Publication