Mathematical Systems TheoryAn International Journal on Mathematical Computing Theory Short Title: Math. Syst. Theory Publisher: Springer, New York ISSN: 0025-5661 Online: http://link.springer.com/journal/volumesAndIssues/224 Successor: Theory of Computing Systems Comments: Journal; No longer indexed Documents Indexed: 747 Publications (1967–1996) References Indexed: 734 Publications with 10,497 References. all top 5 Latest Issues 29, No. 6 (1996) 29, No. 5 (1996) 29, No. 4 (1996) 29, No. 3 (1996) 29, No. 2 (1996) 29, No. 1 (1996) 28, No. 6 (1995) 28, No. 5 (1995) 28, No. 4 (1995) 28, No. 3 (1995) 28, No. 2 (1995) 28, No. 1 (1995) 27, No. 6 (1994) 27, No. 5 (1994) 27, No. 4 (1994) 27, No. 3 (1994) 27, No. 2 (1994) 27, No. 1 (1994) 26, No. 4 (1993) 26, No. 3 (1993) 26, No. 2 (1993) 26, No. 1 (1993) 25, No. 4 (1992) 25, No. 3 (1992) 25, No. 2 (1992) 25, No. 1 (1992) 24, No. 4 (1991) 24, No. 3 (1991) 24, No. 2 (1991) 24, No. 1 (1991) 23, No. 4 (1990) 23, No. 3 (1990) 23, No. 2 (1990) 23, No. 1 (1990) 22, No. 4 (1989) 22, No. 3 (1989) 22, No. 2 (1989) 22, No. 1 (1989) 21, No. 4 (1989) 21, No. 3 (1988) 21, No. 2 (1988) 21, No. 1 (1988) 20, No. 4 (1987) 20, No. 2-3 (1987) 20, No. 1 (1987) 19 (1986/1987) 18 (1985) 17 (1984) 16 (1983) 15 (1981/1982) 14 (1981) 13 (1979/1980) 12 (1978/1979) 11 (1977/1978) 10 (1976/1977) 9 (1975/1976) 8 (1974/1975) 7 (1973/1974) 6 (1972/1973) 5 (1971) 4 (1970) 3 (1969) 2 (1968) 1 (1967) all top 5 Authors 9 Book, Ronald Vernon 9 Rosenberg, Arnold Leonard 8 Hájek, Otomar 7 Courcelle, Bruno 7 Ibarra, Oscar H. 6 Ginsburg, Seymour 6 Porter, William A. 5 Aho, Alfred Vaino 5 Hartmanis, Juris 5 Martin, Clyde Franklin 5 Sears, Michael 5 Ullman, Jeffrey David 5 Wotschke, Detlef 5 Yorke, James Alan 4 Coven, Ethan M. 4 Engelfriet, Joost 4 Galil, Zvi 4 Goldstine, Jonathan 4 Greibach, Sheila A. 4 Hemaspaandra, Lane A. 4 Hopcroft, John Edward H. 4 Jones, Neil D. 4 Kalouptsidis, Nicholas 4 Kintala, Chandra 4 Lew, John S. 4 Lynch, Nancy Ann 4 Otto, Friedrich 4 Padgett, William Jowayne 4 Pippenger, Nicholas J. 4 Rozenberg, Grzegorz 4 Selman, Alan Louis 4 Shank, Herbert S. 4 van der Schaft, Arjan J. 4 Walters, Peter 4 Watanabe, Osamu 4 Wood, Derick 3 Blum, Edward Kenneth 3 Bowen, Rufus 3 Bridgland, T. F. jun. 3 Byrnes, Christopher Ian 3 Cai, Jin-Yi 3 Cobham, Alan 3 Cushing, Jim M. 3 DeSantis, Romano M. 3 Elliott, David LeRoy 3 Gauthier, Jean-Paul A. 3 Halpern, Joseph Yehuda 3 Hermann, Robert 3 Hunt, Louis R. 3 Latteux, Michel 3 Loui, Michael C. 3 Meinel, Christoph 3 Meyer, Albert Ronald 3 Reddy, William L. 3 Rothenberg, David 3 Salomaa, Arto Kustaa 3 Slutzki, Giora 3 Toda, Seinosuke 3 Tsokos, Christos P. 3 Ura, Taro 3 Wagner, Klaus W. 3 Wallace, Alexander Doniphan 3 Wrathall, Celia 3 Young, Paul R. 2 Angluin, Dana 2 Annexstein, Fred S. 2 Aravena, Jorge L. 2 Arnold, André 2 Autebert, Jean-Michel 2 Bacciotti, Andrea 2 Balcázar, José Luis 2 Bar-Noy, Amotz 2 Baumslag, Marc 2 Beck, Anatole 2 Bednarek, Alexander R. 2 Benson, David B. 2 Berg, Kenneth R. 2 Bernfeld, Stephen R. 2 Bhatia, Nam Parshad 2 Birget, Jean-Camille 2 Boasson, Luc 2 Bownds, John M. 2 Brandenburg, Franz-Josef 2 Bucy, Richard Snowden 2 Celle, Frédéric 2 Celoni, James R. 2 Chang, Richard 2 Choffrut, Christian 2 Corduneanu, Constantin 2 Cremers, Armin B. 2 Crouch, Peter E. 2 De Vries, Jan 2 Diekert, Volker 2 Ehrenfeucht, Andrzej 2 Even, Shimon 2 Feintuch, Avraham 2 Fischer, Patrick Carl 2 Frougny, Christiane 2 Fu, Bin 2 Fülöp, Zoltán ...and 679 more Authors all top 5 Fields 358 Computer science (68-XX) 103 Systems theory; control (93-XX) 71 Mathematical logic and foundations (03-XX) 66 General topology (54-XX) 39 Ordinary differential equations (34-XX) 29 Measure and integration (28-XX) 29 Information and communication theory, circuits (94-XX) 26 Probability theory and stochastic processes (60-XX) 24 Combinatorics (05-XX) 24 Dynamical systems and ergodic theory (37-XX) 19 Operator theory (47-XX) 15 Group theory and generalizations (20-XX) 15 Functional analysis (46-XX) 13 Topological groups, Lie groups (22-XX) 13 Integral equations (45-XX) 12 Number theory (11-XX) 12 Manifolds and cell complexes (57-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 8 Category theory; homological algebra (18-XX) 6 Partial differential equations (35-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 6 Global analysis, analysis on manifolds (58-XX) 6 Mechanics of particles and systems (70-XX) 4 Commutative algebra (13-XX) 4 Approximations and expansions (41-XX) 4 Statistics (62-XX) 4 Operations research, mathematical programming (90-XX) 3 General algebraic systems (08-XX) 3 Sequences, series, summability (40-XX) 3 Differential geometry (53-XX) 3 Numerical analysis (65-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 History and biography (01-XX) 2 Field theory and polynomials (12-XX) 2 Associative rings and algebras (16-XX) 2 Functions of a complex variable (30-XX) 2 Quantum theory (81-XX) 2 Biology and other natural sciences (92-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Difference and functional equations (39-XX) 1 Abstract harmonic analysis (43-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) 1 Relativity and gravitational theory (83-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 631 Publications have been cited 9,515 times in 7,794 Documents Cited by ▼ Year ▼ Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation. Zbl 0146.28502 Furstenberg, Harry 469 1967 Endomorphisms and automorphisms of the shift dynamical system. Zbl 0182.56901 Hedlund, G. A. 443 1969 Parity, circuits, and the polynomial-time hierarchy. Zbl 0534.94008 Furst, Merrick; Saxe, James B.; Sipser, Michael 295 1984 Doubly-indexed dynamical systems: State-space models and structural properties. Zbl 0392.93034 Fornasini, E.; Marchesini, G. 259 1978 Uniform tag sequences. Zbl 0253.02029 Cobham, Alan 231 1972 Generalized finite automata theory with an application to a decision problem of second-order logic. Zbl 0157.02201 Thatcher, J. W.; Wright, J. B. 197 1968 Sequences with minimal block growth. Zbl 0256.54028 Coven, Ethan M.; Hedlund, G. A. 160 1973 Fixed points of contraction mappings on probabilistic metric spaces. Zbl 0244.60004 Sehgal, V. M.; Bharucha-Reid, A. T. 157 1972 Semantics of context-free languages. Zbl 0169.01401 Knuth, D. E. 152 1968 Some systems with unique equilibrium states. Zbl 0299.54031 Bowen, Rufus 147 1975 Mappings and grammars on trees. Zbl 0203.30103 Rounds, W. C. 134 1970 On the base-dependence of sets of numbers recognizable by finite automata. Zbl 0179.02501 Cobham, Alan 131 1969 Design and implementation of an efficient priority queue. Zbl 0363.60104 van Emde Boas, P.; Kaas, R.; Zijlstra, E. 126 1977 Bottom-up and top-down tree transformation - a comparison. Zbl 0335.68061 Engelfriet, Joost 125 1975 Summary of decision problems for \(\omega\)-automata. Zbl 0182.02402 Landweber, L. H. 107 1969 Graph expressions and graph rewritings. Zbl 0641.68115 Bauderon, Michel; Courcelle, Bruno 106 1987 A unified approach to the definition of random sequences. Zbl 0227.62005 Schnorr, C. P. 103 1971 Description of developmental languages using recurrence systems. Zbl 0313.68068 Herman, G. T.; Lindenmayer, A.; Rozenberg, G. 87 1975 Counter machines and counter languages. Zbl 0165.32002 Fischer, P. C.; Meyer, A. R.; Rosenberg, A. L. 79 1968 On B-convex Banach spaces. Zbl 0323.46018 Brunel, Antoine; Sucheston, Louis 77 1974 Top-down tree transducers with regular look-ahead. Zbl 0369.68048 Engelfriet, Joost 75 1977 A helpful result for proving inherent ambiguity. Zbl 0175.27802 Ogden, William 74 1968 Representations of numbers and finite automata. Zbl 0776.11005 Frougny, Christiane 65 1992 Invariance for ordinary differential equations. Zbl 0155.14201 Yorke, J. A. 65 1967 Existence and uniqueness of minimal realizations of nonlinear systems. Zbl 0354.93017 Sussman, Hector J. 65 1977 Deductive systems and categories. I: Syntactic calculus and residuated categories. Zbl 0176.28901 Lambek, J. 63 1968 Relativization of questions about log space computability. Zbl 0341.68036 Ladner, Richard E.; Lynch, Nancy A. 62 1976 P-selective sets, tally languages, and the behavior of polynomial time reducibilities on NP. Zbl 0405.03018 Selman, Alan L. 60 1979 Algebraic decision procedures for local testability. Zbl 0287.02022 McNaughton, Robert 59 1974 Realization theory in Hilbert space. Zbl 0668.93018 Salamon, Dietmar 58 1988 Algebraic and other entropies of group endomorphisms. Zbl 0298.28014 Weiss, Michael D. 56 1975 Periodicity in generations of automata. Zbl 0295.02019 Case, John 53 1974 Quasi-real-time languages. Zbl 0188.33102 Book, Ronald V.; Greibach, Sheila A. 53 1970 Control sets on grammars. Zbl 0157.33604 Ginsburg, Seymour; Spanier, Edwin H. 47 1968 On the uniqueness of the equilibrium state. Zbl 0302.28011 Krieger, Wolfgang 46 1975 New lower bound techniques for VLSI. Zbl 0488.94048 Leighton, Frank Thomson 45 1984 Semantics of context-free languages: Correction. Zbl 0219.68035 Knuth, D. E. 45 1971 Bi-immune sets for complexity classes. Zbl 0572.68035 Balcázar, José L.; Schöning, Uwe 44 1985 Algebraic specification of data types. A synthetic approach. Zbl 0457.68035 Lehmann, Daniel J.; Smyth, Michael B. 42 1981 Chains of full AFL’s. Zbl 0203.30102 Greibach, S. A. 42 1970 On finite 0-simple semigroups and graph theory. Zbl 0177.03103 Graham, R. L. 42 1968 New problems complete for nondeterministic log space. Zbl 0341.68035 Jones, Neil D.; Lien, Y. Edmund; Laaser, William T. 41 1976 Endomorphisms of irreducible subshifts of finite type. Zbl 0309.54032 Coven, Ethan M.; Paul, Michael E. 40 1975 A note on finite-valued and finitely ambiguous transducers. Zbl 0502.68022 Gurari, Eitan M.; Ibarra, Oscar H. 39 1983 Single-input observability of continuous-time systems. Zbl 0422.93019 Sussmann, Hector J. 39 1979 Space bounds for a game on graphs. Zbl 0366.90150 Paul, Wolfgang J.; Tarjan, Robert Endre; Celoni, James R. 39 1977 Relations between varieties of Kolmogorov complexities. Zbl 0849.68059 Uspensky, V. A.; Shen, A. 38 1996 Right topological groups, distal flows and a fixed-point theorem. Zbl 0239.22001 Namioka, I. 38 1972 Generators for topological entropy and expansiveness. Zbl 0176.20603 Keynes, Harvey B.; Robertson, J. B. 37 1969 Convolution of invariant measures, maximal entropy. Zbl 0179.08301 Berg, K. R. 37 1969 Three hierarchies of transducers. Zbl 0509.68078 Engelfriet, Joost 35 1982 Structure and importance of logspace-MOD class. Zbl 0749.68033 Buntrock, Gerhard; Damm, Carsten; Hertrampf, Ulrich; Meinel, Christoph 35 1992 On the power of parity polynomial time. Zbl 0718.68038 Cai, Jin-yi; Hemachandra, Lane A. 35 1990 On an algebraic theory of systems defined by convolution operators. Zbl 0318.93003 Kamen, E. W. 35 1975 State-complexity of finite-state devices, state compressibility and incompressibility. Zbl 0779.68061 Birget, Jean-Camille 34 1993 On realization of nonlinear systems described by higher-order differential equations. Zbl 0624.93015 van der Schaft, A. J. 34 1987 Some characteristic properties of dynamical systems with quasi-discrete spectra. Zbl 0167.32902 Hahn, F.; Parry, William 32 1968 Algorithmic properties of structures. Zbl 0202.00802 Engeler, E. 32 1967 Representation of reversible cellular automata with block permutations. Zbl 0840.68081 Kari, J. 30 1996 Pushdown tree automata. Zbl 0524.68047 Guessarian, Irene 30 1983 Some bilinear forms whose multiplicative complexity depends on the field of constants. Zbl 0363.65014 Winograd, S. 30 1977 Generalised finite automata theory with an application to a decision problem of second-order logic. Zbl 0196.01901 Thatcher, J. W.; Wright, J. B. 30 1968 A note on undecidable properties of formal languages. Zbl 0157.01902 Greibach, S. 29 1968 On a stochastic integral equation of the Volterra type. Zbl 0186.49902 Tsokos, C. P. 29 1969 A priority queue in which initialization and queue operations take 0(log log D) time. Zbl 0522.68039 Johnson, Donald B. 28 1982 The equivalence of four extensions of context-free grammars. Zbl 0813.68129 Vijay-Shanker, K.; Weir, D. J. 28 1994 A standard form for sequential stochastic control. Zbl 0256.93063 Witsenhausen, H. S. 28 1973 On the definitions of some complexity classes of real numbers. Zbl 0529.03016 Ko, Ker-I 28 1983 A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098 Courcelle, B.; Engelfriet, J. 27 1995 On perturbing Lyapunov functions. Zbl 0354.34050 Lakshmikantham, V.; Leela, S. 27 1976 The theory of languages. Zbl 0196.01702 Aho, A. V.; Ullman, J. D. 27 1968 On asymptotically autonomous differential equations. Zbl 0189.38502 Strauss, Aaron; Yorke, James A. 26 1967 Complexity classes and theories of finite models. Zbl 0484.03020 Lynch, James F. 26 1982 Minimal flows arising from substitutions of non-constant length. Zbl 0256.54026 Martin, John C. 26 1973 Topological transitivity and ergodic measures. Zbl 0212.40103 Weiss, Benjamin 26 1971 On the correlation of symmetric functions. Zbl 0858.94033 Cai, Jin-Yi; Green, F.; Thierauf, T. 25 1996 Equivalence of input-output stability and exponential stability for infinite-dimensional systems. Zbl 0657.93050 Curtain, Ruth F. 25 1988 Computing functions on asynchronous anonymous networks. Zbl 0848.68007 Yamashita, M.; Kameda, T. 24 1996 Satisfiability problems for propositional calculi. Zbl 0428.03035 Lewis, Harry R. 24 1979 A proof of the independence of the continuum hypothesis. Zbl 0149.25302 Scott, D. 24 1967 On the combinational complexity of certain symmetric Boolean functions. Zbl 0369.94016 Stockmeyer, Larry J. 24 1977 The Malliavin calculus and its application to second order parabolic differential equations. I. Zbl 0474.60061 Stroock, Daniel W. 24 1981 Semiflows associated with compact and uniform processes. Zbl 0303.54016 Dafermos, Constantine M. 24 1975 Realization is universal. Zbl 0248.18015 Goguen, J. A. 24 1973 Characterizations of the decidability of some problems for regular trace languages. Zbl 0679.68132 Aalbersberg, Ijsbrand Jan; Hoogeboom, Hendrik Jan 24 1989 Infinite trees in normal form and recursive equations having a unique solution. Zbl 0418.68013 Courcelle, Bruno 23 1979 On the depth complexity of formulas. Zbl 0445.68031 Shamir, Eli; Snir, Marc 23 1980 Bicontinuous extensions of invertible combinatorial functions. Zbl 0469.94020 Toffoli, Tommaso 22 1981 Differential geometry of a parametric family of invertible linear systems. Riemannian metric, dual affine connections, and divergence. Zbl 0632.93017 Amari, Shun-ichi 21 1987 The monadic second-order logic of graphs. II: Infinite graphs of bounded width. Zbl 0694.68043 Courcelle, Bruno 21 1989 BERNOULLI EQUILIBRIUM STATES FOR AXIOM A diffeomorphisms. Zbl 0304.28012 Bowen, Rufus 21 1975 A homomorphism theorem for finite semigroups. Zbl 0204.03303 Rhodes, John 21 1967 Maximizing entropy for a hyperbolic flow. Zbl 0303.58014 Bowen, Rufus 21 1974 Synthesis of nonlinear observers: A harmonic-analysis approach. Zbl 0691.93005 Celle, F.; Gauthier, J. P.; Kazakos, D.; Sallet, G. 21 1989 A relationship between difference hierarchies and relativized polynomial hierarchies. Zbl 0776.68043 Beigel, Richard; Chang, Richard; Ogiwara, Mitsunori 20 1993 Fast parallel Lyndon factorization with applications. Zbl 0815.68066 Apostolico, A.; Crochemore, M. 20 1995 On polynomial-time truth-table reduciblity of intractable sets to p- selective sets. Zbl 0722.68059 Toda, Seinosuke 20 1991 Local maps inducing surjective global maps of one-dimensional tessellation automata. Zbl 0389.68024 Nasu, Masakazu 20 1978 On weak mixing of cascade. Zbl 0247.28010 Lau, Kenneth; Zame, Alan 20 1973 On realization of linear systems and applications to some questions of stability. Zbl 0302.93010 Fuhrmann, P. A. 20 1975 Relations between varieties of Kolmogorov complexities. Zbl 0849.68059 Uspensky, V. A.; Shen, A. 38 1996 Representation of reversible cellular automata with block permutations. Zbl 0840.68081 Kari, J. 30 1996 On the correlation of symmetric functions. Zbl 0858.94033 Cai, Jin-Yi; Green, F.; Thierauf, T. 25 1996 Computing functions on asynchronous anonymous networks. Zbl 0848.68007 Yamashita, M.; Kameda, T. 24 1996 Set-driven and rearrangement-independent learning of recursive languages. Zbl 0860.68088 Lange, S.; Zeugmann, T. 16 1996 On digital nondeterminism. Zbl 0868.68058 Cucker, F.; Matamala, M. 15 1996 On balanced versus unbalanced computation trees. Zbl 0853.68097 Hertrampf, U.; Vollmer, H.; Wagner, K. W. 13 1996 Two-way automata and length-preserving homomorphisms. Zbl 0846.68071 Birget, J.-C. 9 1996 Strong self-reducibility precludes strong immunity. Zbl 0857.68046 Hemaspaandra, L. A.; Zimand, M. 8 1996 An enlarged family of packing polynomials on multidimensional lattices. Zbl 0874.11049 Morales, L. B.; Lew, J. S. 7 1996 The bisection width of grid graphs. Zbl 0839.68076 Papadimitriou, C. H.; Sideri, M. 7 1996 Learning two-tape automata from queries and counterexamples. Zbl 0849.68083 Yokomori, T. 5 1996 Upper bounds for the complexity of sparse and tally descriptions. Zbl 0840.68041 Arvind, V.; Köbler, J.; Mundhenk, M. 5 1996 DNA sequencing and string learning. Zbl 1111.68458 Jiang, Tao; Li, Ming 5 1996 Diagonal polynomials for small dimensions. Zbl 0874.11048 Lew, J. S.; Morales, L. B.; Sánchez-Flores, A. 4 1996 Representing shared data on distributed-memory parallel computers. Zbl 0840.68030 Herley, K. T. 4 1996 Improved approximations for the minimum-cut ratio and the flux. Zbl 0844.68097 Tragoudas, S. 4 1996 On small cuts separating an abelian Cayley graph into small equal parts. Zbl 0856.05050 Hamidoune, Y. O.; Serra, Oriol 3 1996 UP and the low and high hierarchies: A relativized separation. Zbl 0858.68040 Sheu, M.-J.; Long, T. J. 3 1996 Bounded dilation maps of hypercubes into Cayley graphs on the symmetric group. Zbl 0860.68079 Miller, Z.; Pritikin, D.; Sudborough, I. H. 3 1996 The bounded membership problem of the monoid \(\mathrm{SL}_2(N)\). Zbl 0860.68045 Cai, J.; Liu, Zicheng 3 1996 On the power of generalized MOD-classes. Zbl 0840.68044 Köbler, J.; Toda, Seinosuke 3 1996 Flit-serial packet routing on meshes and tori. Zbl 1111.68330 Makedon, F.; Symvonis, A. 3 1996 A note on busy beavers and other creatures. Zbl 0848.68036 Ben-Amram, A. M.; Julstrom, B. A.; Zwick, U. 2 1996 Superlinear deterministic top-down tree transducers. Zbl 0857.68068 Dányi, G.; Fülöp, Z. 2 1996 Probabilistic asynchronous automata. Zbl 0840.68079 Jesi, S.; Pighizzini, G.; Sabadini, N. 2 1996 Tree-stack automata. Zbl 0846.68073 Golubski, W.; Lippe, W. M. 1 1996 Pi-sigma-pi threshold formulas. Zbl 0852.94031 Radhakrishnan, J. 1 1996 The shuffle exchange network has a Hamiltonian path. Zbl 0861.68006 Feldmann, R.; Mysliwietz, P. 1 1996 NP-creative sets: A new class of creative sets in NP. Zbl 0857.68044 Agrawal, M.; Biswas, S. 1 1996 Node bisectors of Cayley graphs. Zbl 0860.68077 Blackburn, S. R. 1 1996 Alternating time versus deterministic time: A separation. Zbl 0868.68053 Gupta, S. 1 1996 A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098 Courcelle, B.; Engelfriet, J. 27 1995 Fast parallel Lyndon factorization with applications. Zbl 0815.68066 Apostolico, A.; Crochemore, M. 20 1995 On computing Boolean connectives of characteristic functions. Zbl 0827.68065 Chang, R.; Kadin, J. 18 1995 OptP as the normal behavior of NP-complete problems. Zbl 0830.68064 Gasarch, W. I.; Krentel, M. W.; Rappoport, K. J. 15 1995 Linear-time snapshot implementations in unbalanced systems. Zbl 0833.68047 Israeli, A.; Shaham, A.; Shirazi, A. 11 1995 Recognizing binary Hamming graphs in \(O(n^ 2 \log n)\) time. Zbl 0833.68087 Aurenhammer, F.; Hagauer, J. 9 1995 The performance of greedy algorithms for the on-line Steiner tree and related problems. Zbl 0844.68098 Westbrook, J.; Yan, D. C. K. 9 1995 On unification of terms with integer exponents. Zbl 0815.68037 Comon, H. 9 1995 Pumping lemmas for the control language hierarchy. Zbl 0827.68064 Palis, M. A.; Shende, S. M. 8 1995 Adaptive logspace reducibility and parallel time. Zbl 0815.68054 Àlvarez, C.; Balcázar, J. L.; Jenner, B. 8 1995 Different local controls for graph relabeling systems. Zbl 0815.68079 Litovsky, I.; Métivier, Y.; Sopena, E. 7 1995 On confluence of one-rule trace-rewriting systems. Zbl 0837.68055 Wrathall, C.; Diekert, V. 6 1995 Unison, canon, and sluggish clocks in networks controlled by a synchronizer. Zbl 0833.68009 Even, S.; Rajsbaum, S. 5 1995 A refinement of the low and high hierarchies. Zbl 0849.68038 Long, T. J.; Sheu, Ming-Jye 5 1995 Prudence in vacillatory language identification. Zbl 0939.68812 Jain, Sanjay; Sharma, Arun 4 1995 Logical definability of some rational trace languages. Zbl 0833.68099 Choffrut, C.; Guerra, L. 2 1995 Rational transductions and complexity of counting problems. Zbl 0833.68065 Choffrut, C.; Goldwurm, M. 2 1995 On closure properties of bounded two-sided error complexity classes. Zbl 0827.68046 Regan, K. W.; Royer, J. S. 2 1995 Power of interonneconnections and of nondeterminism in regular \(Y\)-tree systoli automata. Zbl 0827.68077 Fachini, E.; Gruska, J.; Napoli, M.; Parente, D. 2 1995 Communication complexity of matrix computation over finite fields. Zbl 0827.68056 Chu, J. I.; Schnitger, G. 1 1995 A lower bound for monotone perceptrons. Zbl 0837.68035 Green, F. 1 1995 On confluence versus strong confluence for one-rule trace-rewriting systems. Zbl 0837.68054 Otto, F. 1 1995 The equivalence of four extensions of context-free grammars. Zbl 0813.68129 Vijay-Shanker, K.; Weir, D. J. 28 1994 Designing broadcasting algorithms in the postal model for message-passing systems. Zbl 0812.68079 Bar-Noy, A.; Kipnis, S. 18 1994 Computability by finite automata and Pisot bases. Zbl 0819.11005 Berend, Daniel; Frougny, Christiane 12 1994 An observation on probability versus randomness with applications to complexity classes. Zbl 0819.68056 Book, Ronald V.; Lutz, Jack H.; Wagner, Klaus W. 11 1994 Universality of iterated networks. Zbl 0806.94034 Chamberlain, R. F.; Fiduccia, C. M. 8 1994 Branch-and-bound and backtrack search on mesh-connected arrays of processors. Zbl 0812.68068 Kaklamanis, C.; Persiano, G. 8 1994 A framework for polynomial-time query learnability. Zbl 0809.68097 Watanabe, Osamu 7 1994 Equivalence of finite-valued tree transducers is decidable. Zbl 0809.68087 Seidl, H. 7 1994 On the complexity of graph reconstruction. Zbl 0806.05051 Kratsch, Dieter; Hemaspaandra, Lane A. 7 1994 Structural analysis of polynomial-time query learnability. Zbl 0809.68098 Watanabe, Osamu; Gavaldà, Ricard 6 1994 Efficiency of semisynchronous versus asynchronous networks. Zbl 0812.68078 Attiya, H.; Mavronicolas, M. 6 1994 Generalized theorems on relationships among reducibility notions to certain complexity classes. Zbl 0813.68105 Ogiwara, Mitsunori 4 1994 On completeness for NP via projection translations. Zbl 0794.03056 Stewart, Iain A. 3 1994 A note on polynomial-size circuits with low resource-bounded Kolmogorov complexity. Zbl 0830.68071 Hermo, Montserrat; Mayordomo, Elvira 3 1994 Statistical properties of finite sequences with high Kolmogorov complexity. Zbl 0830.68073 Li, Ming; Vitányi, Paul M. B. 3 1994 A lower bound for sorting networks based on the shuffle permutation. Zbl 0812.68069 Plaxton, C. G.; Suel, T. 3 1994 Optimal speedup for backtrack search on a butterfly network. Zbl 0798.68044 Ranade, Abhiram 2 1994 Some results on uniform arithmetic circuit complexity. Zbl 0799.68084 Frandsen, Gudmund S.; Valence, Mark; Barrington, David A. Mix 2 1994 Primitives for asynchronous list compression. Zbl 0812.68066 Anderson, R. J. 2 1994 On the capabilities of systolic systems. Zbl 0798.68079 Even, Shimon; Litman, Ami 1 1994 An approach to emulating separable graphs. Zbl 0798.68012 Obrenić, Bojana 1 1994 An application of the translational method. Zbl 0794.68056 Fu, Bin; Li, Hongzhou; Zhong, Yong 1 1994 State-complexity of finite-state devices, state compressibility and incompressibility. Zbl 0779.68061 Birget, Jean-Camille 34 1993 A relationship between difference hierarchies and relativized polynomial hierarchies. Zbl 0776.68043 Beigel, Richard; Chang, Richard; Ogiwara, Mitsunori 20 1993 Message-optimal protocols for Byzantine agreement. Zbl 0766.68007 Hadzilacos, Vassos; Halpern, Joseph Y. 17 1993 Cloture votes: \(n/4\)-resilient distributed consensus in \(t+1\) rounds. Zbl 0766.68004 Berman, Piotr; Garay, Juan A. 16 1993 On the diameter and bisector size of Cayley graphs. Zbl 0778.05038 Annexstein, Fred; Baumslag, Marc 11 1993 On the power of deterministic reductions to C\(_ =\)P. Zbl 0776.68045 Green, Frederic 10 1993 Distance automata having large finite distance or finite ambiguity. Zbl 0771.68088 Weber, Andreas 7 1993 A partial equivalence between shared-memory and message-passing in an asynchronous fail-stop distributed environment. Zbl 0766.68003 Bar-Noy, Amotz; Dolev, Danny 5 1993 A note on balanced immunity. Zbl 0771.68053 Müller, Haiko 5 1993 On lower bounds of the closeness between complexity classes. Zbl 0771.68050 Fu, Bin 5 1993 Structural analysis of the complexity inverse functions. Zbl 0771.68070 Watanabe, Osamu; Toda, Seinosuke 5 1993 On reducing the number of stack symbols in a PDA. Zbl 0793.68103 Goldstine, Jonathan; Price, John K.; Wotschke, Detlef 4 1993 Concise representations of regular languages by degree and probabilistic finite automata. Zbl 0782.68083 Kintala, Chandra M. R.; Pun, Kong-Yee; Wotschke, Detlef 4 1993 The failure discovery problem. Zbl 0766.68006 Hadzilacos, Vassos; Halpern, Joseph Y. 4 1993 A model of sequential computation with pipelined access to memory. Zbl 0787.68038 Luccio, Fabrizio; Pagli, Linda 3 1993 Modular construction of an efficient 1-bit Byzantine agreement protocol. Zbl 0766.68005 Coan, Brian A.; Welch, Jennifer L. 3 1993 Representations of numbers and finite automata. Zbl 0776.11005 Frougny, Christiane 65 1992 Structure and importance of logspace-MOD class. Zbl 0749.68033 Buntrock, Gerhard; Damm, Carsten; Hertrampf, Ulrich; Meinel, Christoph 35 1992 A survey of one-way functions in complexity theory. Zbl 0749.68037 Selman, Alan L. 19 1992 Simultaneous strong separations of probabilistic and unambiguous complexity classes. Zbl 0766.68038 Eppstein, David; Hemachandra, Lane A.; Tisdall, James; Yener, Bülent 5 1992 Structural properties for feasibly computable classes of type two. Zbl 0751.68024 Yamakami, Tomoyuki 5 1992 The problem of deciding confluence on a given congruence class is tractable for finite special string-rewriting systems. Zbl 0780.68080 Otto, Friedrich 4 1992 On the time and space complexity of computation using write-once memory or is pen really much worse than pencil? Zbl 0767.68056 Irani, Sandy; Naor, Moni; Rubinfeld, Ronitt 3 1992 The equivalence of pre-NTS grammars is decidable. Zbl 0766.68085 Autebert, J.-M.; Boasson, L. 3 1992 ...and 531 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 7,401 Authors 60 Engelfriet, Joost 50 Hemaspaandra, Lane A. 43 Kutrib, Martin 39 Courcelle, Bruno 37 Rozenberg, Grzegorz 36 Shallit, Jeffrey Outlaw 35 Vogler, Heiko 34 Fülöp, Zoltán 32 Jain, Sanjay 31 Giordano Bruno, Anna 31 Rigo, Michel 30 Allouche, Jean-Paul Simon 29 Lemańczyk, Mariusz 28 Case, John 28 Rogers, Eric 25 Gałkowski, Krzysztof 25 Holzer, Markus 25 Ibarra, Oscar H. 24 Maletti, Andreas 23 Dikranjan, Dikran N. 23 Otto, Friedrich 22 Allender, Eric W. 22 Glasner, Eli 22 Lutz, Jack H. 22 Ye, Xiangdong 20 Book, Ronald Vernon 20 Formenti, Enrico 20 Huang, Wen 20 Perrin, Dominique 20 Weiss, Benjamin 19 Drewes, Frank 19 Finkel, Olivier 19 Kari, Jarkko 18 Kaczorek, Tadeusz 18 Kupferman, Orna 18 Latteux, Michel 18 Malcher, Andreas 18 Okhotin, Alexander 18 Rothe, Jörg-Matthias 18 Stephan, Frank 18 Watanabe, Osamu 18 Wood, Derick 17 Charlier, Emilie 17 Ehrenfeucht, Andrzej 17 Glaßer, Christian 17 Greibach, Sheila A. 17 Maneth, Sebastian 17 Oprocha, Piotr 17 Tsokos, Christos P. 17 Vollmer, Heribert 17 Wen, Zhixiong 16 Akin, Hasan 16 Beigel, Richard 16 Climenhaga, Vaughn 16 Coven, Ethan M. 16 Köbler, Johannes 16 Kułaga-Przymus, Joanna 16 Porter, William A. 16 Staiger, Ludwig 15 Boasson, Luc 15 Karhumaki, Juhani 15 Kotta, Ulle 15 Selman, Alan Louis 15 Thérien, Denis 14 Carton, Olivier 14 Frougny, Christiane 14 McKenzie, Pierre 14 Padgett, William Jowayne 14 Sontag, Eduardo D. 14 Steinberg, Benjamin 14 Walters, Peter 14 Yamakami, Tomoyuki 14 Zamboni, Luca Quardo 13 Béal, Marie-Pierre 13 Choudhury, Binayak Samadder 13 Dennunzio, Alberto 13 Hemaspaandra, Edith 13 Margara, Luciano 13 Mauduit, Christian 13 Miheţ, Dorel 13 Rhodes, John Lewis 13 Salo, Ville O. 13 Theyssier, Guillaume 13 Vágvölgyi, Sándor 12 Arvind, Vikraman 12 Bell, Jason P. 12 Berstel, Jean 12 Berthé, Valérie 12 Ceccherini-Silberstein, Tullio G. 12 Chang, Chih-Hung 12 Choffrut, Christian 12 Dekking, Frederik Michel 12 Diekert, Volker 12 Ésik, Zoltán 12 Gauthier, Jean-Paul A. 12 Lange, Klaus-Jörn 12 Lindenstrauss, Elon 12 Medina, Luis A. 12 Mix Barrington, David A. 12 Nasu, Masakazu ...and 7,301 more Authors all top 5 Cited in 635 Journals 960 Theoretical Computer Science 348 Journal of Computer and System Sciences 302 Mathematical Systems Theory 206 Information Processing Letters 190 Information and Computation 166 Ergodic Theory and Dynamical Systems 125 Systems & Control Letters 120 Journal of Mathematical Analysis and Applications 117 Israel Journal of Mathematics 104 Transactions of the American Mathematical Society 99 Proceedings of the American Mathematical Society 97 International Journal of Foundations of Computer Science 87 Theory of Computing Systems 77 Acta Informatica 73 Discrete Applied Mathematics 69 Automatica 69 Information Sciences 66 Multidimensional Systems and Signal Processing 65 International Journal of Control 56 Linear Algebra and its Applications 55 Journal of Differential Equations 52 Topology and its Applications 52 Computational Complexity 51 Semigroup Forum 48 Discrete Mathematics 48 RAIRO. Informatique Théorique et Applications 46 Algorithmica 44 Advances in Mathematics 41 Annals of Pure and Applied Logic 38 Journal of Functional Analysis 36 Monatshefte für Mathematik 36 RAIRO. Theoretical Informatics and Applications 34 Applied Mathematics and Computation 34 The Journal of Symbolic Logic 34 MCSS. Mathematics of Control, Signals, and Systems 33 Journal of the Franklin Institute 32 Journal of Pure and Applied Algebra 31 Journal of Soviet Mathematics 31 RAIRO, Informatique Théorique 31 International Journal of Computer Mathematics 30 Advances in Applied Mathematics 30 Journal de Théorie des Nombres de Bordeaux 29 Kybernetika 29 Nonlinear Analysis. Theory, Methods & Applications 28 International Journal of Algebra and Computation 28 Discrete and Continuous Dynamical Systems 27 Journal d’Analyse Mathématique 26 Journal of Algebra 26 Fixed Point Theory and Applications 25 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 25 RAIRO. Theoretical Informatics and Applications 24 International Journal of Systems Science 24 Fuzzy Sets and Systems 24 Journal of Optimization Theory and Applications 24 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete 24 Natural Computing 23 Inventiones Mathematicae 23 Circuits, Systems, and Signal Processing 23 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 22 Mathematische Zeitschrift 22 Journal of Mathematical Sciences (New York) 22 Logical Methods in Computer Science 21 Computers & Mathematics with Applications 21 International Journal of General Systems 21 Chaos, Solitons and Fractals 21 Physica D 21 Indagationes Mathematicae. New Series 21 European Journal of Control 20 Communications in Mathematical Physics 20 European Journal of Combinatorics 19 Journal of Number Theory 19 Acta Mathematica Hungarica 19 Acta Applicandae Mathematicae 18 Bulletin of the Australian Mathematical Society 18 Journal of Mathematical Physics 18 SIAM Journal on Computing 18 Mathematical Structures in Computer Science 18 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations 17 Nonlinearity 17 Bulletin of the American Mathematical Society 16 Journal of Statistical Physics 16 Annales de l’Institut Fourier 15 International Journal of Computer & Information Sciences 15 Journal of Combinatorial Theory. Series A 15 Distributed Computing 15 Mathematical Logic Quarterly (MLQ) 14 Communications in Algebra 14 Mathematical Notes 14 Journal of Complexity 14 Dynamical Systems 14 Journal of Modern Dynamics 13 Artificial Intelligence 13 Bulletin de la Société Mathématique de France 12 Studia Mathematica 12 Annali di Matematica Pura ed Applicata. Serie Quarta 12 SIAM Journal on Control and Optimization 12 Journal of Dynamics and Differential Equations 12 International Journal of Systems Science. Principles and Applications of Systems and Integration 11 Mathematical Biosciences 11 Integral Equations and Operator Theory ...and 535 more Journals all top 5 Cited in 61 Fields 4,088 Computer science (68-XX) 1,201 Dynamical systems and ergodic theory (37-XX) 910 Systems theory; control (93-XX) 888 Mathematical logic and foundations (03-XX) 545 General topology (54-XX) 455 Number theory (11-XX) 399 Combinatorics (05-XX) 394 Measure and integration (28-XX) 301 Group theory and generalizations (20-XX) 277 Ordinary differential equations (34-XX) 262 Information and communication theory, circuits (94-XX) 248 Operator theory (47-XX) 233 Probability theory and stochastic processes (60-XX) 195 Functional analysis (46-XX) 146 Category theory; homological algebra (18-XX) 133 Topological groups, Lie groups (22-XX) 106 Operations research, mathematical programming (90-XX) 102 Biology and other natural sciences (92-XX) 96 Calculus of variations and optimal control; optimization (49-XX) 94 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 93 Numerical analysis (65-XX) 84 Linear and multilinear algebra; matrix theory (15-XX) 82 Partial differential equations (35-XX) 76 Integral equations (45-XX) 68 Order, lattices, ordered algebraic structures (06-XX) 62 Quantum theory (81-XX) 59 General algebraic systems (08-XX) 59 Manifolds and cell complexes (57-XX) 57 Statistics (62-XX) 50 Differential geometry (53-XX) 49 Abstract harmonic analysis (43-XX) 45 Associative rings and algebras (16-XX) 45 Statistical mechanics, structure of matter (82-XX) 41 History and biography (01-XX) 39 Convex and discrete geometry (52-XX) 39 Mechanics of particles and systems (70-XX) 36 Difference and functional equations (39-XX) 35 Commutative algebra (13-XX) 35 Global analysis, analysis on manifolds (58-XX) 26 Real functions (26-XX) 25 Approximations and expansions (41-XX) 23 General and overarching topics; collections (00-XX) 18 Algebraic geometry (14-XX) 17 Field theory and polynomials (12-XX) 17 Functions of a complex variable (30-XX) 15 Nonassociative rings and algebras (17-XX) 12 Harmonic analysis on Euclidean spaces (42-XX) 10 Several complex variables and analytic spaces (32-XX) 10 Geometry (51-XX) 9 Sequences, series, summability (40-XX) 9 Algebraic topology (55-XX) 9 Fluid mechanics (76-XX) 7 Mechanics of deformable solids (74-XX) 5 Special functions (33-XX) 5 Relativity and gravitational theory (83-XX) 4 Potential theory (31-XX) 2 \(K\)-theory (19-XX) 2 Classical thermodynamics, heat transfer (80-XX) 1 Integral transforms, operational calculus (44-XX) 1 Optics, electromagnetic theory (78-XX) 1 Geophysics (86-XX) Citations by Year