27987<>2030_2<>nulo<>commuting continuous flows on manifolds<>mst<>r. s. d. thomas<>
30971<>2683_3<>nulo<>on the cardinality of ultraproduct of finite sets<>jsyml<>saharon shelah<>
8369<>3772_108<>david e. muller<>generation of near-optimal universal boolean functions<>jcss<>franco p. preparata<>
27041<>4105_30<>david gale<>a phenomenon in the theory of sorting<>focs<>richard m. karp<>
24942<>5073_12<>nulo<>simple matrix languages<>iandc<>oscar h. ibarra<>
25020<>5073_90<>ronald v. book:sheila a. greibach:ben wegbreit<>tape-bounded turing acceptors and principal afls<>jcss<>oscar h. ibarra<>
7899<>6286_32<>richard r. muntz:h. trotter<>waiting time distributions for processor-sharing systems<>jacm<>edward g. coffman jr.<>
7902<>6286_35<>richard r. muntz<>preemptive scheduling of real-time tasks on multiprocessor systems<>jacm<>edward g. coffman jr.<>
28416<>6555_35<>a. gill<>algorithm 397: an integer programming problem<>cacm<>s. k. chang<>
1358<>6584_72<>zohar manna<>formalization of properties of functional programs<>jacm<>amir pnueli<>
33396<>6629_0<>nulo<>heuristically guided search and chromosome matching<>ai<>ugo montanari<>
