Mathematical Systems Theory

An 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: 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 Arnold, André 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 L. 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 2 Angluin, Dana 2 Annexstein, Fred S. 2 Aravena, Jorge L. 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 S. 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 2 Gallaire, Hervé ...and 670 more Authors
all top 5

Fields

 354 Computer science (68-XX) 102 Systems theory; control (93-XX) 70 Mathematical logic and foundations (03-XX) 66 General topology (54-XX) 39 Ordinary differential equations (34-XX) 30 Information and communication theory, circuits (94-XX) 29 Measure and integration (28-XX) 25 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 Functional analysis (46-XX) 14 Group theory and generalizations (20-XX) 13 Integral equations (45-XX) 12 Number theory (11-XX) 12 Topological groups, Lie groups (22-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)

Citations contained in zbMATH Open

620 Publications have been cited 8,260 times in 6,779 Documents Cited by Year
Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation. Zbl 0146.28502
Furstenberg, Harry
1967
Endomorphisms and automorphisms of the shift dynamical system. Zbl 0182.56901
Hedlund, G. A.
1969
Parity, circuits, and the polynomial-time hierarchy. Zbl 0534.94008
Furst, Merrick; Saxe, James B.; Sipser, Michael
1984
Doubly-indexed dynamical systems: State-space models and structural properties. Zbl 0392.93034
Fornasini, E.; Marchesini, G.
1978
Uniform tag sequences. Zbl 0253.02029
Cobham, Alan
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.
1968
Fixed points of contraction mappings on probabilistic metric spaces. Zbl 0244.60004
Sehgal, V. M.; Bharucha-Reid, A. T.
1972
Semantics of context-free languages. Zbl 0169.01401
Knuth, D. E.
1968
Sequences with minimal block growth. Zbl 0256.54028
Coven, Ethan M.; Hedlund, G. A.
1973
Mappings and grammars on trees. Zbl 0203.30103
Rounds, W. C.
1970
On the base-dependence of sets of numbers recognizable by finite automata. Zbl 0179.02501
Cobham, Alan
1969
Some systems with unique equilibrium states. Zbl 0299.54031
Bowen, Rufus
1975
Design and implementation of an efficient priority queue. Zbl 0363.60104
van Emde Boas, P.; Kaas, R.; Zijlstra, E.
1977
Bottom-up and top-down tree transformation - a comparison. Zbl 0335.68061
Engelfriet, Joost
1975
Summary of decision problems for $$\omega$$-automata. Zbl 0182.02402
Landweber, L. H.
1969
Graph expressions and graph rewritings. Zbl 0641.68115
Bauderon, Michel; Courcelle, Bruno
1987
A unified approach to the definition of random sequences. Zbl 0227.62005
Schnorr, C. P.
1971
Description of developmental languages using recurrence systems. Zbl 0313.68068
Herman, G. T.; Lindenmayer, A.; Rozenberg, G.
1975
A helpful result for proving inherent ambiguity. Zbl 0175.27802
Ogden, William
1968
Counter machines and counter languages. Zbl 0165.32002
Fischer, P. C.; Meyer, A. R.; Rosenberg, A. L.
1968
On B-convex Banach spaces. Zbl 0323.46018
Brunel, Antoine; Sucheston, Louis
1974
Top-down tree transducers with regular look-ahead. Zbl 0369.68048
Engelfriet, Joost
1977
Representations of numbers and finite automata. Zbl 0776.11005
Frougny, Christiane
1992
Deductive systems and categories. I: Syntactic calculus and residuated categories. Zbl 0176.28901
Lambek, J.
1968
Invariance for ordinary differential equations. Zbl 0155.14201
Yorke, J. A.
1967
P-selective sets, tally languages, and the behavior of polynomial time reducibilities on NP. Zbl 0405.03018
Selman, Alan L.
1979
Realization theory in Hilbert space. Zbl 0668.93018
Salamon, Dietmar
1988
Relativization of questions about log space computability. Zbl 0341.68036
Ladner, Richard E.; Lynch, Nancy A.
1976
Existence and uniqueness of minimal realizations of nonlinear systems. Zbl 0354.93017
Sussman, Hector J.
1977
Algebraic decision procedures for local testability. Zbl 0287.02022
McNaughton, Robert
1974
Quasi-real-time languages. Zbl 0188.33102
Book, R. V.; Greibach, S. A.
1970
Periodicity in generations of automata. Zbl 0295.02019
Case, John
1974
Algebraic and other entropies of group endomorphisms. Zbl 0298.28014
Weiss, Michael D.
1975
Control sets on grammars. Zbl 0157.33604
Ginsburg, Seymour; Spanier, Edwin H.
1968
Semantics of context-free languages: Correction. Zbl 0219.68035
Knuth, D. E.
1971
Chains of full AFL’s. Zbl 0203.30102
Greibach, S. A.
1970
On the uniqueness of the equilibrium state. Zbl 0302.28011
Krieger, Wolfgang
1975
On finite 0-simple semigroups and graph theory. Zbl 0177.03103
Graham, R. L.
1968
Endomorphisms of irreducible subshifts of finite type. Zbl 0309.54032
Coven, Ethan M.; Paul, Michael E.
1975
Bi-immune sets for complexity classes. Zbl 0572.68035
Balcázar, José L.; Schöning, Uwe
1985
Single-input observability of continuous-time systems. Zbl 0422.93019
Sussmann, Hector J.
1979
Convolution of invariant measures, maximal entropy. Zbl 0179.08301
Berg, K. R.
1969
New problems complete for nondeterministic log space. Zbl 0341.68035
Jones, Neil D.; Lien, Y. Edmund; Laaser, William T.
1976
On an algebraic theory of systems defined by convolution operators. Zbl 0318.93003
Kamen, E. W.
1975
Relations between varieties of Kolmogorov complexities. Zbl 0849.68059
Uspensky, V. A.; Shen, A.
1996
Right topological groups, distal flows and a fixed-point theorem. Zbl 0239.22001
Namioka, I.
1972
Generators for topological entropy and expansiveness. Zbl 0176.20603
Keynes, Harvey B.; Robertson, J. B.
1969
Algebraic specification of data types. A synthetic approach. Zbl 0457.68035
Lehmann, Daniel J.; Smyth, Michael B.
1981
On the power of parity polynomial time. Zbl 0718.68038
Cai, Jin-yi; Hemachandra, Lane A.
1990
On realization of nonlinear systems described by higher-order differential equations. Zbl 0624.93015
van der Schaft, A. J.
1987
New lower bound techniques for VLSI. Zbl 0488.94048
Leighton, Frank Thomson
1984
Generalised finite automata theory with an application to a decision problem of second-order logic. Zbl 0196.01901
Thatcher, J. W.; Wright, J. B.
1968
Structure and importance of logspace-MOD class. Zbl 0749.68033
Buntrock, Gerhard; Damm, Carsten; Hertrampf, Ulrich; Meinel, Christoph
1992
Algorithmic properties of structures. Zbl 0202.00802
Engeler, E.
1967
Some characteristic properties of dynamical systems with quasi-discrete spectra. Zbl 0167.32902
Hahn, F.; Parry, William
1968
A note on finite-valued and finitely ambiguous transducers. Zbl 0502.68022
Gurari, Eitan M.; Ibarra, Oscar H.
1983
Three hierarchies of transducers. Zbl 0509.68078
Engelfriet, Joost
1982
State-complexity of finite-state devices, state compressibility and incompressibility. Zbl 0779.68061
Birget, Jean-Camille
1993
Space bounds for a game on graphs. Zbl 0366.90150
Paul, Wolfgang J.; Tarjan, Robert Endre; Celoni, James R.
1977
On a stochastic integral equation of the Volterra type. Zbl 0186.49902
Tsokos, C. P.
1969
On perturbing Lyapunov functions. Zbl 0354.34050
Lakshmikantham, V.; Leela, S.
1976
The theory of languages. Zbl 0196.01702
Aho, A. V.; Ullman, J. D.
1968
Some bilinear forms whose multiplicative complexity depends on the field of constants. Zbl 0363.65014
1977
Complexity classes and theories of finite models. Zbl 0484.03020
Lynch, James F.
1982
Pushdown tree automata. Zbl 0524.68047
Guessarian, Irene
1983
A standard form for sequential stochastic control. Zbl 0256.93063
Witsenhausen, H. S.
1973
A note on undecidable properties of formal languages. Zbl 0157.01902
Greibach, S.
1968
Equivalence of input-output stability and exponential stability for infinite-dimensional systems. Zbl 0657.93050
Curtain, Ruth F.
1988
The equivalence of four extensions of context-free grammars. Zbl 0813.68129
Vijay-Shanker, K.; Weir, D. J.
1994
Satisfiability problems for propositional calculi. Zbl 0428.03035
Lewis, Harry R.
1979
A priority queue in which initialization and queue operations take 0(log log D) time. Zbl 0522.68039
Johnson, Donald B.
1982
On the definitions of some complexity classes of real numbers. Zbl 0529.03016
Ko, Ker-I
1983
A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098
Courcelle, B.; Engelfriet, J.
1995
Topological transitivity and ergodic measures. Zbl 0212.40103
Weiss, Benjamin
1971
Realization is universal. Zbl 0248.18015
Goguen, J. A.
1973
Minimal flows arising from substitutions of non-constant length. Zbl 0256.54026
Martin, John C.
1973
Representation of reversible cellular automata with block permutations. Zbl 0840.68081
Kari, J.
1996
On asymptotically autonomous differential equations. Zbl 0189.38502
Strauss, Aaron; Yorke, James A.
1967
On the correlation of symmetric functions. Zbl 0858.94033
Cai, Jin-Yi; Green, F.; Thierauf, T.
1996
Bicontinuous extensions of invertible combinatorial functions. Zbl 0469.94020
Toffoli, Tommaso
1981
The Malliavin calculus and its application to second order parabolic differential equations. I. Zbl 0474.60061
Stroock, Daniel W.
1981
Semiflows associated with compact and uniform processes. Zbl 0303.54016
Dafermos, Constantine M.
1975
On realization of linear systems and applications to some questions of stability. Zbl 0302.93010
Fuhrmann, P. A.
1975
A proof of the independence of the continuum hypothesis. Zbl 0149.25302
Scott, D.
1967
A general theory of translation. Zbl 0175.00803
Aho, A. V.; Hopcroft, J. E.; Ullman, J. D.
1969
The monadic second-order logic of graphs. II: Infinite graphs of bounded width. Zbl 0694.68043
Courcelle, Bruno
1989
On polynomial-time truth-table reduciblity of intractable sets to p- selective sets. Zbl 0722.68059
Toda, Seinosuke
1991
On the combinational complexity of certain symmetric Boolean functions. Zbl 0369.94016
Stockmeyer, Larry J.
1977
Moduli and canonical forms for linear dynamical systems. II: The topological case. Zbl 0396.54037
Hazewinkel, Michiel
1977
Infinite trees in normal form and recursive equations having a unique solution. Zbl 0418.68013
Courcelle, Bruno
1979
A homomorphism theorem for finite semigroups. Zbl 0204.03303
Rhodes, John
1967
A survey of one-way functions in complexity theory. Zbl 0749.68037
Selman, Alan L.
1992
Synthesis of nonlinear observers: A harmonic-analysis approach. Zbl 0691.93005
Celle, F.; Gauthier, J. P.; Kazakos, D.; Sallet, G.
1989
BERNOULLI EQUILIBRIUM STATES FOR AXIOM A diffeomorphisms. Zbl 0304.28012
Bowen, Rufus
1975
Complete sets and closeness to complexity classes. Zbl 0617.68047
Schöning, Uwe
1986
Differential geometry of a parametric family of invertible linear systems. Riemannian metric, dual affine connections, and divergence. Zbl 0632.93017
Amari, Shun-ichi
1987
Characterizations of the decidability of some problems for regular trace languages. Zbl 0679.68132
Aalbersberg, Ijsbrand Jan; Hoogeboom, Hendrik Jan
1989
Local maps inducing surjective global maps of one-dimensional tessellation automata. Zbl 0389.68024
Nasu, Masakazu
1978
A note on some systems of Lindenmayer. Zbl 0218.02031
van Dalen, Dirk
1971
The range of a vector-valued measure. Zbl 0256.28008
Kluvanek, Igor
1973
Relations between varieties of Kolmogorov complexities. Zbl 0849.68059
Uspensky, V. A.; Shen, A.
1996
Representation of reversible cellular automata with block permutations. Zbl 0840.68081
Kari, J.
1996
On the correlation of symmetric functions. Zbl 0858.94033
Cai, Jin-Yi; Green, F.; Thierauf, T.
1996
Set-driven and rearrangement-independent learning of recursive languages. Zbl 0860.68088
Lange, S.; Zeugmann, T.
1996
Computing functions on asynchronous anonymous networks. Zbl 0848.68007
Yamashita, M.; Kameda, T.
1996
On digital nondeterminism. Zbl 0868.68058
Cucker, F.; Matamala, M.
1996
On balanced versus unbalanced computation trees. Zbl 0853.68097
Hertrampf, U.; Vollmer, H.; Wagner, K. W.
1996
Two-way automata and length-preserving homomorphisms. Zbl 0846.68071
Birget, J.-C.
1996
The bisection width of grid graphs. Zbl 0839.68076
1996
An enlarged family of packing polynomials on multidimensional lattices. Zbl 0874.11049
Morales, L. B.; Lew, J. S.
1996
Strong self-reducibility precludes strong immunity. Zbl 0857.68046
Hemaspaandra, L. A.; Zimand, M.
1996
DNA sequencing and string learning. Zbl 1111.68458
Jiang, Tao; Li, Ming
1996
Upper bounds for the complexity of sparse and tally descriptions. Zbl 0840.68041
Arvind, V.; Köbler, J.; Mundhenk, M.
1996
Representing shared data on distributed-memory parallel computers. Zbl 0840.68030
Herley, K. T.
1996
Learning two-tape automata from queries and counterexamples. Zbl 0849.68083
Yokomori, T.
1996
Diagonal polynomials for small dimensions. Zbl 0874.11048
Lew, J. S.; Morales, L. B.; Sánchez-Flores, A.
1996
On the power of generalized MOD-classes. Zbl 0840.68044
Köbler, J.; Toda, Seinosuke
1996
Improved approximations for the minimum-cut ratio and the flux. Zbl 0844.68097
Tragoudas, S.
1996
On small cuts separating an abelian Cayley graph into small equal parts. Zbl 0856.05050
Hamidoune, Y. O.; Serra, Oriol
1996
UP and the low and high hierarchies: A relativized separation. Zbl 0858.68040
Sheu, M.-J.; Long, T. J.
1996
Bounded dilation maps of hypercubes into Cayley graphs on the symmetric group. Zbl 0860.68079
Miller, Z.; Pritikin, D.; Sudborough, I. H.
1996
Flit-serial packet routing on meshes and tori. Zbl 1111.68330
Makedon, F.; Symvonis, A.
1996
Probabilistic asynchronous automata. Zbl 0840.68079
Jesi, S.; Pighizzini, G.; Sabadini, N.
1996
Superlinear deterministic top-down tree transducers. Zbl 0857.68068
Dányi, G.; Fülöp, Z.
1996
The bounded membership problem of the monoid $$\mathrm{SL}_2(N)$$. Zbl 0860.68045
Cai, J.; Liu, Zicheng
1996
Pi-sigma-pi threshold formulas. Zbl 0852.94031
1996
A note on busy beavers and other creatures. Zbl 0848.68036
Ben-Amram, A. M.; Julstrom, B. A.; Zwick, U.
1996
The shuffle exchange network has a Hamiltonian path. Zbl 0861.68006
Feldmann, R.; Mysliwietz, P.
1996
Node bisectors of Cayley graphs. Zbl 0860.68077
Blackburn, S. R.
1996
Alternating time versus deterministic time: A separation. Zbl 0868.68053
Gupta, S.
1996
A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098
Courcelle, B.; Engelfriet, J.
1995
Fast parallel Lyndon factorization with applications. Zbl 0815.68066
Apostolico, A.; Crochemore, M.
1995
On computing Boolean connectives of characteristic functions. Zbl 0827.68065
1995
OptP as the normal behavior of NP-complete problems. Zbl 0830.68064
Gasarch, W. I.; Krentel, M. W.; Rappoport, K. J.
1995
Recognizing binary Hamming graphs in $$O(n^ 2 \log n)$$ time. Zbl 0833.68087
Aurenhammer, F.; Hagauer, J.
1995
On unification of terms with integer exponents. Zbl 0815.68037
Comon, H.
1995
Pumping lemmas for the control language hierarchy. Zbl 0827.68064
Palis, M. A.; Shende, S. M.
1995
Adaptive logspace reducibility and parallel time. Zbl 0815.68054
Àlvarez, C.; Balcázar, J. L.; Jenner, B.
1995
The performance of greedy algorithms for the on-line Steiner tree and related problems. Zbl 0844.68098
Westbrook, J.; Yan, D. C. K.
1995
A refinement of the low and high hierarchies. Zbl 0849.68038
Long, T. J.; Sheu, Ming-Jye
1995
On confluence of one-rule trace-rewriting systems. Zbl 0837.68055
Wrathall, C.; Diekert, V.
1995
Different local controls for graph relabeling systems. Zbl 0815.68079
Litovsky, I.; Métivier, Y.; Sopena, E.
1995
Unison, canon, and sluggish clocks in networks controlled by a synchronizer. Zbl 0833.68009
Even, S.; Rajsbaum, S.
1995
Linear-time snapshot implementations in unbalanced systems. Zbl 0833.68047
Israeli, A.; Shaham, A.; Shirazi, A.
1995
Prudence in vacillatory language identification. Zbl 0939.68812
Jain, Sanjay; Sharma, Arun
1995
On closure properties of bounded two-sided error complexity classes. Zbl 0827.68046
Regan, K. W.; Royer, J. S.
1995
Power of interonneconnections and of nondeterminism in regular $$Y$$-tree systoli automata. Zbl 0827.68077
Fachini, E.; Gruska, J.; Napoli, M.; Parente, D.
1995
Rational transductions and complexity of counting problems. Zbl 0833.68065
Choffrut, C.; Goldwurm, M.
1995
A lower bound for monotone perceptrons. Zbl 0837.68035
Green, F.
1995
On confluence versus strong confluence for one-rule trace-rewriting systems. Zbl 0837.68054
Otto, F.
1995
Logical definability of some rational trace languages. Zbl 0833.68099
Choffrut, C.; Guerra, L.
1995
The equivalence of four extensions of context-free grammars. Zbl 0813.68129
Vijay-Shanker, K.; Weir, D. J.
1994
Designing broadcasting algorithms in the postal model for message-passing systems. Zbl 0812.68079
Bar-Noy, A.; Kipnis, S.
1994
Computability by finite automata and Pisot bases. Zbl 0819.11005
Berend, Daniel; Frougny, Christiane
1994
An observation on probability versus randomness with applications to complexity classes. Zbl 0819.68056
Book, Ronald V.; Lutz, Jack H.; Wagner, Klaus W.
1994
Universality of iterated networks. Zbl 0806.94034
Chamberlain, R. F.; Fiduccia, C. M.
1994
A framework for polynomial-time query learnability. Zbl 0809.68097
Watanabe, Osamu
1994
Structural analysis of polynomial-time query learnability. Zbl 0809.68098
Watanabe, Osamu; Gavaldà, Ricard
1994
On the complexity of graph reconstruction. Zbl 0806.05051
Kratsch, Dieter; Hemaspaandra, Lane A.
1994
Equivalence of finite-valued tree transducers is decidable. Zbl 0809.68087
Seidl, H.
1994
Efficiency of semisynchronous versus asynchronous networks. Zbl 0812.68078
Attiya, H.; Mavronicolas, M.
1994
Branch-and-bound and backtrack search on mesh-connected arrays of processors. Zbl 0812.68068
Kaklamanis, C.; Persiano, G.
1994
Generalized theorems on relationships among reducibility notions to certain complexity classes. Zbl 0813.68105
Ogiwara, Mitsunori
1994
On completeness for NP via projection translations. Zbl 0794.03056
Stewart, Iain A.
1994
A note on polynomial-size circuits with low resource-bounded Kolmogorov complexity. Zbl 0830.68071
Hermo, Montserrat; Mayordomo, Elvira
1994
A lower bound for sorting networks based on the shuffle permutation. Zbl 0812.68069
Plaxton, C. G.; Suel, T.
1994
Optimal speedup for backtrack search on a butterfly network. Zbl 0798.68044
1994
Statistical properties of finite sequences with high Kolmogorov complexity. Zbl 0830.68073
Li, Ming; Vitányi, Paul M. B.
1994
On the capabilities of systolic systems. Zbl 0798.68079
Even, Shimon; Litman, Ami
1994
An approach to emulating separable graphs. Zbl 0798.68012
Obrenić, Bojana
1994
Some results on uniform arithmetic circuit complexity. Zbl 0799.68084
Frandsen, Gudmund S.; Valence, Mark; Barrington, David A. Mix
1994
An application of the translational method. Zbl 0794.68056
Fu, Bin; Li, Hongzhou; Zhong, Yong
1994
Primitives for asynchronous list compression. Zbl 0812.68066
Anderson, R. J.
1994
State-complexity of finite-state devices, state compressibility and incompressibility. Zbl 0779.68061
Birget, Jean-Camille
1993
A relationship between difference hierarchies and relativized polynomial hierarchies. Zbl 0776.68043
Beigel, Richard; Chang, Richard; Ogiwara, Mitsunori
1993
On the diameter and bisector size of Cayley graphs. Zbl 0778.05038
Annexstein, Fred; Baumslag, Marc
1993
Cloture votes: $$n/4$$-resilient distributed consensus in $$t+1$$ rounds. Zbl 0766.68004
Berman, Piotr; Garay, Juan A.
1993
On the power of deterministic reductions to C$$_ =$$P. Zbl 0776.68045
Green, Frederic
1993
Message-optimal protocols for Byzantine agreement. Zbl 0766.68007
1993
Distance automata having large finite distance or finite ambiguity. Zbl 0771.68088
Weber, Andreas
1993
A note on balanced immunity. Zbl 0771.68053
Müller, Haiko
1993
Concise representations of regular languages by degree and probabilistic finite automata. Zbl 0782.68083
Kintala, Chandra M. R.; Pun, Kong-Yee; Wotschke, Detlef
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
1993
On lower bounds of the closeness between complexity classes. Zbl 0771.68050
Fu, Bin
1993
Structural analysis of the complexity inverse functions. Zbl 0771.68070
Watanabe, Osamu; Toda, Seinosuke
1993
On reducing the number of stack symbols in a PDA. Zbl 0793.68103
Goldstine, Jonathan; Price, John K.; Wotschke, Detlef
1993
A model of sequential computation with pipelined access to memory. Zbl 0787.68038
Luccio, Fabrizio; Pagli, Linda
1993
Modular construction of an efficient 1-bit Byzantine agreement protocol. Zbl 0766.68005
Coan, Brian A.; Welch, Jennifer L.
1993
The failure discovery problem. Zbl 0766.68006
1993
Representations of numbers and finite automata. Zbl 0776.11005
Frougny, Christiane
1992
Structure and importance of logspace-MOD class. Zbl 0749.68033
Buntrock, Gerhard; Damm, Carsten; Hertrampf, Ulrich; Meinel, Christoph
1992
A survey of one-way functions in complexity theory. Zbl 0749.68037
Selman, Alan L.
1992
Simultaneous strong separations of probabilistic and unambiguous complexity classes. Zbl 0766.68038
Eppstein, David; Hemachandra, Lane A.; Tisdall, James; Yener, Bülent
1992
Structural properties for feasibly computable classes of type two. Zbl 0751.68024
Yamakami, Tomoyuki
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
1992
The problem of deciding confluence on a given congruence class is tractable for finite special string-rewriting systems. Zbl 0780.68080
Otto, Friedrich
1992
A result about languages concerning paperfolding sequences. Zbl 0780.68083
Lehr, S.
1992
The equivalence of pre-NTS grammars is decidable. Zbl 0766.68085
Autebert, J.-M.; Boasson, L.
1992
Semigroups of shift register counting matrices. Zbl 0790.20086
Gleason, Andrew
1992
A note on weighted distributed match-making. Zbl 0767.68006
Kranakis, Evangelos; Vitányi, Paul M. B.
1992
...and 520 more Documents
all top 5

Cited by 6,434 Authors

 58 Engelfriet, Joost 45 Hemaspaandra, Lane A. 38 Courcelle, Bruno 36 Rozenberg, Grzegorz 33 Kutrib, Martin 31 Vogler, Heiko 30 Fülöp, Zoltán 29 Allouche, Jean-Paul Simon 29 Jain, Sanjay 28 Shallit, Jeffrey O. 27 Lemańczyk, Mariusz 27 Rogers, Eric 26 Giordano Bruno, Anna 26 Rigo, Michel 25 Gałkowski, Krzysztof 23 Case, John 22 Holzer, Markus 21 Dikranjan, Dikran N. 20 Ibarra, Oscar H. 20 Ye, Xiangdong 19 Book, Ronald Vernon 19 Glasner, Eli 19 Lutz, Jack H. 19 Otto, Friedrich 18 Huang, Wen 18 Latteux, Michel 18 Perrin, Dominique 18 Weiss, Benjamin 18 Wood, Derick 17 Allender, Eric W. 17 Ehrenfeucht, Andrzej 17 Finkel, Olivier 17 Formenti, Enrico 17 Kaczorek, Tadeusz 17 Maletti, Andreas 17 Stephan, Frank 17 Tsokos, Christos P. 17 Watanabe, Osamu 16 Beigel, Richard 16 Coven, Ethan M. 16 Greibach, Sheila A. 16 Kari, Jarkko 16 Maneth, Sebastian 16 Oprocha, Piotr 16 Porter, William A. 15 Climenhaga, Vaughn 15 Glaßer, Christian 15 Köbler, Johannes 15 Kotta, Ulle 15 Thérien, Denis 14 Akin, Hasan 14 Boasson, Luc 14 Carton, Olivier 14 Charlier, Emilie 14 Drewes, Frank 14 Frougny, Christiane 14 Kułaga-Przymus, Joanna 14 Kupferman, Orna 14 Malcher, Andreas 14 Padgett, William Jowayne 14 Rothe, Jörg-Matthias 14 Selman, Alan Louis 14 Staiger, Ludwig 14 Steinberg, Benjamin 14 Vollmer, Heribert 14 Walters, Peter 14 Wen, Zhixiong 14 Zamboni, Luca Quardo 13 Karhumaki, Juhani 13 Mauduit, Christian 13 McKenzie, Pierre 13 Miheţ, Dorel 13 Sontag, Eduardo D. 12 Arvind, Vikraman 12 Berthé, Valérie 12 Choudhury, Binayak Samadder 12 Ko, Ker-I 12 Lindenstrauss, Elon 12 Margara, Luciano 12 Nasu, Masakazu 12 Okhotin, Alexander 12 Rhodes, John Lewis 12 Vágvölgyi, Sándor 11 Adamczewski, Boris 11 Berend, Daniel 11 Berstel, Jean 11 Chang, Chih-Hung 11 Dennunzio, Alberto 11 Diekert, Volker 11 Ésik, Zoltán 11 Lind, Douglas A. 11 Logemann, Hartmut 11 Mix Barrington, David A. 11 Nies, André Otfrid 11 Ogihara, Mitsunori 11 Pavan, Aduri 11 Reutenauer, Christophe 11 Salo, Ville O. 11 Salomaa, Kai T. 11 Sénizergues, Géraud ...and 6,334 more Authors
all top 5

Cited in 571 Journals

 923 Theoretical Computer Science 339 Journal of Computer and System Sciences 305 Mathematical Systems Theory 202 Information Processing Letters 175 Information and Computation 147 Ergodic Theory and Dynamical Systems 119 Systems & Control Letters 114 Journal of Mathematical Analysis and Applications 110 Israel Journal of Mathematics 100 Transactions of the American Mathematical Society 98 Proceedings of the American Mathematical Society 84 International Journal of Foundations of Computer Science 82 Theory of Computing Systems 75 Acta Informatica 67 Discrete Applied Mathematics 64 International Journal of Control 64 Automatica 63 Multidimensional Systems and Signal Processing 62 Information Sciences 53 Linear Algebra and its Applications 50 Semigroup Forum 50 Computational Complexity 49 Journal of Differential Equations 48 RAIRO. Informatique Théorique et Applications 47 Discrete Mathematics 46 Algorithmica 43 Topology and its Applications 39 Advances in Mathematics 39 Annals of Pure and Applied Logic 36 RAIRO. Theoretical Informatics and Applications 34 Journal of Functional Analysis 34 The Journal of Symbolic Logic 33 Applied Mathematics and Computation 32 Monatshefte für Mathematik 31 Journal of Pure and Applied Algebra 31 Journal of Soviet Mathematics 31 RAIRO, Informatique Théorique 31 MCSS. Mathematics of Control, Signals, and Systems 31 International Journal of Computer Mathematics 30 Journal de Théorie des Nombres de Bordeaux 29 Advances in Applied Mathematics 28 Journal of the Franklin Institute 28 Kybernetika 27 Nonlinear Analysis. Theory, Methods & Applications 26 International Journal of Algebra and Computation 26 Fixed Point Theory and Applications 25 Discrete and Continuous Dynamical Systems 24 International Journal of Systems Science 24 Fuzzy Sets and Systems 24 Journal of Algebra 24 Journal of Optimization Theory and Applications 24 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete 23 Journal d’Analyse Mathématique 23 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 22 Inventiones Mathematicae 22 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 22 Journal of Mathematical Sciences (New York) 21 International Journal of General Systems 21 Chaos, Solitons and Fractals 21 Circuits, Systems, and Signal Processing 20 Mathematische Zeitschrift 20 European Journal of Control 20 RAIRO. Theoretical Informatics and Applications 19 Computers & Mathematics with Applications 19 Acta Mathematica Hungarica 18 Bulletin of the Australian Mathematical Society 18 Communications in Mathematical Physics 18 SIAM Journal on Computing 18 European Journal of Combinatorics 18 Acta Applicandae Mathematicae 18 Indagationes Mathematicae. New Series 18 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations 17 Journal of Mathematical Physics 17 Bulletin of the American Mathematical Society 16 Journal of Number Theory 16 Physica D 16 MSCS. Mathematical Structures in Computer Science 16 Logical Methods in Computer Science 15 Annales de l’Institut Fourier 15 International Journal of Computer & Information Sciences 14 Mathematical Notes 14 Journal of Combinatorial Theory. Series A 14 Journal of Complexity 13 Communications in Algebra 13 Journal of Statistical Physics 13 Dynamical Systems 13 Journal of Modern Dynamics 12 Annali di Matematica Pura ed Applicata. Serie Quarta 12 Distributed Computing 12 Mathematical Logic Quarterly (MLQ) 11 Artificial Intelligence 11 Mathematical Biosciences 11 Integral Equations and Operator Theory 11 Journal of Dynamics and Differential Equations 11 Annals of Mathematics and Artificial Intelligence 11 Annals of Mathematics. Second Series 11 Journal of Discrete Algorithms 10 Mathematical Proceedings of the Cambridge Philosophical Society 10 Nonlinearity 10 Bulletin de la Société Mathématique de France ...and 471 more Journals
all top 5

Cited in 61 Fields

 3,458 Computer science (68-XX) 1,007 Dynamical systems and ergodic theory (37-XX) 837 Systems theory; control (93-XX) 760 Mathematical logic and foundations (03-XX) 504 General topology (54-XX) 394 Number theory (11-XX) 366 Measure and integration (28-XX) 347 Combinatorics (05-XX) 264 Group theory and generalizations (20-XX) 253 Ordinary differential equations (34-XX) 229 Operator theory (47-XX) 227 Information and communication theory, circuits (94-XX) 210 Probability theory and stochastic processes (60-XX) 171 Functional analysis (46-XX) 129 Category theory; homological algebra (18-XX) 122 Topological groups, Lie groups (22-XX) 91 Operations research, mathematical programming (90-XX) 90 Biology and other natural sciences (92-XX) 87 Calculus of variations and optimal control; optimization (49-XX) 83 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 81 Numerical analysis (65-XX) 75 Linear and multilinear algebra; matrix theory (15-XX) 68 Integral equations (45-XX) 67 Partial differential equations (35-XX) 57 Order, lattices, ordered algebraic structures (06-XX) 55 General algebraic systems (08-XX) 54 Manifolds and cell complexes (57-XX) 53 Statistics (62-XX) 51 Quantum theory (81-XX) 46 Differential geometry (53-XX) 41 Associative rings and algebras (16-XX) 40 Statistical mechanics, structure of matter (82-XX) 37 Abstract harmonic analysis (43-XX) 36 Mechanics of particles and systems (70-XX) 33 Global analysis, analysis on manifolds (58-XX) 32 Commutative algebra (13-XX) 30 History and biography (01-XX) 29 Convex and discrete geometry (52-XX) 27 Difference and functional equations (39-XX) 23 Approximations and expansions (41-XX) 21 Real functions (26-XX) 16 Field theory and polynomials (12-XX) 15 General and overarching topics; collections (00-XX) 15 Algebraic geometry (14-XX) 14 Nonassociative rings and algebras (17-XX) 14 Functions of a complex variable (30-XX) 10 Several complex variables and analytic spaces (32-XX) 10 Harmonic analysis on Euclidean spaces (42-XX) 9 Geometry (51-XX) 9 Algebraic topology (55-XX) 7 Sequences, series, summability (40-XX) 7 Fluid mechanics (76-XX) 6 Mechanics of deformable solids (74-XX) 5 Special functions (33-XX) 4 Relativity and gravitational theory (83-XX) 3 Potential theory (31-XX) 2 $$K$$-theory (19-XX) 1 Integral transforms, operational calculus (44-XX) 1 Optics, electromagnetic theory (78-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Geophysics (86-XX)