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