FST TCS 2002: Foundations of software technology and theoretical computer science. 22nd conference, Kanpur, India, December 12--14, 2002. Proceedings

DOI10.1007/3-540-36206-1zbMath1014.00021OpenAlexW2502992539MaRDI QIDQ1396693

No author found.

Publication date: 8 July 2003

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2556.htm

zbMATH Keywords

Theoretical computer scienceFoundations of software technologyFST TCS 2002Kanpur (India)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Mechanisation of the AKS algorithm ⋮ Graphical cyclic supercharacters for composite moduli

This page was built for publication: FST TCS 2002: Foundations of software technology and theoretical computer science. 22nd conference, Kanpur, India, December 12--14, 2002. Proceedings