27867<>582_3<>nulo<>testing graph connectivity<>stoc<>robert endre tarjan<>
27877<>582_13<>nulo<>a note on finding the bridges of a graph<>ipl<>robert endre tarjan<>
4879<>1515_0<>nulo<>an algorithm for the chromatic number of a graph<>jacm<>chung c. wang<>
12791<>2394_15<>eileen carton<>non-deterministic fortran<>cj<>jacques cohen<>
12794<>2394_18<>carl zuckerman<>two languages for estimating program efficiency<>cacm<>jacques cohen<>
9038<>3580_18<>andrzej ehrenfeucht<>nonterminals versus homomorphisms in defining languages for some classes of rewriting systems<>acta<>grzegorz rozenberg<>
6064<>3890_1<>nulo<>approximation algorithms for combinatorial problems<>jcss<>david s. johnson<>
6079<>3890_16<>alan j. demers:jeffrey d. ullman:m. r. garey:ronald l. graham<>worst-case performance bounds for simple one-dimensional packing algorithms<>siamcomp<>david s. johnson<>
6081<>3890_18<>nulo<>fast algorithms for bin packing<>jcss<>david s. johnson<>
6109<>3890_46<>m. r. garey:larry j. stockmeyer<>some simplified np-complete problems<>stoc<>david s. johnson<>
843<>4743_0<>leon s. levy<>local transformations<>ifip<>aravind k. joshi<>
24945<>5073_15<>chul e. kim<>on 3-head versus 2-head finite automata<>acta<>oscar h. ibarra<>
25026<>5073_96<>nulo<>a hierarchy theorem for polynomial-space recognition<>siamcomp<>oscar h. ibarra<>
2501<>5328_5<>nulo<>opportunities for data base reorganization<>sigmod<>ben shneiderman<>
2519<>5328_23<>peter scheuermann<>structured data structures<>cacm<>ben shneiderman<>
24639<>5359_17<>nulo<>approximations to the halting problem<>jcss<>nancy a. lynch<>
19366<>5882_8<>nulo<>polynomial and abstract subrecursive classes<>stoc<>kurt mehlhorn<>
7914<>6286_47<>john l. bruno:ravi sethi<>algorithms for minimizing mean flow time<>ifip<>edward g. coffman jr.<>
7940<>6286_73<>j. a. michel<>synthesis of a feedback queueing discipline for computer operation<>jacm<>edward g. coffman jr.<>
1407<>6584_121<>zohar manna<>axiomatic approach to total correctness of programs<>acta<>amir pnueli<>
3667<>6675_3<>nulo<>formal definition in program development<>ibm<>cliff b. jones<>
