MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "STACS 2000" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • On the Many Faces of Block Codes  
  • by Kaustubh Deshmukh, Priti Shankar, Amitava Dasgupta, B. Sundar Rajan — 2000 — in Proceedings of STACS 2000, LNCS 1770
  • …, Helsinki, Finland H. Reichel and S. Tison (Eds.): STACS 2000, LNCS 1770, pp. 53ā€“64, 2000. cā—‹ Springer…
  • Cited by 4 (0 self) – Add To MetaCart
  • Undecidability of Domino Games  
  • by And Hhp-Bisimilarity Marcin, Mogens Nielsen, Jir Srba
  • … wants to show 1 A revised and extended version of the STACS 2000 extended abstract [16]. 2 The work…
  • Add To MetaCart
  • Average-Case Quantum Query Complexity  
  • by Andris Ambainis, Ronald De Wolf — 2000 — In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
  • … Annual Symposium on Theoretical Aspects of Computer Science (STACS'2000), Springer, LNCS 1770, 2000. y…
  • Cited by 3 (1 self) – Add To MetaCart
  • Hereditary history preserving bisimilarity is undecidable  
  • by Mogens Nielsen — 2000 — STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings, volume 1770 of Lecture Notes in Computer Science
  • … Bisimilarity Is Undecidable. In Horst Reichel and Sophie Tison, editors, STACS 2000, 17th Annual Symposium…
  • Cited by 8 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB