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 R. 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,208 more Authors
all top 5

Fields

 683 Computer science (68-XX) 384 Information and communication theory, circuits (94-XX) 154 Mathematical logic and foundations (03-XX) 86 Systems theory; control (93-XX) 50 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)

Citations contained in zbMATH Open

1,167 Publications have been cited 23,001 times in 18,187 Documents Cited by Year
Fuzzy sets. Zbl 0139.24606
1965
Language identification in the limit. Zbl 0259.68032
Gold, E. Mark
1967
Resolution of composite fuzzy relation equations. Zbl 0326.02048
Sanchez, Elie
1976
A definition of a nonprobabilistic entropy in the setting of fuzzy sets theory. Zbl 0239.94028
De Luca, A.; Termini, S.
1972
The definition of random sequences. Zbl 0244.62008
Martin-Löf, Per
1966
On finite monoids having only trivial subgroups. Zbl 0131.02001
Schützenberger, M. P.
1965
A new approach to clustering. Zbl 0192.57101
Ruspini, E. H.
1969
Toward a mathematical theory of inductive inference. Zbl 0375.02028
Blum, Lenore; Blum, Manuel
1975
On the definition of a family of automata. Zbl 0104.00702
Schützenberger, M. P.
1961
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
1984
Inductive inference of formal languages from positive data. Zbl 0459.68051
Angluin, Dana
1980
A taxonomy of problems with fast parallel algorithms. Zbl 0575.68045
Cook, Stephen A.
1985
Probabilistic automata. Zbl 0182.33602
Rabin, M. O.
1963
Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902
McNaughton, R.
1966
Some inequalities satisfied by the quantities of information of Fisher and Shannon. Zbl 0085.34701
Stam, A. J.
1959
A formal theory of inductive inference. I. Zbl 0258.68045
Solomonoff, R. J.
1964
Some properties of fuzzy sets of type 2. Zbl 0331.02042
Mizumoto, Masaharu; Tanaka, Kokichi
1976
Generalized information functions. Zbl 0205.46901
Daróczy, Z.
1970
Relational queries computable in polynomial time. Zbl 0612.68086
Immerman, Neil
1986
On the translation of languages from left to right. Zbl 0231.68027
Knuth, Donald E.
1966
The weight enumerators for several classes of subcodes of the 2nd order binary Reed-Muller codes. Zbl 0217.58802
Kasami, T.
1971
Temporal logic can be more expressive. Zbl 0534.03009
Wolper, Pierre
1983
The matrix minimum principle. Zbl 0176.07301
Athans, M.
1967
On certain formal properties of grammars. Zbl 0088.10801
Chomsky, Noam
1959
Fuzzy algorithms. Zbl 0182.33301
1968
Complexity of automaton identification from given data. Zbl 0376.68041
Gold, E. Mark
1978
Processes and the denotational semantics of concurrency. Zbl 0508.68011
de Bakker, J. W.; Zucker, J. I.
1982
A formal theory of inductive inference. II. Zbl 0259.68038
Solomonoff, R. J.
1964
Deterministic coin tossing with applications to optimal parallel list ranking. Zbl 0612.68044
Cole, Richard; Vishkin, Uzi
1986
Recognition and parsing of context-free languages in time $$n^ 3$$. Zbl 0149.24803
Younger, D. H.
1967
An upper bound for self-dual codes. Zbl 0254.94011
Mallows, C. L.; Sloane, N. J. A.
1973
Deterministic context free languages. Zbl 0145.00802
Ginsburg, S.; Greibach, S.
1966
Four fundamental parameters of a code and their combinatorial significance. Zbl 0274.94010
Delsarte, Philippe
1973
Algebraically punctured cyclic codes. Zbl 0149.15903
Solomon, Gustave; Stiffler, J. J.
1965
On generalized Reed-Muller codes and their relatives. Zbl 0267.94014
Delsarte, P.; Goethals, J. M.; Mac Williams, F. J.
1970
Optimal state estimation in high noise. Zbl 0169.21902
Anderson, B. D. O.; Moore, J. B.
1968
Algebraic automata and context-free sets. Zbl 0155.34301
Mezei, J.; Wright, J. B.
1967
One-tape, off-line Turing machine computations. Zbl 0231.02048
Hennie, F. C.
1966
Exponential observers for nonlinear dynamic systems. Zbl 0319.93049
Kou, Shauying R.; Elliott, David L.; Tarn, Tzyh Jong
1975
Fast parallel matrix and GCD computations. Zbl 0507.68020
Borodin, Allan; von zur Gathen, Joachim; Hopcroft, John
1982
On $$\omega$$-regular sets. Zbl 0434.68061
Wagner, Klaus
1979
Weights of irreducible cyclic codes. Zbl 0239.94007
Baumert, L. D.; McEliece, R. J.
1972
Reversible codes. Zbl 0137.37704
Massey, J. L.
1964
The complexity of promise problems with applications to public-key cryptography. Zbl 0592.94012
Even, Shimon; Selman, Alan L.; Yacobi, Yacov
1984
Tree generating regular systems. Zbl 0169.31601
Brainerd, W. S.
1969
Algorithms for approximate string matching. Zbl 0575.68090
Ukkonen, Esko
1985
Classes of languages and linear-bounded automata. Zbl 0199.04002
Kuroda, S.-Y.
1964
Fuzzy digital topology. Zbl 0404.68071
Rosenfeld, Azriel
1979
Properties of deterministic top-down grammars. Zbl 0209.02703
Rosenkrantz, D. J.; Stearns, R. E.
1970
On context-free languages and push-down automata. Zbl 0123.12502
Schützenberger, M. P.
1963
Maximin automata. Zbl 0174.03601
Santos, Eugene S.
1968
On the solution of algebraic equations over finite fields. Zbl 0166.04803
Berlekamp, E. R.; Rumsey, H.; Solomon, Gustave
1967
The non-sequential behaviour of Petri nets. Zbl 0551.68050
Goltz, U.; Reisig, W.
1983
Randomness conservation inequalities; information and independence in mathematical theories. Zbl 0592.03035
Levin, Leonid A.
1984
On a class of error correcting binary group codes. Zbl 0104.36402
Bose, R. C.; Ray-Chaudhuri, D. K.
1960
Translations on a context free grammar. Zbl 0244.68035
Aho, A. V.; Ullman, J. D.
1972
Automata in general algebras. Zbl 0175.27902
Eilenberg, S.; Wright, J. B.
1967
Information-theoretical considerations on estimation problems. Zbl 0222.94022
Arimoto, Suguru
1971
The equivalence problem for deterministic finite-turn pushdown automata. Zbl 0285.68025
Valiant, Leslie G.
1974
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
1984
An 8-state minimal time solution to the firing squad synchronization problem. Zbl 1347.68249
Balzer, Robert
1967
Propositional dynamic logic of looping and converse is elementarily decidable. Zbl 0515.68062
Streett, Robert S.
1982
On the entropy of context-free languages. Zbl 0193.32603
Kuich, W.
1970
Simple matrix languages. Zbl 0221.68041
Ibarra, Oscar H.
1970
On the unique satisfiability problem. Zbl 0543.03027
Blass, Andreas; Gurevich, Yuri
1982
A theory of modal control. Zbl 0237.93004
Simon, J. D.; Mitter, S. K.
1968
Boundary NLC graph grammars - basic definitions, normal forms, and complexity. Zbl 0608.68060
Rozenberg, Grzegorz; Welzl, Emo
1986
An optimum solution to the firing squad synchronization problem. Zbl 1111.68527
Waksman, Abraham
1966
Criteria of language learning. Zbl 0505.68038
Osherson, Daniel N.; Weinstein, Scott
1982
Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042
Hartmanis, J.; Immerman, N.; Sewelson, V.
1985
The decidability of the equivalence problem for DOL-systems. Zbl 0365.68074
Čulik, Karel II; Fris, I.
1977
A note on fuzzy sets. Zbl 0217.01403
Brown, J. G.
1971
Picture languages with array rewriting rules. Zbl 0266.68037
Siromoney, Gift; Siromoney, Rani; Krithivasan, Kamala
1973
On the size of machines. Zbl 0165.02102
Blum, M.
1967
Full AFLs and nested iterated substitution. Zbl 0188.03102
Greibach, S. A.
1970
Parallel computation for well-endowed rings and space-bounded probabilistic machines. Zbl 0598.68043
Borodin, A.; Cook, S.; Pippenger, N.
1983
Some results on cyclic codes which are invariant under the affine group and their applications. Zbl 0169.51101
Kasami, T.; Lin, S.; Peterson, W. W.
1967
Sorting Jordan sequences in linear time using level-linked search trees. Zbl 0614.68051
Hoffmann, Kurt; Mehlhorn, Kurt; Rosenstiehl, Pierre; Tarjan, Robert E.
1986
Every sequence is reducible to a random one. Zbl 0628.03024
Gács, Péter
1986
One-way bounded cellular automata. Zbl 0442.68082
Dyer, Charles R.
1980
A class of low-rate nonlinear binary codes. Zbl 0271.94016
Kerdock, A. M.
1972
Tally languages and complexity classes. Zbl 0287.68029
Book, Ronald V.
1974
What is a model of the lambda calculus? Zbl 0507.03002
Meyer, Albert R.
1982
Using string languages to describe picture languages. Zbl 0523.68065
Maurer, H. A.; Rozenberg, G.; Welzl, E.
1982
On the measure of fuzziness and negation. II. Lattices. Zbl 0429.04008
Yager, Ronald R.
1980
A regularity test for pushdown machines. Zbl 0155.01901
Stearns, R. E.
1967
Operations in a fuzzy-valued logic. Zbl 0434.03020
1979
Multi-tape and multi-head pushdown automata. Zbl 0174.02701
Harrison, M. A.; Ibarra, O. H.
1968
Infinite-dimensional filtering: The Kalman-Bucy filter in Hilbert space. Zbl 0178.18902
Falb, Peter L.
1967
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
1986
Application of model theoretic games to discrete linear orders and finite automata. Zbl 0387.68037
1977
Finite state languages. Zbl 0081.14503
Chomsky, Noam; Miller, George A.
1958
Circuit-size lower bounds and non-reducibility to sparse sets. Zbl 0537.94027
Kannan, R.
1982
Logical relations and the typed $$\lambda$$-calculus. Zbl 0594.03006
Statman, R.
1985
New parametric measures of information. Zbl 0524.62005
Ferentinos, K.; Papaioannou, T.
1981
A directed-divergence function of type $$\beta$$. Zbl 0231.94015
Rathie, P. N.; Kannappan, Pl.
1972
Some results on quasi-cyclic codes. Zbl 0185.47403
Chen, C. L.; Peterson, W. W.; Weldon, E. J. jun.
1969
A variant of the Kolmogorov concept of complexity. Zbl 0188.52101
Loveland, D. W.
1969
Turing machines with restricted memory access. Zbl 0145.24205
Fischer, P. C.
1966
A class of optimum nonlinear double-error-correcting codes. Zbl 0167.47702
Preparata, Franco P.
1968
Relational queries computable in polynomial time. Zbl 0612.68086
Immerman, Neil
1986
Deterministic coin tossing with applications to optimal parallel list ranking. Zbl 0612.68044
Cole, Richard; Vishkin, Uzi
1986
Boundary NLC graph grammars - basic definitions, normal forms, and complexity. Zbl 0608.68060
Rozenberg, Grzegorz; Welzl, Emo
1986
Sorting Jordan sequences in linear time using level-linked search trees. Zbl 0614.68051
Hoffmann, Kurt; Mehlhorn, Kurt; Rosenstiehl, Pierre; Tarjan, Robert E.
1986
Every sequence is reducible to a random one. Zbl 0628.03024
Gács, Péter
1986
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
1986
An automata-theoretical characterization of the OI-hierarchy. Zbl 0628.68061
Damm, Werner; Goerdt, Andreas
1986
A note on succinct representations of graphs. Zbl 0616.68041
1986
On relativized exponential and probabilistic complexity classes. Zbl 0628.68047
Heller, Hans
1986
Functional dependencies and constraints on null values in database relations. Zbl 0612.68087
Atzeni, Paolo; Morfuni, Nicola M.
1986
On the complexity of inductive inference. Zbl 0648.68090
Daley, Robert P.; Smith, Carl H.
1986
Systolic trellis automata: Stability, decidability and complexity. Zbl 0626.68048
Culik, K. II; Gruska, J.; Salomaa, A.
1986
A logic for the description of non-deterministic programs and their properties. Zbl 0591.68017
Graf, S.; Sifakis, J.
1986
On specifications, theories, and models with higher types. Zbl 0591.68019
Poigné, Axel
1986
A decisive characterization of BPP. Zbl 0616.68049
Zachos, Stathis; Heller, Hans
1986
Definability by constant-depth polynomial-size circuits. Zbl 0629.94023
Denenberg, Larry; Gurevich, Yuri; Shelah, Saharon
1986
Categorical combinators. Zbl 0607.03005
Curien, P.-L.
1986
Aggregating inductive expertise. Zbl 0612.68077
Osherson, Daniel N.; Stob, Michael; Weinstein, Scott
1986
A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031
Graf, S.; Sifakis, J.
1986
New upper bounds for neighbor searching. Zbl 0595.68055
Chazelle, B.; Cole, R.; Preparata, F. P.; Yap, C.
1986
The density and complexity of polynomial cores for intractable sets. Zbl 0611.68021
Orponen, Pekka; Schöning, Uwe
1986
A superexponential lower bound for Gröbner bases and Church-Rosser commutative Thue systems. Zbl 0612.68033
Huynh, Dung T.
1986
Inductive inference of approximations. Zbl 0618.68073
Royer, James S.
1986
Probabilistic propositional temporal logics. Zbl 0614.03024
Hart, Sergiu; Sharir, Micha
1986
Simulation of large networks on smaller networks. Zbl 0627.68055
Bodlaender, H. L.; van Leeuwen, J.
1986
Solving tree problems on a mesh-connected processor array. Zbl 0605.68058
Atallah, Mikhail J.; Hambrusch, Susanne E.
1986
The position of index sets of identifiable sets in the arithmetical hierarchy. Zbl 0605.03017
Brandt, Ulrike
1986
Probabilistic analysis of a network resource allocation algorithm. Zbl 0591.90091
Lynch, Nancy A.; Griffeth, Nancy D.; Fischer, Michael J.; Guibas, Leonidas J.
1986
A note on some simultaneous relations among time, space, and reversal for single work tape nondeterministic Turing machines. Zbl 0623.68051
Moriya, Etsuro; Iwata, Shigeki; Kasai, Takumi
1986
An exponential lower bound for real-time branching programs. Zbl 0627.68044
Žák, Stanislav
1986
On the power of two-way random generators and the impossibility of deterministic poly-space simulation. Zbl 0629.68046
Karpinski, Marek; Verbeek, Rutger
1986
Syntax directed analysis of liveness properties of while programs. Zbl 0591.68016
Apt, Krzysztof R.; Delporte-Gallet, Carole
1986
Arithmetic theories for computational complexity problems. Zbl 0611.03018
Homer, Steve; Reif, John
1986
Machines for attribute grammars. Zbl 0612.68075
Filé, Gilberto
1986
Retraction map categories and their applications to the construction of lambda calculus models. Zbl 0623.03016
Yokouchi, Hirofumi
1986
Pre-analysis locking. Zbl 0604.68026
Lausen, Georg; Soisalon-Soininen, Eljas; Widmayer, Peter
1986
A simplified lower bound for context-free-language recognition. Zbl 0605.68078
Seiferas, Joel I.
1986
A polynomial jump operator. Zbl 0605.03018
Townsend, Mike
1986
A taxonomy of problems with fast parallel algorithms. Zbl 0575.68045
Cook, Stephen A.
1985
Algorithms for approximate string matching. Zbl 0575.68090
Ukkonen, Esko
1985
Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042
Hartmanis, J.; Immerman, N.; Sewelson, V.
1985
Logical relations and the typed $$\lambda$$-calculus. Zbl 0594.03006
Statman, R.
1985
Complexity of some problems from the theory of automata. Zbl 0603.68059
Stern, Jacques
1985
Semantic confluence tests and completion methods. Zbl 0598.68058
Plaisted, David A.
1985
Optimal parallel pattern matching in strings. Zbl 0588.68023
Vishkin, Uzi
1985
Optimal parallel algorithms for string matching. Zbl 0588.68022
Galil, Zvi
1985
A zero-one law for logic with a fixed-point operator. Zbl 0608.68077
Blass, Andreas; Gurevich, Yuri; Kozen, Dexter
1985
Computing with rewrite systems. Zbl 0584.68020
Dershowitz, Nachum
1985
A proof rule for fair termination of guarded commands. Zbl 0577.68022
Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.
1985
The power of the future perfect in program logics. Zbl 0582.68010
Hennessy, Matthew; Stirling, Colin
1985
Sublattices of the polynomial time degrees. Zbl 0556.03033
Ambos-Spies, Klaus
1985
How to search in history. Zbl 0575.68062
Chazelle, Bernard
1985
The complexity of equivalence problems for commutative grammars. Zbl 0601.68048
Huynh, Dung T.
1985
Fast recognition of pushdown automaton and context-free languages. Zbl 0611.68052
Rytter, Wojciech
1985
Normalization and axiomatization for numerical dependencies. Zbl 0602.68095
Grant, John; Minker, Jack
1985
A new solution for the Byzantine generals problem. Zbl 0575.68025
Reischuk, Rüdiger
1985
Propositional dynamic logic of flowcharts. Zbl 0575.68039
Harel, D.; Sherman, R.
1985
Effective Hilbert irreducibility. Zbl 0584.12019
Kaltofen, Erich
1985
AVL-trees for localized search. Zbl 0588.68033
Tsakalidis, Athanasios K.
1985
The critical complexity of all (monotone) Boolean functions and monotone graph properties. Zbl 0588.68024
Wegener, Ingo
1985
On the relationships between Scott domains, synchronization trees, and metric spaces. Zbl 0598.68014
Rounds, William C.
1985
The complexity of cubical graphs. Zbl 0601.68040
Afrati, Foto; Papadimitriou, Christos H.; Papageorgiou, George
1985
Fast triangulation of the plane with respect to simple polygons. Zbl 0575.68049
Hertel, Stefan; Mehlhorn, Kurt
1985
Unraveling k-page graphs. Zbl 0584.05055
Kannan, Ravi
1985
Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic). Zbl 0585.68022
Kfoury, A. J.
1985
Uniform characterizations of non-uniform complexity measures. Zbl 0588.68021
Balcázar, José L.; Díaz, Josep; Gabarró, Joaquim
1985
Implicit data structures for weighted elements. Zbl 0581.68050
Frederickson, Greg N.
1985
On relative completeness of Hoare logics. Zbl 0586.68027
Grabowski, Michal
1985
There is no polynomial deterministic space simulation of probabilistic space with a two-way random-tape generator. Zbl 0588.68026
Karpinski, Marek; Verbeek, Rutger
1985
Symmetrical one-dimensional cellular spaces. Zbl 0588.68030
Szwerinski, Helge
1985
Alternation with restrictions on looping. Zbl 0611.68020
Robson, J. M.
1985
Separation in nonlinear time models. Zbl 0617.03005
Amir, Amihood
1985
Pseudorandom number generation and space complexity. Zbl 0575.68048
Furst, Merrick; Lipton, Richard; Stockmeyer, Larry
1985
Powerposets. Zbl 0588.06002
1985
Some characterizations of multihead finite automata. Zbl 0588.68027
Ibarra, Oscar H.; Kim, Sam M.; Rosier, Louis E.
1985
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
1984
The complexity of promise problems with applications to public-key cryptography. Zbl 0592.94012
Even, Shimon; Selman, Alan L.; Yacobi, Yacov
1984
Randomness conservation inequalities; information and independence in mathematical theories. Zbl 0592.03035
Levin, Leonid A.
1984
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
1984
An upper and lower bound for clock synchronization. Zbl 0591.68023
Lundelius, Jennifer; Lynch, Nancy
1984
Arbitrary versus periodic storage schemes and tessellations of the plane using one type of polyomino. Zbl 0592.05017
Wijshoff, H. A. G.; van Leeuwen, J.
1984
A logic for constant-depth circuits. Zbl 0592.94023
Gurevich, Yuri; Lewis, Harry R.
1984
On static logics, dynamic logics, and complexity classes. Zbl 0589.68030
Harel, D.; Peleg, D.
1984
Geometric retrieval problems. Zbl 0591.68091
Cole, Richard; Yap, Chee K.
1984
Optimal decision trees and one-time-only branching programs for symmetric Boolean functions. Zbl 0592.94025
Wegener, Ingo
1984
Effectively given domains and lambda-calculus models. Zbl 0599.03008
Giannini, Paola; Longo, Giuseppe
1984
A programming language for the inductive sets, and applications. Zbl 0591.68037
Harel, David; Kozen, Dexter
1984
An algorithm for covering polygons with rectangles. Zbl 0591.68073
Franzblau, D. S.; Kleitman, D. J.
1984
The uniform conjugacy problem for finite Church-Rosser Thue systems is NP-complete. Zbl 0592.03025
Narendran, Paliath; Otto, Friedrich; Winklmann, Karl
1984
A fresh look at free choice nets. Zbl 0589.68044
Thiagarajan, P. S.; Voss, K.
1984
An average case analysis of Floyd’s algorithm to construct heaps. Zbl 0589.68046
Doberkat, Ernst E.
1984
Hash functions for priority queues. Zbl 0591.68093
Ajtai, M.; Fredman, M.; Komlós, J.
1984
A decidable propositional dynamic logic with explicit probabilities. Zbl 0592.68031
Feldman, Yishai A.
1984
Alternation bounded auxiliary pushdown automata. Zbl 0589.68058
Ladner, Richard E.; Stockmeyer, Larry J.; Lipton, Richard J.
1984
On the progress of communication between two finite state machines. Zbl 0591.68057
Gouda, M. G.; Manning, E. G.; Yu, Y. T.
1984
Dynamic c-oriented polygonal intersection searching. Zbl 0591.68061
Güting, Ralf Hartmut
1984
On similarity and duality of computation. I. Zbl 0589.68038
Hong, Jia-Wei
1984
Functional behavior of nondeterministic and concurrent programs. Zbl 0591.68018
Main, Michael G.; Benson, David B.
1984
Unbounded program memory adds to the expressive power of first-order programming logic. Zbl 0599.68034
Tiuryn, Jerzy
1984
Two nonlinear lower bounds for on-line computations. Zbl 0589.68039
Ďuriš, Pavol; Galil, Zvi; Paul, Wolfgang; Reischuk, Ruediger
1984
...and 1067 more Documents
all top 5

Cited by 18,242 Authors

 113 Jain, Sanjay 88 Stephan, Frank 82 Davvaz, Bijan 78 Rozenberg, Grzegorz 71 Ibarra, Oscar H. 71 Jun, Young Bae 66 Xu, Zeshui 62 Mordeson, John N. 62 Yager, Ronald R. 60 Pedrycz, Witold 59 Akram, Muhammad 59 Engelfriet, Joost 56 Kutrib, Martin 53 Zhan, Jianming 51 Dubois, Didier 50 Prade, Henri M. 47 Chen, Shyiming 45 Case, John 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 Mesiar, Radko 35 Inoue, Katsushi 35 Kerre, Etienne E. 34 Kreinovich, Vladik Yakovlevich 34 Okhotin, Alexander 34 Otto, Friedrich 34 Vogler, Heiko 34 Wu, Hsien-Chung 33 Abdullah, Saleem 33 Di Nola, Antonio 33 Holzer, Markus 33 Hu, Baoqing 33 Karhumaki, Juhani 33 Păun, Gheorghe 33 Shabir, Muhammad 32 Droste, Manfred 32 Helleseth, Tor 32 Mahmood, Tahir 31 Kinber, Efim B. 30 Courcelle, Bruno 30 Harada, Masaaki 30 Pal, Madhumangal 30 Yoshida, Yuji 29 Fernau, Henning 29 Garg, Harish 29 Han, Sang-Eon 28 Bedregal, Benjamín René Callejas 28 Book, Ronald Vernon 28 Bustince, Humberto 28 Calude, Cristian S. 28 Chen, Xiaohong 28 De Baets, Bernard 27 Aceto, Luca 27 Ehrenfeucht, Andrzej 27 Pin, Jean-Eric 26 Hemaspaandra, Lane A. 26 Ingólfsdóttir, Anna 26 Kandel, Abraham 26 Li, Hongxing 26 Lutz, Jack H. 25 Allahviranloo, Tofigh 25 Freivalds, Rūsiņš Mārtiņš 25 Greibach, Sheila A. 25 Honkala, Juha 25 Klement, Erich Peter 25 Nies, André Otfrid 25 Staiger, Ludwig 24 Dassow, Jürgen 24 Fülöp, Zoltán 24 Malcher, Andreas 23 Borzooei, Rajab Ali 23 Lowen, Robert 23 Sessa, Salvatore 23 Shum, Kar-Ping 23 Solé, Patrick 23 Takanami, Itsuo 23 Vitányi, Paul M. B. 23 Zeugmann, Thomas 22 Downey, Rodney Graham 22 Gerla, Giangiacomo 22 Klir, George J. 22 Lange, Steffen 22 Perrin, Dominique 22 Sharma, Arun K. 22 Vardi, Moshe Ya’akov 22 Xu, Jiuping 22 Zaripov, Rinat G. 21 Beg, Ismat 21 Hamada, Noboru 21 Kumar, Satish 21 Morsi, Nehad Nashaat 21 Salomaa, Kai T. 21 Taneja, Inder Jeet 21 Wang, Xueping 20 Barmpalias, George 20 Drewes, Frank ...and 18,142 more Authors
all top 5

Cited in 888 Journals

 1,678 Fuzzy Sets and Systems 1,561 Theoretical Computer Science 877 Information Sciences 538 Journal of Computer and System Sciences 441 Information and Computation 389 Soft Computing 357 Information Processing Letters 238 Journal of Intelligent and Fuzzy Systems 235 International Journal of Approximate Reasoning 227 Discrete Mathematics 219 Journal of Mathematical Analysis and Applications 203 Computers & Mathematics with Applications 190 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 154 International Journal of Foundations of Computer Science 151 International Journal of General Systems 144 Computational and Applied Mathematics 141 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 138 Finite Fields and their Applications 131 Kybernetika 127 International Journal of Systems Science 117 Fuzzy Optimization and Decision Making 112 Automatica 100 Mathematical Problems in Engineering 98 International Journal of Control 96 Applied Mathematical Modelling 95 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 82 Journal of Function Spaces 81 Pattern Recognition 76 Journal of Computational and Applied Mathematics 76 Mathematical and Computer Modelling 72 Chaos, Solitons and Fractals 70 Journal of the Franklin Institute 70 Symmetry 69 Advances in Fuzzy Systems 68 Afrika Matematika 66 Algorithmica 65 Journal of Mathematics 63 RAIRO. Informatique Théorique et Applications 63 Journal of Applied Mathematics and Computing 62 Artificial Intelligence 54 RAIRO, Informatique Théorique 54 Cryptography and Communications 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 50 New Mathematics and Natural Computation 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 47 Journal of Discrete Mathematical Sciences & Cryptography 46 Systems & Control Letters 45 Cybernetics and Systems 44 Problems of Information Transmission 44 Applicable Algebra in Engineering, Communication and Computing 43 Computing 42 Semigroup Forum 41 International Journal of Control, I. Series 40 Discrete Dynamics in Nature and Society 39 Formal Aspects of Computing 39 Computational Complexity 38 Opsearch 38 Complexity 37 Abstract and Applied Analysis 37 Advances in Mathematics of Communications 37 Logical Methods in Computer Science 36 Journal of Inequalities and Applications 36 International Journal of Systems Science. Principles and Applications of Systems and Integration 35 Computers & Operations Research 35 Journal of Mathematical Sciences (New York) 33 International Journal of Mathematics and Mathematical Sciences 33 Studia Logica 33 Filomat 32 Journal of Mathematical Physics 32 Mathematics and Computers in Simulation 32 Fixed Point Theory and Applications 31 Journal of Soviet Mathematics 31 European Journal of Combinatorics 31 Journal of Information & Optimization Sciences 31 Communications in Statistics. Theory and Methods 31 Distributed Computing 31 Cybernetics and Systems Analysis 31 Journal of Logical and Algebraic Methods in Programming ...and 788 more Journals
all top 5

Cited in 63 Fields

 7,952 Computer science (68-XX) 3,865 Mathematical logic and foundations (03-XX) 2,353 Information and communication theory, circuits (94-XX) 1,635 Operations research, mathematical programming (90-XX) 1,374 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1,151 Systems theory; control (93-XX) 1,043 Statistics (62-XX) 922 Combinatorics (05-XX) 846 General topology (54-XX) 689 Group theory and generalizations (20-XX) 596 Probability theory and stochastic processes (60-XX) 564 Order, lattices, ordered algebraic structures (06-XX) 472 Number theory (11-XX) 398 Numerical analysis (65-XX) 332 Biology and other natural sciences (92-XX) 281 Real functions (26-XX) 249 Linear and multilinear algebra; matrix theory (15-XX) 248 Associative rings and algebras (16-XX) 248 Measure and integration (28-XX) 219 Ordinary differential equations (34-XX) 215 General algebraic systems (08-XX) 202 Operator theory (47-XX) 197 Calculus of variations and optimal control; optimization (49-XX) 196 Category theory; homological algebra (18-XX) 195 Quantum theory (81-XX) 193 Functional analysis (46-XX) 124 Dynamical systems and ergodic theory (37-XX) 113 Geometry (51-XX) 112 Commutative algebra (13-XX) 111 Statistical mechanics, structure of matter (82-XX) 110 Difference and functional equations (39-XX) 105 Convex and discrete geometry (52-XX) 104 Sequences, series, summability (40-XX) 75 History and biography (01-XX) 73 Partial differential equations (35-XX) 73 Approximations and expansions (41-XX) 71 Field theory and polynomials (12-XX) 67 Mechanics of deformable solids (74-XX) 62 Algebraic geometry (14-XX) 58 Harmonic analysis on Euclidean spaces (42-XX) 51 General and overarching topics; collections (00-XX) 51 Mechanics of particles and systems (70-XX) 48 Integral equations (45-XX) 39 Geophysics (86-XX) 28 Manifolds and cell complexes (57-XX) 25 Algebraic topology (55-XX) 25 Fluid mechanics (76-XX) 24 Topological groups, Lie groups (22-XX) 22 Functions of a complex variable (30-XX) 22 Special functions (33-XX) 21 Integral transforms, operational calculus (44-XX) 17 Differential geometry (53-XX) 16 Global analysis, analysis on manifolds (58-XX) 15 Nonassociative rings and algebras (17-XX) 15 Abstract harmonic analysis (43-XX) 11 Optics, electromagnetic theory (78-XX) 11 Classical thermodynamics, heat transfer (80-XX) 6 Relativity and gravitational theory (83-XX) 5 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)