搜索历史记录选项已关闭,请开启搜索历史记录选项。
作者: Robert Paige , Robert E. Tarjan
DOI: 10.1137/0216062
关键词:
摘要: … We present improved partition refinement algorithms for three problems: lexicographic sorting, relational coarsest partition, and double lexical ordering. Our double lexical ordering …
Handbook of Convex Geometry#R##N#Part A,1993, 引用: 1
web age information management,2007, 引用: 1
,2012, 引用: 0
,2007, 引用: 0
international conference on concurrency theory,2008, 引用: 6
verification model checking and abstract interpretation,2013, 引用: 11
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science,2012, 引用: 0
,2005, 引用: 52
,2007, 引用: 21
international colloquium on automata languages and programming,2011, 引用: 5