Information and Control Short Title: Inf. Control Publisher: Academic Press, New York etc. ISSN: 0019-9958 Online: http://www.sciencedirect.com/science/journal/00199958 Successor: Information and Computation Comments: Journal; No longer indexed Documents Indexed: 1,553 Publications (1957–1986) References Indexed: 1 Publication with 28 References. all top 5 Latest Issues 71 (1986) 70 (1986) 69 (1986) 68 (1986) 67 (1985) 66 (1985) 65 (1985) 64 (1985) 63 (1984) 62 (1984) 61 (1984) 60 (1984) 59 (1983) 58 (1983) 57 (1983) 56 (1983) 55 (1982) 54 (1982) 53 (1982) 52 (1982) 51 (1981) 50 (1981) 49 (1981) 48 (1981) 47 (1980) 46 (1980) 45 (1980) 44 (1980) 43 (1979) 42 (1979) 41 (1979) 40 (1979) 39 (1978) 38 (1978) 37 (1978) 36 (1978) 35 (1977) 34 (1977) 33 (1977) 32 (1976) 31 (1976) 30 (1976) 29 (1975) 28 (1975) 27 (1975) 26 (1974) 25 (1974) 24 (1974) 23 (1973) 22 (1973) 21 (1972) 20 (1972) 19 (1971/1972) 18 (1971) 17 (1970) 16 (1970) 15 (1969) 14 (1969) 13 (1968) 12 (1968) 11 (1967) 10 (1967) 9 (1966) 8 (1965/1966) 7 (1964) 6 (1963) 5 (1962) 4 (1961/1962) 3 (1960/1961) 2 (1959) 1 (1957-1959) all top 5 Authors 24 Rozenberg, Grzegorz 17 Rosenfeld, Azriel 15 Salomaa, Arto Kustaa 13 Maurer, Hermann A. 12 Wood, Derick 11 Ahmed, Nasir Uddin 10 Culik, Karel II 10 Ginsburg, Seymour 10 Greibach, Sheila A. 10 Santos, Eugene S. 10 Schützenberger, Marcel-Paul 9 Mandelbaum, David M. 9 Wyner, Aaron D. 8 Hartmanis, Juris 7 Berlekamp, Elwyn Ralph 7 Blake, Ian F. 7 Delsarte, Philippe 7 Ibarra, Oscar H. 7 Siromoney, Rani 7 Stearns, Richard Edwin 7 Turakainen, Paavo 7 Wolfowitz, Jacob 6 de Luca, Aldo 6 Ehrenfeucht, Andrzej 6 Harrison, Michael A. 6 Herman, Gabor T. 6 Honda, Namio 6 Ibaraki, Toshihide 6 Kasami, Tadao 6 Kuich, Werner 6 Mehlhorn, Kurt 6 Păun, Gheorghe 6 Tavares, Stafford E. 6 Zierler, Neal 5 Arbib, Michael A. 5 Beutler, Frederick J. 5 Buttelmann, H. William 5 Gluss, Brian 5 Goethals, Jean-Marie 5 Gurevich, Yuri 5 Han, Te Sun 5 Hart, Johnson Murdoch 5 Jump, J. Robert 5 Kieffer, John Cronan 5 Preparata, Franco P. 5 Reddy, Sudhakar M. 5 Shyr, Huei-Jan 5 Tsokos, Christos P. 5 Wolf, Jack Keil 5 Yajima, Shuzo 4 Amoroso, Serafino 4 Banerji, Ranan Bihari 4 Blachman, Nelson M. 4 Bose, Raj Chandra 4 Cambanis, Stamatis 4 Daley, Robert P. 4 Duske, Jürgen 4 Engelfriet, Joost 4 Even, Shimon 4 Galil, Zvi 4 Gestri, Giuseppe 4 Gold, E. Mark 4 Good, Irving John (Jack) 4 Gruska, Jozef 4 Harel, David 4 Inagaki, Yasuyoshi 4 Jelinek, Frederick 4 Joshi, Aravind K. 4 Karhumaki, Juhani 4 Kleijn, Jetty 4 Knast, Robert 4 Kosaraju, S. Rao 4 Kurz, Ludwik 4 Leneman, Oscar A. Z. 4 Mayer, Otto 4 Meyer, Albert Ronald 4 Nasu, Masakazu 4 Nath, Prem 4 Oyamaguchi, Michio 4 Parchmann, Rainer 4 Piret, Philippe M. 4 Rao, A. N. V. 4 Robinson, John Paul 4 Rosier, Louis E. 4 Sharma, Bhu Dev 4 Sloane, Neil James Alexander 4 Solomon, Gustave 4 Specht, Johann 4 Takenaka, Yoshiko 4 Thierrin, Gabriel 4 Ullman, Jeffrey David 4 Vairavan, K. 4 Weldon, Edward J. jun. 4 Yoeli, Michael 3 Angluin, Dana 3 Athans, Michael 3 Baker, Brenda S. 3 Beauquier, Joffroy 3 Bellman, Richard Ernest 3 Benson, David B. ...and 1,213 more Authors all top 5 Fields 684 Computer science (68-XX) 389 Information and communication theory, circuits (94-XX) 157 Mathematical logic and foundations (03-XX) 86 Systems theory; control (93-XX) 51 Probability theory and stochastic processes (60-XX) 46 Combinatorics (05-XX) 46 Statistics (62-XX) 30 Group theory and generalizations (20-XX) 20 Number theory (11-XX) 15 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Calculus of variations and optimal control; optimization (49-XX) 12 Biology and other natural sciences (92-XX) 11 Category theory; homological algebra (18-XX) 11 Numerical analysis (65-XX) 10 Harmonic analysis on Euclidean spaces (42-XX) 10 Operations research, mathematical programming (90-XX) 9 Difference and functional equations (39-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Approximations and expansions (41-XX) 6 Geometry (51-XX) 5 General algebraic systems (08-XX) 5 Ordinary differential equations (34-XX) 5 General topology (54-XX) 4 Field theory and polynomials (12-XX) 4 Commutative algebra (13-XX) 3 Real functions (26-XX) 3 Abstract harmonic analysis (43-XX) 2 Associative rings and algebras (16-XX) 1 History and biography (01-XX) 1 Measure and integration (28-XX) 1 Special functions (33-XX) 1 Integral transforms, operational calculus (44-XX) 1 Integral equations (45-XX) 1 Functional analysis (46-XX) 1 Convex and discrete geometry (52-XX) 1 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,179 Publications have been cited 25,473 times in 20,123 Documents Cited by ▼ Year ▼ Fuzzy sets. Zbl 0139.24606 Zadeh, L. A. 8,254 1965 Language identification in the limit. Zbl 0259.68032 Gold, E. Mark 504 1967 Resolution of composite fuzzy relation equations. Zbl 0326.02048 Sanchez, Elie 368 1976 The definition of random sequences. Zbl 0244.62008 Martin-Löf, Per 350 1966 A definition of a nonprobabilistic entropy in the setting of fuzzy sets theory. Zbl 0239.94028 De Luca, A.; Termini, S. 349 1972 On finite monoids having only trivial subgroups. Zbl 0131.02001 Schützenberger, M. P. 253 1965 On the definition of a family of automata. Zbl 0104.00702 Schützenberger, M. P. 232 1961 Toward a mathematical theory of inductive inference. Zbl 0375.02028 Blum, Lenore; Blum, Manuel 215 1975 Probabilistic automata. Zbl 0182.33602 Rabin, M. O. 213 1963 A new approach to clustering. Zbl 0192.57101 Ruspini, E. H. 210 1969 Process algebra of synchronous communication. Zbl 0597.68027 Bergstra, J. A.; Klop, J. W. 209 1984 Inductive inference of formal languages from positive data. Zbl 0459.68051 Angluin, Dana 197 1980 A taxonomy of problems with fast parallel algorithms. Zbl 0575.68045 Cook, Stephen A. 192 1985 Some inequalities satisfied by the quantities of information of Fisher and Shannon. Zbl 0085.34701 Stam, A. J. 182 1959 Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902 McNaughton, R. 170 1966 A formal theory of inductive inference. I. Zbl 0258.68045 Solomonoff, R. J. 165 1964 Some properties of fuzzy sets of type 2. Zbl 0331.02042 Mizumoto, Masaharu; Tanaka, Kokichi 155 1976 Generalized information functions. Zbl 0205.46901 Daróczy, Z. 141 1970 Relational queries computable in polynomial time. Zbl 0612.68086 Immerman, Neil 141 1986 Temporal logic can be more expressive. Zbl 0534.03009 Wolper, Pierre 128 1983 The weight enumerators for several classes of subcodes of the 2nd order binary Reed-Muller codes. Zbl 0217.58802 Kasami, T. 118 1971 On the translation of languages from left to right. Zbl 0231.68027 Knuth, Donald E. 116 1966 Complexity of automaton identification from given data. Zbl 0376.68041 Gold, E. Mark 107 1978 On certain formal properties of grammars. Zbl 0088.10801 Chomsky, Noam 103 1959 Deterministic coin tossing with applications to optimal parallel list ranking. Zbl 0612.68044 Cole, Richard; Vishkin, Uzi 102 1986 The matrix minimum principle. Zbl 0176.07301 Athans, M. 100 1967 Processes and the denotational semantics of concurrency. Zbl 0508.68011 de Bakker, J. W.; Zucker, J. I. 99 1982 Fuzzy algorithms. Zbl 0182.33301 Zadeh, L. A. 99 1968 A formal theory of inductive inference. II. Zbl 0259.68038 Solomonoff, R. J. 99 1964 An upper bound for self-dual codes. Zbl 0254.94011 Mallows, C. L.; Sloane, N. J. A. 90 1973 Deterministic context free languages. Zbl 0145.00802 Ginsburg, S.; Greibach, S. 89 1966 Recognition and parsing of context-free languages in time \(n^ 3\). Zbl 0149.24803 Younger, D. H. 86 1967 On generalized Reed-Muller codes and their relatives. Zbl 0267.94014 Delsarte, P.; Goethals, J. M.; Mac Williams, F. J. 84 1970 Reversible codes. Zbl 0137.37704 Massey, J. L. 83 1964 Algebraically punctured cyclic codes. Zbl 0149.15903 Solomon, Gustave; Stiffler, J. J. 83 1965 Four fundamental parameters of a code and their combinatorial significance. Zbl 0274.94010 Delsarte, Philippe 83 1973 On \(\omega\)-regular sets. Zbl 0434.68061 Wagner, Klaus 83 1979 The complexity of promise problems with applications to public-key cryptography. Zbl 0592.94012 Even, Shimon; Selman, Alan L.; Yacobi, Yacov 76 1984 One-tape, off-line Turing machine computations. Zbl 0231.02048 Hennie, F. C. 75 1966 Fast parallel matrix and GCD computations. Zbl 0507.68020 Borodin, Allan; von zur Gathen, Joachim; Hopcroft, John 74 1982 The non-sequential behaviour of Petri nets. Zbl 0551.68050 Goltz, U.; Reisig, W. 74 1983 Algebraic automata and context-free sets. Zbl 0155.34301 Mezei, J.; Wright, J. B. 73 1967 Optimal state estimation in high noise. Zbl 0169.21902 Anderson, B. D. O.; Moore, J. B. 73 1968 Exponential observers for nonlinear dynamic systems. Zbl 0319.93049 Kou, Shauying R.; Elliott, David L.; Tarn, Tzyh Jong 73 1975 Maximin automata. Zbl 0174.03601 Santos, Eugene S. 71 1968 Fuzzy digital topology. Zbl 0404.68071 Rosenfeld, Azriel 71 1979 Classes of languages and linear-bounded automata. Zbl 0199.04002 Kuroda, S.-Y. 71 1964 Weights of irreducible cyclic codes. Zbl 0239.94007 Baumert, L. D.; McEliece, R. J. 69 1972 Algorithms for approximate string matching. Zbl 0575.68090 Ukkonen, Esko 69 1985 Tree generating regular systems. Zbl 0169.31601 Brainerd, W. S. 68 1969 Properties of deterministic top-down grammars. Zbl 0209.02703 Rosenkrantz, D. J.; Stearns, R. E. 66 1970 On the solution of algebraic equations over finite fields. Zbl 0166.04803 Berlekamp, E. R.; Rumsey, H.; Solomon, Gustave 66 1967 Randomness conservation inequalities; information and independence in mathematical theories. Zbl 0592.03035 Levin, Leonid A. 64 1984 On a class of error correcting binary group codes. Zbl 0104.36402 Bose, R. C.; Ray-Chaudhuri, D. K. 63 1960 On context-free languages and push-down automata. Zbl 0123.12502 Schützenberger, M. P. 62 1963 Translations on a context free grammar. Zbl 0244.68035 Aho, A. V.; Ullman, J. D. 60 1972 Propositional dynamic logic of looping and converse is elementarily decidable. Zbl 0515.68062 Streett, Robert S. 59 1982 Deciding full branching time logic. Zbl 0593.03007 Emerson, E. Allen; Sistla, A. Prasad 58 1984 An 8-state minimal time solution to the firing squad synchronization problem. Zbl 1347.68249 Balzer, Robert 58 1967 Information-theoretical considerations on estimation problems. Zbl 0222.94022 Arimoto, Suguru 56 1971 The equivalence problem for deterministic finite-turn pushdown automata. Zbl 0285.68025 Valiant, Leslie G. 56 1974 Automata in general algebras. Zbl 0175.27902 Eilenberg, S.; Wright, J. B. 55 1967 On the unique satisfiability problem. Zbl 0543.03027 Blass, Andreas; Gurevich, Yuri 54 1982 On the entropy of context-free languages. Zbl 0193.32603 Kuich, W. 54 1970 An optimum solution to the firing squad synchronization problem. Zbl 1111.68527 Waksman, Abraham 53 1966 Picture languages with array rewriting rules. Zbl 0266.68037 Siromoney, Gift; Siromoney, Rani; Krithivasan, Kamala 52 1973 Boundary NLC graph grammars - basic definitions, normal forms, and complexity. Zbl 0608.68060 Rozenberg, Grzegorz; Welzl, Emo 50 1986 Simple matrix languages. Zbl 0221.68041 Ibarra, Oscar H. 49 1970 One-way bounded cellular automata. Zbl 0442.68082 Dyer, Charles R. 48 1980 Every sequence is reducible to a random one. Zbl 0628.03024 Gács, Péter 47 1986 A theory of modal control. Zbl 0237.93004 Simon, J. D.; Mitter, S. K. 47 1968 Criteria of language learning. Zbl 0505.68038 Osherson, Daniel N.; Weinstein, Scott 46 1982 Some results on cyclic codes which are invariant under the affine group and their applications. Zbl 0169.51101 Kasami, T.; Lin, S.; Peterson, W. W. 46 1967 Some results on quasi-cyclic codes. Zbl 0185.47403 Chen, C. L.; Peterson, W. W.; Weldon, E. J. jun. 46 1969 A note on fuzzy sets. Zbl 0217.01403 Brown, J. G. 45 1971 A class of low-rate nonlinear binary codes. Zbl 0271.94016 Kerdock, A. M. 45 1972 Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042 Hartmanis, J.; Immerman, N.; Sewelson, V. 45 1985 What is a model of the lambda calculus? Zbl 0507.03002 Meyer, Albert R. 44 1982 Full AFLs and nested iterated substitution. Zbl 0188.03102 Greibach, S. A. 44 1970 Sorting Jordan sequences in linear time using level-linked search trees. Zbl 0614.68051 Hoffmann, Kurt; Mehlhorn, Kurt; Rosenstiehl, Pierre; Tarjan, Robert E. 43 1986 Circuit-size lower bounds and non-reducibility to sparse sets. Zbl 0537.94027 Kannan, R. 42 1982 A regularity test for pushdown machines. Zbl 0155.01901 Stearns, R. E. 42 1967 On the size of machines. Zbl 0165.02102 Blum, M. 42 1967 Parallel computation for well-endowed rings and space-bounded probabilistic machines. Zbl 0598.68043 Borodin, A.; Cook, S.; Pippenger, N. 42 1983 Semantic confluence tests and completion methods. Zbl 0598.68058 Plaisted, David A. 42 1985 The decidability of the equivalence problem for DOL-systems. Zbl 0365.68074 Čulik, Karel II; Fris, I. 42 1977 Tally languages and complexity classes. Zbl 0287.68029 Book, Ronald V. 41 1974 Application of model theoretic games to discrete linear orders and finite automata. Zbl 0387.68037 Ladner, Richard E. 41 1977 Using string languages to describe picture languages. Zbl 0523.68065 Maurer, H. A.; Rozenberg, G.; Welzl, E. 40 1982 Codes over integer residue rings. Zbl 0319.94003 Blake, Ian F. 40 1975 Logical relations and the typed \(\lambda\)-calculus. Zbl 0594.03006 Statman, R. 40 1985 Star-free regular sets of \(\omega\)-sequences. Zbl 0411.03031 Thomas, Wolfgang 40 1979 Finite state languages. Zbl 0081.14503 Chomsky, Noam; Miller, George A. 39 1958 Multi-tape and multi-head pushdown automata. Zbl 0174.02701 Harrison, M. A.; Ibarra, O. H. 39 1968 Infinite-dimensional filtering: The Kalman-Bucy filter in Hilbert space. Zbl 0178.18902 Falb, Peter L. 39 1967 A directed-divergence function of type \(\beta\). Zbl 0231.94015 Rathie, P. N.; Kannappan, Pl. 39 1972 An ideal model for recursive polymorphic types. Zbl 0636.68016 MacQueen, David; Plotkin, Gordon; Sethi, Ravi 38 1986 Succinct representations of graphs. Zbl 0538.68053 Galperin, Hana; Wigderson, Avi 38 1983 On the measure of fuzziness and negation. II. Lattices. Zbl 0429.04008 Yager, Ronald R. 38 1980 Operations in a fuzzy-valued logic. Zbl 0434.03020 Dubois, Didier; Prade, Henri 38 1979 Relational queries computable in polynomial time. Zbl 0612.68086 Immerman, Neil 141 1986 Deterministic coin tossing with applications to optimal parallel list ranking. Zbl 0612.68044 Cole, Richard; Vishkin, Uzi 102 1986 Boundary NLC graph grammars - basic definitions, normal forms, and complexity. Zbl 0608.68060 Rozenberg, Grzegorz; Welzl, Emo 50 1986 Every sequence is reducible to a random one. Zbl 0628.03024 Gács, Péter 47 1986 Sorting Jordan sequences in linear time using level-linked search trees. Zbl 0614.68051 Hoffmann, Kurt; Mehlhorn, Kurt; Rosenstiehl, Pierre; Tarjan, Robert E. 43 1986 An ideal model for recursive polymorphic types. Zbl 0636.68016 MacQueen, David; Plotkin, Gordon; Sethi, Ravi 38 1986 An automata-theoretical characterization of the OI-hierarchy. Zbl 0628.68061 Damm, Werner; Goerdt, Andreas 29 1986 A note on succinct representations of graphs. Zbl 0616.68041 Papadimitriou, Christos H.; Yannakakis, Mihalis 28 1986 On relativized exponential and probabilistic complexity classes. Zbl 0628.68047 Heller, Hans 22 1986 Functional dependencies and constraints on null values in database relations. Zbl 0612.68087 Atzeni, Paolo; Morfuni, Nicola M. 20 1986 On the complexity of inductive inference. Zbl 0648.68090 Daley, Robert P.; Smith, Carl H. 19 1986 On specifications, theories, and models with higher types. Zbl 0591.68019 Poigné, Axel 18 1986 Systolic trellis automata: Stability, decidability and complexity. Zbl 0626.68048 Culik, K. II; Gruska, J.; Salomaa, A. 16 1986 A logic for the description of non-deterministic programs and their properties. Zbl 0591.68017 Graf, S.; Sifakis, J. 16 1986 Categorical combinators. Zbl 0607.03005 Curien, P.-L. 16 1986 A decisive characterization of BPP. Zbl 0616.68049 Zachos, Stathis; Heller, Hans 16 1986 Definability by constant-depth polynomial-size circuits. Zbl 0629.94023 Denenberg, Larry; Gurevich, Yuri; Shelah, Saharon 15 1986 A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031 Graf, S.; Sifakis, J. 15 1986 New upper bounds for neighbor searching. Zbl 0595.68055 Chazelle, B.; Cole, R.; Preparata, F. P.; Yap, C. 14 1986 A superexponential lower bound for Gröbner bases and Church-Rosser commutative Thue systems. Zbl 0612.68033 Huynh, Dung T. 13 1986 The density and complexity of polynomial cores for intractable sets. Zbl 0611.68021 Orponen, Pekka; Schöning, Uwe 12 1986 Aggregating inductive expertise. Zbl 0612.68077 Osherson, Daniel N.; Stob, Michael; Weinstein, Scott 12 1986 Inductive inference of approximations. Zbl 0618.68073 Royer, James S. 10 1986 Probabilistic propositional temporal logics. Zbl 0614.03024 Hart, Sergiu; Sharir, Micha 9 1986 Simulation of large networks on smaller networks. Zbl 0627.68055 Bodlaender, H. L.; van Leeuwen, J. 8 1986 Solving tree problems on a mesh-connected processor array. Zbl 0605.68058 Atallah, Mikhail J.; Hambrusch, Susanne E. 5 1986 The position of index sets of identifiable sets in the arithmetical hierarchy. Zbl 0605.03017 Brandt, Ulrike 5 1986 Probabilistic analysis of a network resource allocation algorithm. Zbl 0591.90091 Lynch, Nancy A.; Griffeth, Nancy D.; Fischer, Michael J.; Guibas, Leonidas J. 3 1986 An exponential lower bound for real-time branching programs. Zbl 0627.68044 Žák, Stanislav 2 1986 On the power of two-way random generators and the impossibility of deterministic poly-space simulation. Zbl 0629.68046 Karpinski, Marek; Verbeek, Rutger 2 1986 Syntax directed analysis of liveness properties of while programs. Zbl 0591.68016 Apt, Krzysztof R.; Delporte-Gallet, Carole 2 1986 A note on some simultaneous relations among time, space, and reversal for single work tape nondeterministic Turing machines. Zbl 0623.68051 Moriya, Etsuro; Iwata, Shigeki; Kasai, Takumi 2 1986 Function definitions in term rewriting and applicative programming. Zbl 0629.68033 Mohan, Chilukuri K.; Srivas, Mandayam K. 1 1986 Pre-analysis locking. Zbl 0604.68026 Lausen, Georg; Soisalon-Soininen, Eljas; Widmayer, Peter 1 1986 A simplified lower bound for context-free-language recognition. Zbl 0605.68078 Seiferas, Joel I. 1 1986 A polynomial jump operator. Zbl 0605.03018 Townsend, Mike 1 1986 Arithmetic theories for computational complexity problems. Zbl 0611.03018 Homer, Steve; Reif, John 1 1986 Machines for attribute grammars. Zbl 0612.68075 Filé, Gilberto 1 1986 Retraction map categories and their applications to the construction of lambda calculus models. Zbl 0623.03016 Yokouchi, Hirofumi 1 1986 A taxonomy of problems with fast parallel algorithms. Zbl 0575.68045 Cook, Stephen A. 192 1985 Algorithms for approximate string matching. Zbl 0575.68090 Ukkonen, Esko 69 1985 Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042 Hartmanis, J.; Immerman, N.; Sewelson, V. 45 1985 Semantic confluence tests and completion methods. Zbl 0598.68058 Plaisted, David A. 42 1985 Logical relations and the typed \(\lambda\)-calculus. Zbl 0594.03006 Statman, R. 40 1985 Complexity of some problems from the theory of automata. Zbl 0603.68059 Stern, Jacques 33 1985 Computing with rewrite systems. Zbl 0584.68020 Dershowitz, Nachum 26 1985 Optimal parallel algorithms for string matching. Zbl 0588.68022 Galil, Zvi 25 1985 Optimal parallel pattern matching in strings. Zbl 0588.68023 Vishkin, Uzi 25 1985 A zero-one law for logic with a fixed-point operator. Zbl 0608.68077 Blass, Andreas; Gurevich, Yuri; Kozen, Dexter 20 1985 A proof rule for fair termination of guarded commands. Zbl 0577.68022 Grumberg, Orna; Francez, Nissim; Makowsky, Johann A. 17 1985 The power of the future perfect in program logics. Zbl 0582.68010 Hennessy, Matthew; Stirling, Colin 15 1985 Sublattices of the polynomial time degrees. Zbl 0556.03033 Ambos-Spies, Klaus 13 1985 How to search in history. Zbl 0575.68062 Chazelle, Bernard 11 1985 The complexity of equivalence problems for commutative grammars. Zbl 0601.68048 Huynh, Dung T. 10 1985 Fast recognition of pushdown automaton and context-free languages. Zbl 0611.68052 Rytter, Wojciech 10 1985 Effective Hilbert irreducibility. Zbl 0584.12019 Kaltofen, Erich 9 1985 A new solution for the Byzantine generals problem. Zbl 0575.68025 Reischuk, Rüdiger 8 1985 Normalization and axiomatization for numerical dependencies. Zbl 0602.68095 Grant, John; Minker, Jack 8 1985 Propositional dynamic logic of flowcharts. Zbl 0575.68039 Harel, D.; Sherman, R. 6 1985 The critical complexity of all (monotone) Boolean functions and monotone graph properties. Zbl 0588.68024 Wegener, Ingo 6 1985 AVL-trees for localized search. Zbl 0588.68033 Tsakalidis, Athanasios K. 6 1985 Fast triangulation of the plane with respect to simple polygons. Zbl 0575.68049 Hertel, Stefan; Mehlhorn, Kurt 5 1985 Unraveling k-page graphs. Zbl 0584.05055 Kannan, Ravi 4 1985 Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic). Zbl 0585.68022 Kfoury, A. J. 4 1985 Uniform characterizations of non-uniform complexity measures. Zbl 0588.68021 Balcázar, José L.; Díaz, Josep; Gabarró, Joaquim 4 1985 There is no polynomial deterministic space simulation of probabilistic space with a two-way random-tape generator. Zbl 0588.68026 Karpinski, Marek; Verbeek, Rutger 4 1985 On the relationships between Scott domains, synchronization trees, and metric spaces. Zbl 0598.68014 Rounds, William C. 4 1985 The complexity of cubical graphs. Zbl 0601.68040 Afrati, Foto; Papadimitriou, Christos H.; Papageorgiou, George 4 1985 Implicit data structures for weighted elements. Zbl 0581.68050 Frederickson, Greg N. 3 1985 On relative completeness of Hoare logics. Zbl 0586.68027 Grabowski, Michal 3 1985 Some characterizations of multihead finite automata. Zbl 0588.68027 Ibarra, Oscar H.; Kim, Sam M.; Rosier, Louis E. 3 1985 Symmetrical one-dimensional cellular spaces. Zbl 0588.68030 Szwerinski, Helge 3 1985 Alternation with restrictions on looping. Zbl 0611.68020 Robson, J. M. 2 1985 Separation in nonlinear time models. Zbl 0617.03005 Amir, Amihood 2 1985 Pseudorandom number generation and space complexity. Zbl 0575.68048 Furst, Merrick; Lipton, Richard; Stockmeyer, Larry 1 1985 Powerposets. Zbl 0588.06002 Adachi, Takanori 1 1985 Process algebra of synchronous communication. Zbl 0597.68027 Bergstra, J. A.; Klop, J. W. 209 1984 The complexity of promise problems with applications to public-key cryptography. Zbl 0592.94012 Even, Shimon; Selman, Alan L.; Yacobi, Yacov 76 1984 Randomness conservation inequalities; information and independence in mathematical theories. Zbl 0592.03035 Levin, Leonid A. 64 1984 Deciding full branching time logic. Zbl 0593.03007 Emerson, E. Allen; Sistla, A. Prasad 58 1984 An upper and lower bound for clock synchronization. Zbl 0591.68023 Lundelius, Jennifer; Lynch, Nancy 24 1984 Arbitrary versus periodic storage schemes and tessellations of the plane using one type of polyomino. Zbl 0592.05017 Wijshoff, H. A. G.; van Leeuwen, J. 19 1984 A logic for constant-depth circuits. Zbl 0592.94023 Gurevich, Yuri; Lewis, Harry R. 14 1984 Optimal decision trees and one-time-only branching programs for symmetric Boolean functions. Zbl 0592.94025 Wegener, Ingo 13 1984 On static logics, dynamic logics, and complexity classes. Zbl 0589.68030 Harel, D.; Peleg, D. 12 1984 Geometric retrieval problems. Zbl 0591.68091 Cole, Richard; Yap, Chee K. 12 1984 A fresh look at free choice nets. Zbl 0589.68044 Thiagarajan, P. S.; Voss, K. 10 1984 An average case analysis of Floyd’s algorithm to construct heaps. Zbl 0589.68046 Doberkat, Ernst E. 10 1984 A programming language for the inductive sets, and applications. Zbl 0591.68037 Harel, David; Kozen, Dexter 10 1984 An algorithm for covering polygons with rectangles. Zbl 0591.68073 Franzblau, D. S.; Kleitman, D. J. 10 1984 Hash functions for priority queues. Zbl 0591.68093 Ajtai, M.; Fredman, M.; Komlós, J. 10 1984 A decidable propositional dynamic logic with explicit probabilities. Zbl 0592.68031 Feldman, Yishai A. 10 1984 The uniform conjugacy problem for finite Church-Rosser Thue systems is NP-complete. Zbl 0592.03025 Narendran, Paliath; Otto, Friedrich; Winklmann, Karl 10 1984 Effectively given domains and lambda-calculus models. Zbl 0599.03008 Giannini, Paola; Longo, Giuseppe 10 1984 Alternation bounded auxiliary pushdown automata. Zbl 0589.68058 Ladner, Richard E.; Stockmeyer, Larry J.; Lipton, Richard J. 7 1984 On the progress of communication between two finite state machines. Zbl 0591.68057 Gouda, M. G.; Manning, E. G.; Yu, Y. T. 7 1984 Dynamic c-oriented polygonal intersection searching. Zbl 0591.68061 Güting, Ralf Hartmut 7 1984 Functional behavior of nondeterministic and concurrent programs. Zbl 0591.68018 Main, Michael G.; Benson, David B. 6 1984 On similarity and duality of computation. I. Zbl 0589.68038 Hong, Jia-Wei 5 1984 Can message buffers be axiomatized in linear temporal logic? Zbl 0591.68022 Sistla, A. P.; Clarke, E. M.; Francez, N.; Meyer, A. R. 5 1984 ...and 1079 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 20,372 Authors 117 Jain, Sanjay 101 Akram, Muhammad 94 Stephan, Frank 86 Davvaz, Bijan 79 Jun, Young Bae 78 Rozenberg, Grzegorz 77 Ibarra, Oscar H. 75 Kutrib, Martin 71 Xu, Zeshui 68 Mordeson, John N. 63 Yager, Ronald R. 62 Pedrycz, Witold 60 Engelfriet, Joost 53 Zhan, Jianming 51 Dubois, Didier 50 Case, John 50 Prade, Henri M. 44 Bustince Sola, Humberto 44 Chen, Shyiming 42 Mahmood, Tahir 41 Abdullah, Saleem 41 Bergstra, Jan A. 40 Culik, Karel II 40 Salomaa, Arto Kustaa 39 Droste, Manfred 39 Gil, María Angeles 39 Kreinovich, Vladik Yakovlevich 39 Mesiar, Radko 39 Yang, Miin-Shen 38 Okhotin, Alexander 38 Wood, Derick 37 Vogler, Heiko 36 Han, Sang-Eon 36 Karhumaki, Juhani 36 Kerre, Etienne E. 36 Otto, Friedrich 35 Holzer, Markus 35 Hu, Baoqing 35 Inoue, Katsushi 34 Harada, Masaaki 34 Helleseth, Tor 34 Pal, Madhumangal 34 Păun, Gheorghe 34 Wu, Hsien-Chung 33 Aceto, Luca 33 Di Nola, Antonio 33 Kinber, Efim B. 32 Bedregal, Benjamín René Callejas 32 Calude, Cristian S. 32 Courcelle, Bruno 31 Borzooei, Rajab Ali 31 De Baets, Bernard 31 Fernau, Henning 31 Garg, Harish 31 Ingólfsdóttir, Anna 30 Chen, Xiaohong 30 Malcher, Andreas 30 Solé, Patrick 30 Yoshida, Yuji 29 Allahviranloo, Tofigh 29 Freivalds, Rūsiņš Mārtiņš 29 Liu, Peide 29 Lutz, Jack H. 29 Shabir, Muhammad 28 Book, Ronald Vernon 28 Hemaspaandra, Lane A. 28 Pin, Jean-Eric 28 Staiger, Ludwig 27 Ehrenfeucht, Andrzej 27 Honkala, Juha 27 Kandel, Abraham 27 Kumar, Amit 26 Dassow, Jürgen 26 Klement, Erich Peter 26 Li, Hongxing 26 Nies, André Otfrid 25 Greibach, Sheila A. 25 Pighizzini, Giovanni 25 Vardi, Moshe Ya’akov 25 Zahedi, Mohammad Mehdi 25 Zaripov, Rinat G. 24 Fülöp, Zoltán 24 Perrin, Dominique 24 Salomaa, Kai T. 24 Sharma, Arun Kumar 24 Shum, Kar-Ping 24 Wang, Xueping 24 Zeugmann, Thomas 23 Downey, Rodney Graham 23 Kumar, Satish 23 Lowen, Robert 23 Rashmanlou, Hossein 23 Sessa, Salvatore 23 Takanami, Itsuo 23 Vitányi, Paul M. B. 22 Barmpalias, George 22 Gerla, Giangiacomo 22 Khan, Asghar 22 Klir, George J. 22 Lange, Steffen ...and 20,272 more Authors all top 5 Cited in 946 Journals 1,747 Fuzzy Sets and Systems 1,587 Theoretical Computer Science 977 Information Sciences 544 Journal of Computer and System Sciences 460 Information and Computation 455 Soft Computing 361 Information Processing Letters 247 International Journal of Approximate Reasoning 238 Journal of Intelligent and Fuzzy Systems 237 Discrete Mathematics 225 Journal of Mathematical Analysis and Applications 214 Designs, Codes and Cryptography 204 Computers & Mathematics with Applications 194 European Journal of Operational Research 193 Computational and Applied Mathematics 184 Acta Informatica 180 International Journal of Computer Mathematics 174 International Journal of Foundations of Computer Science 167 Mathematical Systems Theory 164 Discrete Applied Mathematics 158 Finite Fields and their Applications 151 International Journal of General Systems 146 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 135 Kybernetika 127 International Journal of Systems Science 120 Fuzzy Optimization and Decision Making 118 Automatica 114 Mathematical Problems in Engineering 107 Iranian Journal of Fuzzy Systems 105 Applied Mathematical Modelling 101 Theory of Computing Systems 99 International Journal of Control 98 Applied Mathematics and Computation 87 Annals of Pure and Applied Logic 87 Advances in Fuzzy Systems 86 Journal of Combinatorial Theory. Series A 86 Journal of Function Spaces 83 The Journal of Symbolic Logic 83 Kybernetes 81 Pattern Recognition 79 Journal of Computational and Applied Mathematics 76 Journal of the Franklin Institute 76 Mathematical and Computer Modelling 72 Journal of Applied Mathematics and Computing 71 Chaos, Solitons and Fractals 71 New Mathematics and Natural Computation 71 Symmetry 70 Artificial Intelligence 70 Afrika Matematika 68 Algorithmica 65 Cryptography and Communications 65 Journal of Mathematics 63 RAIRO. Informatique Théorique et Applications 58 Journal of Discrete Mathematical Sciences & Cryptography 57 Journal of Applied Mathematics 56 Annals of Operations Research 56 Logical Methods in Computer Science 54 RAIRO, Informatique Théorique 54 Advances in Mathematics of Communications 53 Journal of Statistical Planning and Inference 52 Linear Algebra and its Applications 52 RAIRO. Theoretical Informatics and Applications 51 International Journal of Computer & Information Sciences 50 Journal of Optimization Theory and Applications 50 Journal of Symbolic Computation 50 MSCS. Mathematical Structures in Computer Science 50 Annals of Mathematics and Artificial Intelligence 49 International Journal of Production Research 49 Fuzzy Information and Engineering 48 Systems & Control Letters 48 International Journal of Intelligent Systems 47 Opsearch 47 Applicable Algebra in Engineering, Communication and Computing 45 Cybernetics and Systems 45 Discrete Dynamics in Nature and Society 44 Problems of Information Transmission 43 Computing 42 Semigroup Forum 42 Computational Complexity 41 International Journal of Control, I. Series 39 Formal Aspects of Computing 39 Complexity 39 Journal of Inequalities and Applications 39 International Journal of Systems Science. Principles and Applications of Systems and Integration 37 Abstract and Applied Analysis 36 International Journal of Mathematics and Mathematical Sciences 36 Mathematics and Computers in Simulation 36 Computers & Operations Research 35 Journal of Mathematical Sciences (New York) 34 Journal of Mathematical Physics 34 Distributed Computing 34 Journal of Logical and Algebraic Methods in Programming 34 Korean Journal of Mathematics 33 International Journal of Theoretical Physics 33 Studia Logica 33 Cybernetics and Systems Analysis 33 Filomat 32 Communications in Statistics. Theory and Methods 32 Journal of Mathematical Imaging and Vision 32 Thai Journal of Mathematics ...and 846 more Journals all top 5 Cited in 63 Fields 8,773 Computer science (68-XX) 4,236 Mathematical logic and foundations (03-XX) 2,564 Information and communication theory, circuits (94-XX) 1,861 Operations research, mathematical programming (90-XX) 1,602 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1,214 Systems theory; control (93-XX) 1,133 Statistics (62-XX) 1,022 Combinatorics (05-XX) 963 General topology (54-XX) 761 Group theory and generalizations (20-XX) 650 Probability theory and stochastic processes (60-XX) 624 Order, lattices, ordered algebraic structures (06-XX) 539 Number theory (11-XX) 422 Numerical analysis (65-XX) 379 Biology and other natural sciences (92-XX) 327 Real functions (26-XX) 276 Associative rings and algebras (16-XX) 268 Linear and multilinear algebra; matrix theory (15-XX) 265 Measure and integration (28-XX) 249 Ordinary differential equations (34-XX) 235 Operator theory (47-XX) 235 Quantum theory (81-XX) 225 Functional analysis (46-XX) 214 General algebraic systems (08-XX) 212 Category theory; homological algebra (18-XX) 210 Calculus of variations and optimal control; optimization (49-XX) 148 Dynamical systems and ergodic theory (37-XX) 136 Sequences, series, summability (40-XX) 126 Geometry (51-XX) 124 Difference and functional equations (39-XX) 122 Statistical mechanics, structure of matter (82-XX) 121 Commutative algebra (13-XX) 120 Convex and discrete geometry (52-XX) 87 Partial differential equations (35-XX) 86 History and biography (01-XX) 79 Approximations and expansions (41-XX) 75 Mechanics of deformable solids (74-XX) 74 Field theory and polynomials (12-XX) 67 Harmonic analysis on Euclidean spaces (42-XX) 65 Algebraic geometry (14-XX) 59 General and overarching topics; collections (00-XX) 55 Integral equations (45-XX) 53 Mechanics of particles and systems (70-XX) 40 Geophysics (86-XX) 29 Algebraic topology (55-XX) 29 Manifolds and cell complexes (57-XX) 29 Fluid mechanics (76-XX) 27 Topological groups, Lie groups (22-XX) 26 Special functions (33-XX) 25 Integral transforms, operational calculus (44-XX) 24 Functions of a complex variable (30-XX) 16 Nonassociative rings and algebras (17-XX) 15 Abstract harmonic analysis (43-XX) 15 Differential geometry (53-XX) 15 Global analysis, analysis on manifolds (58-XX) 13 Classical thermodynamics, heat transfer (80-XX) 12 Optics, electromagnetic theory (78-XX) 6 Relativity and gravitational theory (83-XX) 5 Several complex variables and analytic spaces (32-XX) 2 Mathematics education (97-XX) 1 \(K\)-theory (19-XX) 1 Potential theory (31-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year