Kiberneticheskiĭ Sbornik. Novaya SeriyaSbornik Stateĭ Short Title: Kibern. Sb., Nov. Ser. Publisher: Mir, Moscow Comments: Journal; No longer indexed Documents Indexed: 223 Publications (1946–1989) all top 5 Latest Issues 28 (1991) 27 (1990) 26 (1989) 25 (1988) 24 (1987) 23 (1986) 22 (1985) 21 (1984) 20 (1983) 19 (1983) 18 (1981) 17 (1980) 16 (1979) 15 (1978) 14 (1977) 13 (1976) 12 (1975) 11 (1974) 10 (1973) 9 (1972) 8 (1971) 7 (1970) 6 (1969) 5 (1968) 4 (1967) 3 (1966) 2 (1966) 1 (1965) all top 5 Authors 6 Paul, Wolfgang Jakob 5 Paterson, Mike S. 5 Preparata, Franco P. 5 Schnorr, Claus Peter 5 Strassen, Volker 5 Tarjan, Robert Endre 4 Friedman, Avner 4 Hartmanis, Juris 3 Chomsky, Noam Avram 3 Cook, Stephen Arthur 3 Daykin, David E. 3 Ginsburg, Seymour 3 Hopcroft, John Edward H. 3 Justesen, Jørn 3 Knuth, Donald Ervin 3 MacWilliams, Florence Jessie 3 Muller, David E. 3 Valiant, Leslie Gabriel 2 Adleman, Leonard Max 2 Blum, Norbert 2 Brouwer, Andries Evert 2 Delsarte, Philippe 2 Fischer, Patrick Carl 2 Gilbert, Edgar Nelson 2 Griffiths, T. V. 2 Hansel, Georges 2 Haralick, Robert M. 2 Heintz, Joos 2 Karp, Richard Manning 2 Kleitman, Daniel J. 2 Landweber, Peter S. 2 Lenstra, Hendrik W. jun. 2 Luckham, David C. 2 Luo, Zhukai 2 Manna, Zohar 2 McEliece, Robert James 2 Meyer, Albert Ronald 2 Pager, David 2 Reif, John H. 2 Reischuk, Rüdiger 2 Robbins, Herbert Ellis 2 Rodemich, Eugene R. 2 Schönhage, Arnold 2 Sloane, Neil James Alexander 2 Stearns, Richard Edwin 2 Stockmeyer, Larry J. 2 Stoß, Hans-Jörg 2 Tutte, William T. 2 Viennot, Xavier Gérard 2 Wang, Hao 2 Wegener, Ingo 2 Yajima, Shuzo 1 Aanderaa, Stål Olav 1 Aho, Alfred Vaino 1 Albert, Abraham Adrian 1 Alekseev, Valeriĭ Borisovich 1 Alltop, William O. 1 Ash, Robert B. 1 Barrington, David A. 1 Baur, Walter 1 Beame, Paul W. 1 Beeson, Michael J. 1 Benson, David B. 1 Berlekamp, Elwyn Ralph 1 Boland, Johan Christoph 1 Brown, William G. 1 Buss, Samuel R. 1 Carlyle, Jack W. 1 Celoni, James R. 1 Chasley, Gilman D. 1 Cobham, Alan 1 Cohen, Henri 1 Constable, Robert Lee 1 Cook, Thomas G. 1 Cooke, Kenneth L. 1 Costello, Daniel J. jun. 1 Cover, Thomas Merrill 1 Dantzig, George Bernard 1 Darlington, John 1 Davis, Martin David 1 de Bruijn, Nicolaas Govert 1 Winitzky de Spinadel, Vera Martha 1 Denning, Peter James 1 Eastman, Willard L. 1 Feigenbaum, Edward Albert 1 Fenner, Trevor I. 1 Filotti, I. S. 1 Fischer, Michael J. 1 Frankl, Péter 1 Frieze, Alan Michael 1 Fukumura, Teruo 1 Gacs, Peter 1 Gallager, Robert G. 1 Garland, Stephen J. 1 Godfrey, Jean 1 Greibach, Sheila A. 1 Grenander, Ulf 1 Gries, David 1 Grünbaum, Branko 1 Gruska, Jozef ...and 122 more Authors all top 5 Fields 117 Computer science (68-XX) 48 Information and communication theory, circuits (94-XX) 35 Mathematical logic and foundations (03-XX) 32 Combinatorics (05-XX) 7 Number theory (11-XX) 7 Numerical analysis (65-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Field theory and polynomials (12-XX) 5 Group theory and generalizations (20-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Statistics (62-XX) 4 Operations research, mathematical programming (90-XX) 3 General algebraic systems (08-XX) 3 Probability theory and stochastic processes (60-XX) 2 Geometry (51-XX) 2 Convex and discrete geometry (52-XX) 2 Biology and other natural sciences (92-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Functions of a complex variable (30-XX) 1 Ordinary differential equations (34-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 96 Publications have been cited 1,269 times in 1,177 Documents Cited by ▼ Year ▼ Reducibility among combinatorial problems. Zbl 0366.68041 Karp, R. M. 693 1975 The complexity of theorem-proving procedures. Zbl 0363.68125 Cook, S. A. 130 1975 Formal properties of grammars. Zbl 0156.25303 Chomsky, N. 55 1963 Comparative schematology. Zbl 0401.68002 Paterson, M. S.; Hewitt, Carl E. 51 1976 The correctness of programs. Zbl 0285.68011 Manna, Z. 26 1969 Outline of a mathematical theory of computation. Zbl 0419.68076 Scott, D. 24 1977 Isomorphism of planar graphs. Zbl 0436.05021 Hopcroft, J.; Tarjan, R. 21 1972 Program schemes, recursion schemes and formal languages. Zbl 0369.68014 Garland, S. J.; Luckham, D. C. 20 1976 On the combinational complexity of certain symmetric Boolean functions. Zbl 0444.94037 Stockmeyer, L. J. 16 1979 A combinatorial problem. Zbl 0196.02803 de Bruijn, N. G. 14 1946 Finitary models of language users. Zbl 0154.45602 Chomsky, N.; Miller, G. A. 11 1967 The effect of basis on size of Boolean expressions. Zbl 0469.94017 Pratt, V. R. 9 1975 Recent studies in automatic text analysis and document retrieval. Zbl 0363.68134 Salton, G. 9 1975 Parallel program schemata. Zbl 0369.68013 Karp, R. M.; Miller, R. E. 9 1976 Computational geometry - a survey. Zbl 0636.68048 Lee, D. T.; Preparata, Franco P. 7 1987 Decidability of second-order theories and automata on infinite trees. Zbl 0231.02056 Rabin, M. O. 7 1971 Block coding for the binary symmetric channel with noiseless, delayless feedback. Zbl 0253.94006 Berlekamp, E. R. 7 1972 Complexity of matrix multiplication. A survey. Zbl 0665.65039 Alekseev, V. B. 6 1988 Schnelle Multiplikation großer Zahlen. Zbl 0271.68051 Schönhage, A.; Strassen, V. 5 1973 Transition network grammars for natural language analysis. Zbl 0368.68081 Woods, W. A. 5 1976 NP-complete decision problems for binary quadratics. Zbl 0455.68029 Manders, K. L.; Adleman, L. 5 1980 The complexity of computing the permanent. Zbl 0551.68041 Valiant, L. G. 4 1981 On the computational complexity of algorithms. Zbl 0156.25604 Hartmanis, J.; Stearns, R. E. 4 1967 On realizability of a set of integers as degrees of the vertices of a linear graph. I. Zbl 0168.44705 Hakimi, S. L. 4 1962 Solvability of machine mappings of regular sets to regular sets. Zbl 0192.08101 Ginsburg, S.; Hibbard, T. N. 4 1966 A machine-oriented logic bases on the resolution principle. Zbl 0214.02501 Robinson, J. A. 4 1970 Log depth circuits for division and related problems. Zbl 0797.68074 Beame, Paul W.; Cook, Stephen A.; Hoover, H. James 4 1986 The intractability of resolution. Zbl 0797.03010 Haken, Armin 4 1985 A lower bound of the number of threshold functions. Zbl 0197.43606 Yajima, S.; Ibaraki, T. 4 1969 Refutational theorem proving using term-rewriting systems. Zbl 0657.68097 Hsiang, Jieh 3 1988 Enumerative combinatorics and algebraic languages. Zbl 0684.68093 Viennot, Gerard 3 1989 A new polynomial-time algorithm for linear programming. Zbl 0684.90062 Karmarkar, N. 3 1989 Universal unification and a classification of equational theories. Zbl 0564.68062 Siekman, J.; Szabo, P. 3 1984 A combinatorial condition for planar graphs. Zbl 0213.50601 MacLane, S. 3 1970 A regularity test for pushdown machines. Zbl 0231.90005 Stearns, R. E. 3 1971 Lengths of formulas and elimination of quantifiers. Zbl 0271.02012 Hodes, L.; Specker, E. 3 1973 The complexity of partial derivatives. Zbl 0591.68046 Baur, Walter; Strassen, Volker 3 1985 Top-down syntax analysis. Zbl 0407.68080 Knuth, Donald E. 3 1978 Degrees of finite-state transformability. Zbl 0408.03038 Rayna, Gerhard 3 1977 Mathematical theory of computation. Zbl 0408.68022 Manna, Zohar 3 1978 The pattern discrimination problem from the perspective of relation theory. Zbl 0446.68079 Haralick, R. M. 3 1979 Contemporary methods for primality testing of numbers. A survey. Zbl 0669.10013 Vasilenko, O. N. 2 1988 Improved lower bounds on the number of multiplications/divisions which are necessary to evaluate polynomials. Zbl 0533.68041 Schnorr, C. P. 2 1983 On alternation. I. Zbl 0545.68039 Paul, Wolfgang J.; Prauss, Ernst J.; Reischuk, Ruediger 2 1983 A synthesis of several sorting algorithms. Zbl 0551.68054 Darlington, John 2 1981 Weak monadic second order theory is not elementary-recursive. Zbl 0362.02034 Meyer, Albert R. 2 1975 Markov-renewal programming. I, II. Zbl 0166.15602 Jewell, W. S. 2 1967 On the minimum computation time of functions. Zbl 0231.02047 Cook, S. A.; Aanderaa, Stål O. 2 1971 What makes some language theory problems undecidable. Zbl 0231.68031 Hartmanis, J.; Hopcroft, J. E. 2 1971 Existence of value and of saddle points for differential games of survival. Zbl 0253.90076 Friedman, Avner 2 1972 A characterization of context-free languages. Zbl 0271.68057 Gruska, Jozef 2 1973 An overview of the theory of computational complexity. Zbl 0289.68011 Hartmanis, J.; Hopcroft, J. E. 2 1974 Lower bounds of the complexity of schemes of functional elements (a survey). Zbl 0584.94024 Khrapchenko, V. M. 2 1984 Isomorphism of graphs of bounded valence can be tested in polynomial time. Zbl 0591.68064 Luks, Eugene M. 2 1985 Foundations of pattern analysis. Zbl 0407.68088 Grenander, Ulf 2 1978 On classes of program schemata. Zbl 0408.68019 Constable, Robert L.; Gries, David 2 1977 Bounded-width polynomial-size branching programs recognize exactly those languages in \(NC^ 1\). Zbl 0797.68075 Barrington, David A. 2 1989 Strongly regular graphs and partial geometries. Zbl 0636.05013 Brouwer, A. E.; van Lint, J. H. 1 1987 Strongly regular graphs. Zbl 0636.05030 Hubaut, Xavier L. 1 1987 Primality testing and Jacobi sums. Zbl 0647.10009 Cohen, H.; Lenstra, H. W. jun. 1 1987 On the Shannon capacity of a graph. Zbl 0523.94016 Lovász, László 1 1983 Random variables with independent binary digits. Zbl 0535.60013 Marsaglia, George 1 1983 On alternation. II. A graph theoretic approach to determinism versus nondeterminism. Zbl 0545.68040 Paul, Wolfgang; Reischuk, Ruediger 1 1983 Pattern recognition and group theory. Zbl 0551.68074 Richardson, J. M. 1 1981 Solving open questions with an automated theorem-proving program. Zbl 0564.68063 Wos, L. 1 1984 Reachable zones in autonomous differential systems. Zbl 0145.33903 Roxin, E.; Spinadel, V. 1 1963 Linear programming in a Markov chain. Zbl 0158.38401 Wolfe, P.; Dantzig, G. B. 1 1967 The structure and properties of binary cyclic alphabets. Zbl 0166.15504 MacWilliams, J. 1 1967 Nombre minimal de contacts de fermeture necessaires pour realiser une fonction booleenne symetrique de n variables. Zbl 0175.28202 Hansel, G. 1 1968 Multi-tape and infinite-state automata. Zbl 0176.28103 Fischer, P. C. 1 1968 Comma-free error-correcting codes. Zbl 0213.21302 Stiffler, J. J. 1 1968 On the problem of finding minimal programs for tables. Zbl 0214.01903 Pager, D. 1 1970 Gaussian elimination is not optimal. Zbl 0214.40905 Strassen, V. 1 1970 Steiner minimal trees. Zbl 0231.50005 Gilbert, E. N.; Pollak, H. O. 1 1971 On the definition of differential games and the existence of value and of saddle points. Zbl 0253.90075 Friedman, Avner 1 1972 Advances and problems in mechanical proof procedures. Zbl 0269.68052 Prawitz, D. 1 1972 Substitution expressions. Zbl 0271.68060 McWhirter, I. P. 1 1973 A survey of constructive coding theory and a table of binary codes of highest known rate. Zbl 0271.94005 Sloane, N. J. A. 1 1973 Reduced forms for stochastic sequential machines. Zbl 0286.94050 Carlyle, J. W. 1 1966 A Boolean function requiring \(3n\) network size. Zbl 0588.94015 Blum, Norbert 1 1985 An algorithm for imbedding cubic graphs in the torus. Zbl 0607.05029 Filotti, I. S. 1 1986 Primality testing on a computer. Zbl 0607.10004 Williams, H. C. 1 1986 Riemann’s hypothesis and tests for primality. Zbl 0607.68028 Miller, Gary L. 1 1986 On formalised computer programs. Zbl 0363.68027 Luckham, D. C.; Park, D. M. R.; Paterson, M. S. 1 1975 Graphs on unlabelled nodes with a large number of edges. Zbl 0414.05027 Wright, E. M. 1 1977 A multidimensional approach to syntactic pattern recognition. Zbl 0446.68078 Williams, Kenneth L. 1 1979 Plane geometry theorem proving using forward chaining. Zbl 0446.68080 Nevins, Arthur J. 1 1979 Complexity of combinatorial algorithms. Zbl 0455.68028 Tarjan, Robert Endre 1 1980 Developmental systems and languages in their biological context. Zbl 0455.68039 Lindenmayer, Aristid 1 1980 The depth of all Boolean functions. Zbl 0456.94025 McColl, W. F.; Paterson, M. S. 1 1980 Graph isomorphism is in the low hierarchy. Zbl 0797.68076 Schoening, Uwe 1 1988 Logarithmic depth circuits for algebraic functions. Zbl 0797.68072 Reif, John H. 1 1986 Resolution proofs of generalized pigeonhole principles. Zbl 0797.03007 Buss, Samuel R.; Turán, György 1 1988 The discrete geodesic problem. Zbl 0797.68150 Mitchell, Joseph S. B.; Mount, David M.; Papadimitriou, Christos H. 1 1987 An \(O(n\log\log n)\)-time algorithm for triangulating a simple polygon. Zbl 0797.68073 Tarjan, Robert E.; van Wyk, Christopher J. 1 1988 Negation is powerless for Boolean slice functions. Zbl 0797.94013 Valiant, L. G. 1 1986 Enumerative combinatorics and algebraic languages. Zbl 0684.68093 Viennot, Gerard 3 1989 A new polynomial-time algorithm for linear programming. Zbl 0684.90062 Karmarkar, N. 3 1989 Bounded-width polynomial-size branching programs recognize exactly those languages in \(NC^ 1\). Zbl 0797.68075 Barrington, David A. 2 1989 Complexity of matrix multiplication. A survey. Zbl 0665.65039 Alekseev, V. B. 6 1988 Refutational theorem proving using term-rewriting systems. Zbl 0657.68097 Hsiang, Jieh 3 1988 Contemporary methods for primality testing of numbers. A survey. Zbl 0669.10013 Vasilenko, O. N. 2 1988 Graph isomorphism is in the low hierarchy. Zbl 0797.68076 Schoening, Uwe 1 1988 Resolution proofs of generalized pigeonhole principles. Zbl 0797.03007 Buss, Samuel R.; Turán, György 1 1988 An \(O(n\log\log n)\)-time algorithm for triangulating a simple polygon. Zbl 0797.68073 Tarjan, Robert E.; van Wyk, Christopher J. 1 1988 Computational geometry - a survey. Zbl 0636.68048 Lee, D. T.; Preparata, Franco P. 7 1987 Strongly regular graphs and partial geometries. Zbl 0636.05013 Brouwer, A. E.; van Lint, J. H. 1 1987 Strongly regular graphs. Zbl 0636.05030 Hubaut, Xavier L. 1 1987 Primality testing and Jacobi sums. Zbl 0647.10009 Cohen, H.; Lenstra, H. W. jun. 1 1987 The discrete geodesic problem. Zbl 0797.68150 Mitchell, Joseph S. B.; Mount, David M.; Papadimitriou, Christos H. 1 1987 Log depth circuits for division and related problems. Zbl 0797.68074 Beame, Paul W.; Cook, Stephen A.; Hoover, H. James 4 1986 An algorithm for imbedding cubic graphs in the torus. Zbl 0607.05029 Filotti, I. S. 1 1986 Primality testing on a computer. Zbl 0607.10004 Williams, H. C. 1 1986 Riemann’s hypothesis and tests for primality. Zbl 0607.68028 Miller, Gary L. 1 1986 Logarithmic depth circuits for algebraic functions. Zbl 0797.68072 Reif, John H. 1 1986 Negation is powerless for Boolean slice functions. Zbl 0797.94013 Valiant, L. G. 1 1986 The intractability of resolution. Zbl 0797.03010 Haken, Armin 4 1985 The complexity of partial derivatives. Zbl 0591.68046 Baur, Walter; Strassen, Volker 3 1985 Isomorphism of graphs of bounded valence can be tested in polynomial time. Zbl 0591.68064 Luks, Eugene M. 2 1985 A Boolean function requiring \(3n\) network size. Zbl 0588.94015 Blum, Norbert 1 1985 Universal unification and a classification of equational theories. Zbl 0564.68062 Siekman, J.; Szabo, P. 3 1984 Lower bounds of the complexity of schemes of functional elements (a survey). Zbl 0584.94024 Khrapchenko, V. M. 2 1984 Solving open questions with an automated theorem-proving program. Zbl 0564.68063 Wos, L. 1 1984 Improved lower bounds on the number of multiplications/divisions which are necessary to evaluate polynomials. Zbl 0533.68041 Schnorr, C. P. 2 1983 On alternation. I. Zbl 0545.68039 Paul, Wolfgang J.; Prauss, Ernst J.; Reischuk, Ruediger 2 1983 On the Shannon capacity of a graph. Zbl 0523.94016 Lovász, László 1 1983 Random variables with independent binary digits. Zbl 0535.60013 Marsaglia, George 1 1983 On alternation. II. A graph theoretic approach to determinism versus nondeterminism. Zbl 0545.68040 Paul, Wolfgang; Reischuk, Ruediger 1 1983 The complexity of computing the permanent. Zbl 0551.68041 Valiant, L. G. 4 1981 A synthesis of several sorting algorithms. Zbl 0551.68054 Darlington, John 2 1981 Pattern recognition and group theory. Zbl 0551.68074 Richardson, J. M. 1 1981 NP-complete decision problems for binary quadratics. Zbl 0455.68029 Manders, K. L.; Adleman, L. 5 1980 Complexity of combinatorial algorithms. Zbl 0455.68028 Tarjan, Robert Endre 1 1980 Developmental systems and languages in their biological context. Zbl 0455.68039 Lindenmayer, Aristid 1 1980 The depth of all Boolean functions. Zbl 0456.94025 McColl, W. F.; Paterson, M. S. 1 1980 On the combinational complexity of certain symmetric Boolean functions. Zbl 0444.94037 Stockmeyer, L. J. 16 1979 The pattern discrimination problem from the perspective of relation theory. Zbl 0446.68079 Haralick, R. M. 3 1979 A multidimensional approach to syntactic pattern recognition. Zbl 0446.68078 Williams, Kenneth L. 1 1979 Plane geometry theorem proving using forward chaining. Zbl 0446.68080 Nevins, Arthur J. 1 1979 Top-down syntax analysis. Zbl 0407.68080 Knuth, Donald E. 3 1978 Mathematical theory of computation. Zbl 0408.68022 Manna, Zohar 3 1978 Foundations of pattern analysis. Zbl 0407.68088 Grenander, Ulf 2 1978 Outline of a mathematical theory of computation. Zbl 0419.68076 Scott, D. 24 1977 Degrees of finite-state transformability. Zbl 0408.03038 Rayna, Gerhard 3 1977 On classes of program schemata. Zbl 0408.68019 Constable, Robert L.; Gries, David 2 1977 Graphs on unlabelled nodes with a large number of edges. Zbl 0414.05027 Wright, E. M. 1 1977 Comparative schematology. Zbl 0401.68002 Paterson, M. S.; Hewitt, Carl E. 51 1976 Program schemes, recursion schemes and formal languages. Zbl 0369.68014 Garland, S. J.; Luckham, D. C. 20 1976 Parallel program schemata. Zbl 0369.68013 Karp, R. M.; Miller, R. E. 9 1976 Transition network grammars for natural language analysis. Zbl 0368.68081 Woods, W. A. 5 1976 Reducibility among combinatorial problems. Zbl 0366.68041 Karp, R. M. 693 1975 The complexity of theorem-proving procedures. Zbl 0363.68125 Cook, S. A. 130 1975 The effect of basis on size of Boolean expressions. Zbl 0469.94017 Pratt, V. R. 9 1975 Recent studies in automatic text analysis and document retrieval. Zbl 0363.68134 Salton, G. 9 1975 Weak monadic second order theory is not elementary-recursive. Zbl 0362.02034 Meyer, Albert R. 2 1975 On formalised computer programs. Zbl 0363.68027 Luckham, D. C.; Park, D. M. R.; Paterson, M. S. 1 1975 An overview of the theory of computational complexity. Zbl 0289.68011 Hartmanis, J.; Hopcroft, J. E. 2 1974 Schnelle Multiplikation großer Zahlen. Zbl 0271.68051 Schönhage, A.; Strassen, V. 5 1973 Lengths of formulas and elimination of quantifiers. Zbl 0271.02012 Hodes, L.; Specker, E. 3 1973 A characterization of context-free languages. Zbl 0271.68057 Gruska, Jozef 2 1973 Substitution expressions. Zbl 0271.68060 McWhirter, I. P. 1 1973 A survey of constructive coding theory and a table of binary codes of highest known rate. Zbl 0271.94005 Sloane, N. J. A. 1 1973 Isomorphism of planar graphs. Zbl 0436.05021 Hopcroft, J.; Tarjan, R. 21 1972 Block coding for the binary symmetric channel with noiseless, delayless feedback. Zbl 0253.94006 Berlekamp, E. R. 7 1972 Existence of value and of saddle points for differential games of survival. Zbl 0253.90076 Friedman, Avner 2 1972 On the definition of differential games and the existence of value and of saddle points. Zbl 0253.90075 Friedman, Avner 1 1972 Advances and problems in mechanical proof procedures. Zbl 0269.68052 Prawitz, D. 1 1972 Decidability of second-order theories and automata on infinite trees. Zbl 0231.02056 Rabin, M. O. 7 1971 A regularity test for pushdown machines. Zbl 0231.90005 Stearns, R. E. 3 1971 On the minimum computation time of functions. Zbl 0231.02047 Cook, S. A.; Aanderaa, Stål O. 2 1971 What makes some language theory problems undecidable. Zbl 0231.68031 Hartmanis, J.; Hopcroft, J. E. 2 1971 Steiner minimal trees. Zbl 0231.50005 Gilbert, E. N.; Pollak, H. O. 1 1971 A machine-oriented logic bases on the resolution principle. Zbl 0214.02501 Robinson, J. A. 4 1970 A combinatorial condition for planar graphs. Zbl 0213.50601 MacLane, S. 3 1970 On the problem of finding minimal programs for tables. Zbl 0214.01903 Pager, D. 1 1970 Gaussian elimination is not optimal. Zbl 0214.40905 Strassen, V. 1 1970 The correctness of programs. Zbl 0285.68011 Manna, Z. 26 1969 A lower bound of the number of threshold functions. Zbl 0197.43606 Yajima, S.; Ibaraki, T. 4 1969 Nombre minimal de contacts de fermeture necessaires pour realiser une fonction booleenne symetrique de n variables. Zbl 0175.28202 Hansel, G. 1 1968 Multi-tape and infinite-state automata. Zbl 0176.28103 Fischer, P. C. 1 1968 Comma-free error-correcting codes. Zbl 0213.21302 Stiffler, J. J. 1 1968 Finitary models of language users. Zbl 0154.45602 Chomsky, N.; Miller, G. A. 11 1967 On the computational complexity of algorithms. Zbl 0156.25604 Hartmanis, J.; Stearns, R. E. 4 1967 Markov-renewal programming. I, II. Zbl 0166.15602 Jewell, W. S. 2 1967 Linear programming in a Markov chain. Zbl 0158.38401 Wolfe, P.; Dantzig, G. B. 1 1967 The structure and properties of binary cyclic alphabets. Zbl 0166.15504 MacWilliams, J. 1 1967 Solvability of machine mappings of regular sets to regular sets. Zbl 0192.08101 Ginsburg, S.; Hibbard, T. N. 4 1966 Reduced forms for stochastic sequential machines. Zbl 0286.94050 Carlyle, J. W. 1 1966 Formal properties of grammars. Zbl 0156.25303 Chomsky, N. 55 1963 Reachable zones in autonomous differential systems. Zbl 0145.33903 Roxin, E.; Spinadel, V. 1 1963 On realizability of a set of integers as degrees of the vertices of a linear graph. I. Zbl 0168.44705 Hakimi, S. L. 4 1962 A combinatorial problem. Zbl 0196.02803 de Bruijn, N. G. 14 1946 all cited Publications top 5 cited Publications all top 5 Cited by 1,786 Authors 8 Szwarcfiter, Jayme Luiz 8 Woeginger, Gerhard 7 Jansen, Klaus 7 Papadimitriou, Christos Harilaos 6 Corneil, Derek Gordon 6 Hudry, Olivier 6 Paschos, Vangelis Th. 6 Plummer, Michael D. 6 Protti, Fábio 5 Fujito, Toshihiro 5 Hao, Jin-Kao 5 Hochbaum, Dorit S. 5 Johnson, David Stifler 5 Maffioli, Francesco 5 Savage, John E. 5 Valiant, Leslie Gabriel 4 Ausiello, Giorgio 4 Camerini, Paolo M. 4 Cook, Stephen Arthur 4 Dourado, Mitre Costa 4 Garey, Michael Randolph 4 Ibarra, Oscar H. 4 Kubiak, Wiesław X. 4 Letchford, Adam N. 4 Ling, Aifan 4 Lloyd, Errol L. 4 Monien, Burkhard 4 Moran, Shlomo 4 Padberg, Manfred W. 4 Pardalos, Panos M. 4 Plaisted, David Alan 4 Potts, Chris N. 4 Steiner, George 4 Stockmeyer, Larry J. 4 Tarjan, Robert Endre 4 Yannakakis, Mihalis 3 Aiello, Aldo 3 Allender, Eric W. 3 Angel, Eric 3 Bampis, Evripidis 3 Bazgan, Cristina 3 Ben-Ameur, Walid 3 Bergstra, Jan A. 3 Bhat, Kabekode V. S. 3 Burattini, Ernesto 3 Carmi, Paz 3 Cheng, Tai-Chiu Edwin 3 Chvátal, Václav 3 de Rezende, Susanna F. 3 Dubois, Olivier 3 Escoffier, Bruno 3 Faria, Luerbio 3 Feige, Uriel 3 Finbow, Arthur S. 3 Galli, Laura 3 Gallier, Jean H. 3 Giroire, Frédéric 3 Gordon, Valery S. 3 Graham, Ronald Lewis 3 Hall, Nicholas G. 3 Hartmanis, Juris 3 Hartnell, Bert L. 3 Havet, Frédéric 3 Haythorpe, Michael 3 Hedetniemi, Stephen Travis 3 Jaumard, Brigitte 3 Jeroslow, Robert G. 3 Jones, Neil D. 3 Kaparis, Konstantinos 3 Kfoury, Assaf J. 3 Kubale, Marek 3 Kutrib, Martin 3 Lenstra, Jan Karel 3 Lisovik, Leonid P. 3 Long, Timothy Juris 3 Maffray, Frédéric 3 Massarotti, Antonio 3 McKenzie, Pierre 3 Monnot, Jérôme 3 Mosca, Raffaele 3 Neto, José 3 Nordström, Jakob 3 Nowakowski, Richard Joseph 3 Perl, Yehoshua 3 Pilipczuk, Marcin L. 3 Pilipczuk, Michał 3 Preissmann, Myriam 3 Protasi, Marco 3 Reed, Bruce Alan 3 Sandholm, Tuomas W. 3 Schnorr, Claus Peter 3 Slaman, Theodore A. 3 Tiuryn, Jerzy 3 Ullman, Jeffrey David 3 Urzyczyn, Paweł 3 Vasko, Francis J. 3 Xu, Chengxian 3 Yu, Xingxing 3 Yushchenko, E. L. 2 Aho, Alfred Vaino ...and 1,686 more Authors all top 5 Cited in 164 Journals 172 Theoretical Computer Science 117 Journal of Computer and System Sciences 104 Discrete Applied Mathematics 93 Information Processing Letters 81 European Journal of Operational Research 43 Discrete Mathematics 34 Operations Research Letters 29 Artificial Intelligence 29 Computers & Operations Research 18 Information Sciences 15 Mathematical Systems Theory 13 Journal of Soviet Mathematics 13 Information and Computation 13 Cybernetics and Systems Analysis 12 Cybernetics 12 Discrete Optimization 11 Kybernetika 10 Acta Informatica 10 Computers & Mathematics with Applications 9 Journal of Combinatorial Theory. Series B 9 Journal of Mathematical Psychology 9 Algorithmica 8 Mathematical and Computer Modelling 7 Computing 7 Mathematical Programming 6 Journal of Symbolic Computation 6 Journal of Discrete Algorithms 5 Journal of Computational and Applied Mathematics 5 RAIRO, Informatique Théorique 5 International Journal of Approximate Reasoning 5 Linear Algebra and its Applications 5 Mathematical Programming. Series A. Series B 5 RAIRO. Operations Research 4 Journal of the Franklin Institute 4 Journal of Mathematical Analysis and Applications 4 Problems of Information Transmission 4 Applied Mathematics and Computation 4 Calcolo 4 Fuzzy Sets and Systems 4 Networks 4 Mathematical Social Sciences 4 Journal of Complexity 4 Computational Geometry 4 Pattern Recognition 4 RAIRO. Informatique Théorique et Applications 4 Journal of Mathematical Sciences (New York) 4 Mathematical Problems in Engineering 4 Computer Science Review 3 Algebra and Logic 3 The Annals of Statistics 3 International Journal of Computer & Information Sciences 3 SIAM Journal on Computing 3 Moscow University Computational Mathematics and Cybernetics 3 Annals of Pure and Applied Logic 3 Automation and Remote Control 3 Russian Mathematics 3 Computational Complexity 3 Theory of Computing Systems 3 Electronic Journal of Graph Theory and Applications 2 Journal of Computational Physics 2 Mathematical Biosciences 2 Mathematics of Computation 2 Advances in Mathematics 2 Annales de l’Institut Fourier 2 Aplikace Matematiky 2 Journal of Combinatorial Theory. Series A 2 Journal of Graph Theory 2 Linguistics and Philosophy 2 Siberian Mathematical Journal 2 Studia Logica 2 European Journal of Combinatorics 2 Combinatorica 2 Acta Mathematicae Applicatae Sinica. English Series 2 Journal of Automated Reasoning 2 Applied Mathematics Letters 2 SIAM Journal on Discrete Mathematics 2 Neural Networks 2 Annals of Operations Research 2 Journal of Combinatorial Optimization 2 Numerical Algebra, Control and Optimization 2 Prikladnaya Diskretnaya Matematika 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Archive for Rational Mechanics and Analysis 1 International Journal of Theoretical Physics 1 Israel Journal of Mathematics 1 Journal of Applied Mathematics and Mechanics 1 Journal of Statistical Physics 1 Mathematical Notes 1 The Annals of Probability 1 Automatica 1 Journal of Algebra 1 Journal of Functional Analysis 1 Journal of Mathematical Economics 1 Journal of Number Theory 1 Journal of Philosophical Logic 1 Journal of Pure and Applied Algebra 1 Mathematics and Computers in Simulation 1 Notre Dame Journal of Formal Logic 1 Programming and Computer Software 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University ...and 64 more Journals all top 5 Cited in 41 Fields 742 Computer science (68-XX) 305 Operations research, mathematical programming (90-XX) 287 Combinatorics (05-XX) 148 Mathematical logic and foundations (03-XX) 65 Information and communication theory, circuits (94-XX) 59 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 52 Numerical analysis (65-XX) 18 Statistics (62-XX) 15 Order, lattices, ordered algebraic structures (06-XX) 15 Number theory (11-XX) 14 Convex and discrete geometry (52-XX) 11 Linear and multilinear algebra; matrix theory (15-XX) 10 Biology and other natural sciences (92-XX) 8 Group theory and generalizations (20-XX) 8 Systems theory; control (93-XX) 7 History and biography (01-XX) 6 General algebraic systems (08-XX) 6 Probability theory and stochastic processes (60-XX) 4 Commutative algebra (13-XX) 4 Category theory; homological algebra (18-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Field theory and polynomials (12-XX) 3 Geometry (51-XX) 3 General topology (54-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 General and overarching topics; collections (00-XX) 2 Measure and integration (28-XX) 2 Ordinary differential equations (34-XX) 2 Approximations and expansions (41-XX) 2 Manifolds and cell complexes (57-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Special functions (33-XX) 1 Abstract harmonic analysis (43-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year