Bulletin of the European Association for Theoretical Computer Science (EATCS) Short Title: Bull. EATCS Publisher: European Association for Theoretical Computer Science, Leiden ISSN: 0252-9742 Successor: Bulletin of the European Association for Theoretical Computer Science EATCS Comments: No longer indexed Documents Indexed: 441 Publications (1986–1998) all top 5 Latest Issues 64 (1998) 63 (1997) 62 (1997) 61 (1997) 60 (1996) 59 (1996) 58 (1996) 57 (1995) 56 (1995) 55 (1995) 54 (1994) 53 (1994) 52 (1994) 51 (1993) 50 (1993) 49 (1993) 48 (1992) 47 (1992) 46 (1992) 45 (1991) 44 (1991) 43 (1991) 42 (1990) 41 (1990) 40 (1990) 39 (1989) 38 (1989) 37 (1989) 36 (1988) 35 (1988) 34 (1988) 33 (1987) 32 (1987) 31 (1987) 30 (1986) 29 (1986) 28 (1986) all top 5 Authors 21 Salomaa, Arto Kustaa 19 Ehrig, Hartmut 17 Păun, Gheorghe 10 Hartmanis, Juris 9 Gurevich, Yuri 6 Chang, Richard 6 Kreowski, Hans-Jörg 5 Courcelle, Bruno 5 Mäkinen, Erkki 5 Pawlak, Zdzisław 5 Urbanek, Friedrich J. 4 Backhouse, Roland C. 4 Edelsbrunner, Herbert 4 Meyer, John-Jules Charles 4 Mitrana, Victor 4 Orejas, Fernando 4 Prodinger, Helmut 4 Vágvölgyi, Sándor 3 Asveld, Peter R. J. 3 Berstel, Jean 3 Calude, Cristian S. 3 Crochemore, Maxime 3 Csuhaj-Varjú, Erzsébet 3 Dassow, Jürgen 3 Fülöp, Zoltán 3 Goguen, Joseph Amadee 3 Habel, Annegret 3 Kreinovich, Vladik Yakovlevich 3 Mahr, Bernd 3 Malcolm, Grant 3 Marcus, Solomon 3 Mateescu, Alexandru 3 Meinel, Christoph 3 Nirmal, Nalinakshi 3 Nivat, Maurice 3 Ochmański, Edward 3 Ohlebusch, Enno 3 Padberg, Julia 3 Perrin, Dominique 3 Reisig, Wolfgang 3 Rohatgi, Pankaj 3 Yu, Sheng 2 Akman, Varol 2 Arnold, André 2 Baaz, Matthias 2 Bertoni, Alberto 2 Bloom, Stephen L. 2 Boonyavatana, R. 2 Brauer, Wilfried 2 Brzozowski, Janusz Antoni 2 Chaitin, Gregory John 2 Chapman, Nigel P. 2 Chisholm, Paul 2 Choffrut, Christian 2 Compton, Kevin J. 2 de Luca, Aldo 2 de Swart, Harrie C. M. 2 Domocoş, Virgil 2 Ésik, Zoltán 2 Esparza, Javier 2 Fernau, Henning 2 Giegerich, Robert 2 Große-Rhode, Martin 2 Guessarian, Irène 2 Hemaspaandra, Edith 2 Hemaspaandra, Lane A. 2 Hodkinson, Ian Martin 2 Honkala, Juha 2 Hromkovič, Juraj 2 Kari, Lila 2 Katajainen, Jyrki 2 Kelemen, Jozef 2 Kinber, Efim B. 2 Kozen, Dexter C. 2 Laprie, Jean-Claude 2 Lescanne, Pierre 2 Leth, Lone 2 Levy, Jean-Jacques 2 Lipponen, Marjo 2 Loeckx, Jacques 2 Longpré, Luc 2 Main, Michael G. 2 Meduna, Alexander 2 Mihalache, Valeria 2 Nielsen, Mogens 2 Nielson, Flemming 2 Nourani, Cyrus F. 2 Olderog, Ernst-Rüdiger 2 Padawitz, Peter 2 Poigné, Axel 2 Priese, Lutz 2 Randell, Brian 2 Ranjan, Desh 2 Rensink, Arend 2 Salomaa, Kai T. 2 Sântean, Lila 2 Seda, Anthony Karel 2 Séébold, Patrice 2 Seger, Carl-Johan H. 2 Skowron, Andrzej ...and 335 more Authors all top 5 Fields 417 Computer science (68-XX) 58 Mathematical logic and foundations (03-XX) 21 Information and communication theory, circuits (94-XX) 14 Combinatorics (05-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 7 General and overarching topics; collections (00-XX) 7 Number theory (11-XX) 7 Group theory and generalizations (20-XX) 6 Category theory; homological algebra (18-XX) 5 General algebraic systems (08-XX) 4 Mathematics education (97-XX) 3 Convex and discrete geometry (52-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Quantum theory (81-XX) 2 Biology and other natural sciences (92-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 220 Publications have been cited 1,128 times in 1,046 Documents Cited by ▼ Year ▼ Trends in the theory of codes. Zbl 1022.94506Berstel, J.; Perrin, D. 220 1986 A tutorial on (co)algebras and (co)induction. Zbl 0880.68070Jacobs, Bart; Rutten, Jan 104 1997 The method of forcing for nondeterministic automata. Zbl 0664.68082Szelepcsényi, Róbert 36 1987 Some classes of graphs with bounded treewidth. Zbl 0684.68047Bodlaender, H. L. 36 1988 Decidability issues for Petri nets. Zbl 0791.68123Esparza, Javier; Nielsen, Mogens 32 1994 Term rewriting systems: A tutorial. Zbl 0666.68025Klop, Jan Willem 24 1987 A note about minimal non-deterministic automata. Zbl 0751.68038Arnold, A.; Dicky, A.; Nivat, M. 16 1992 The role of relativization in complexity theory. Zbl 0791.68062Fortnow, Lance 15 1994 On the Myhill-Nerode theorem for trees. Zbl 0757.68083Kozen, Dexter 15 1992 Concurrency vs interleaving: An instructive example. Zbl 1023.68635Castellano, Luca; De Michelis, Giorgio; Pomello, Lucia 15 1987 A foundation of computable analysis. Zbl 1027.03513Weihrauch, Klaus 13 1995 An effective solution to the DOL periodicity problem in the binary case. Zbl 0678.68072Seebold, Patrice 12 1988 Dual systems of sequents and tableaux for many-valued logics. Zbl 0788.03029Baaz, Matthias; Fermüller, Christian G.; Zach, Richard 10 1993 Lindenmayer and DNA: Watson-Crick D0L systems. Zbl 0880.68075Mihalache, Valeria; Salomaa, Arto 10 1997 Report on a SAT competition. Zbl 1023.68656Buro, Michael; Kleine Büning, Hans 10 1993 Finite variable logics. Zbl 0788.03051Hodkinson, Ian 9 1993 Mechanizing inductive reasoning. Zbl 0744.68114Kounalis, Emmanuel; Rusinowitch, Michaël 9 1990 Notations for rewriting. Zbl 0745.68115Dershowitz, Nachum; Jouannaud, Jean-Pierre 9 1991 Advances in asynchronous circuit theory. II: Bounded inertial delay models, MOS circuits, design techniques. Zbl 0747.94024Brzozowski, J. A.; Seger, C.-J. H. 9 1991 Sets without empty convex 6-gons. Zbl 1023.68686Overmars, Mark; Scholten, Bertha; Vincent, Ingrid 9 1989 What is branching time semantics and why to use it? Zbl 0810.68093van Glabbeek, R. J. 8 1994 On constructing obstruction sets of words. Zbl 0744.68074Courcelle, Bruno 8 1991 Attacking the busy beaver 5. Zbl 0744.68043Marxen, Heiner; Buntrock, Jürgen 8 1990 On the weight of computations. Zbl 0825.68389Hartmanis, Juris 8 1995 The non-existence of finite test sets for set-equivalence of finite substitutions. Zbl 1022.68573Lawrence, J. 8 1986 Confluent string rewriting and congruences. Zbl 1022.68565Jantzen, M. 8 1986 On thinness and slenderness of L languages. Zbl 1023.68607Dassow, Jürgen; Păun, Gheorghe; Salomaa, Arto 8 1993 Concurrent versus sequential. The rough sets perspective. Zbl 1023.68640Pawlak, Zdzisław 8 1992 Homotopy and concurrency. Zbl 0938.68605Gunawardena, Jeremy 7 1994 Ground term rewriting rules for the word problem of ground term equations. Zbl 0757.68069Fülöp, Zoltán; Vágvölgyi, Sándor 7 1991 Decision problems concerning the thinness of D0L languages. Zbl 0803.68061Păun, Gheorghe; Salomaa, Arto 7 1992 More infinite results. Zbl 0887.68035Burkart, Olaf; Esparza, Javier 7 1997 Congruential tree languages are the same as recognizable tree languages - a proof for a theorem of D. Kozen. Zbl 0693.68046Fülöp, Z.; Vágvölgyi, S. 7 1989 A trivial method of characterizing the family of recursively enumerable languages by scattered context grammars. Zbl 1030.68556Meduna, Alexander 7 1995 Definite tree languages. Zbl 0676.68027Heuter, Uschi 6 1988 A brief guide to linear logic. Zbl 0755.03005Scedrov, A. 6 1990 Repetitions in the Kolakovski sequence. Zbl 1023.68604Capri, Arturo 6 1993 Petri nets: Fundamentals, essentials, consequences. Zbl 1023.68641Reisig, W. 6 1993 The structural complexity column - Some observations about relativization of space bounded computations. Zbl 0667.68062Hartmanis, Juris; Chang, R.; Kadin, J.; Mitchell, S. 5 1988 On domains of tree transducers. Zbl 0676.68026Fülöp, Z.; Vágvölgyi, S. 5 1988 Definite tree languages (cont’d). Zbl 0677.68066Nivat, Maurice; Podelski, Andreas 5 1989 Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. Zbl 0679.68135Courcelle, Bruno 5 1988 An undicdability result for regular languages and its applications to regulated rewriting. Zbl 0684.68090Hinz, Friedhelm; Dassow, Jürgen 5 1989 Decidability issues for infinite-state processes – a survey. Zbl 0783.68042Christensen, Søren; Hüttel, Hans 5 1993 Marcus contextual grammars. Zbl 0791.68095Păun, Gheorghe 5 1994 Dynamic abstract data types: An informal proposal. Zbl 0810.68097Ehrig, Hartmut; Orejas, Fernando 5 1994 Logic on words. Zbl 0819.68081Pin, Jean-Eric 5 1994 Infinite (almost periodic) words, formal languages and dynamical systems. Zbl 0825.68388Marcus, Solomon; Păun, Gheorghe 5 1994 Primality types of instances of the Post correspondence problem. Zbl 0744.68083Salomaa, Arto; Salomaa, Kai; Yu, Sheng 5 1991 Evolving algebras. A tutorial introduction. Zbl 0757.68076Gurevich, Yuri 5 1991 Counting hierarchies: Polynomial time and constant depth circuits. Zbl 0744.68052Allender, Eric W.; Wagner, Klaus W. 5 1990 Evaluation of tools for the analysis of communicating systems. Zbl 0757.68054Inverardi, Paola; Priami, Corrado 5 1991 Herbrand’s theorem and equational reasoning: Problems and solutions. Zbl 0866.68102Degtyarev, Anatoli; Gurevich, Yuri; Voronkov, Andrei 5 1996 Remarks on remarks on many-sorted equational logic. Zbl 1023.68630Goguen, Joseph A.; Meseguer, José 5 1986 Nondeterminism, fairness and a fundamental analogy. Zbl 1030.68538Spaan, Edith; Torenvliet, Leen; van Emde Boas, Peter 5 1989 Limited nondeterminism for pushdown automata. Zbl 1023.68621Salomaa, Kai; Yu, Sheng 5 1993 How much Thue is Kolakovski? Zbl 1023.68617Păun, Gheorghe 5 1993 For a rewrite system it is decidable whether the set of irreducible, ground terms is recognizable. Zbl 1023.68601Vágvölgyi, Sándor; Gilleron, Rémi 5 1992 Atomic actions. Zbl 0684.68094Boudol, Gérard 4 1989 JACK: Just another concurrency kit. The integration project. Zbl 0938.68717Bouali, Amar; Gnesi, Stefania; Larosa, Salvatore 4 1994 Conservative extensions: A cautionary note. Zbl 0744.68095Byers, Paddy; Pitt, David 4 1990 On the reconstruction of simple polygons. Zbl 0744.68130Formann, Michael; Wöginger, Gerhard 4 1990 Relativization: A revisionistic retrospective. Zbl 0746.68033Hartmanis, Juris; Chang, R.; Chari, S.; Ranjan, D.; Rohatgi, P. 4 1992 Morphisms and primitivity. Zbl 0874.68174Păun, Gheorghe; Thierrin, Gabriel 4 1997 Generalized quantifiers. Zbl 0880.68061Väänänen, Jouko 4 1997 An introduction to query order. Zbl 0889.68061Hemaspaandra, Edith; Hemaspaandra, Lane A.; Hempel, Harald 4 1997 Anatomy of conflicts. Zbl 1023.68677Pawlak, Zdzisław 4 1993 Randomness in arithmetic and the decline and fall of reductionism in pure mathematics. Zbl 1023.68589Chaitin, G. J. 4 1993 A simple proof of sufficient conditions for the termination of the disjoint union of term rewriting systems. Zbl 1023.68598Ohlebusch, Enno 4 1993 Two axiomatizations of a star semiring quasi-variety. Zbl 0856.08009Bloom, Stephen L.; Ésik, Zoltán 3 1996 Structure in the Kolakoski sequence. Zbl 0856.68064Steacy, Robert 3 1996 Some unsolved problems in modelling self-timed circuits using Petri Nets. Zbl 0669.68046Tiusanen, Mikko 3 1988 Semi-commutation for place/transition systems. Zbl 0684.68079Ochmański, Edward 3 1989 Primitive words and languages associated to PCP. Zbl 0810.68090Lipponen, Marjo 3 1994 The challenger-solver game: Variations on the theme of \(P=NP\). Zbl 0759.68035Gurevich, Yuri 3 1989 Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando 3 1991 Some remarks on conservative extensions: a Socratic dialogue. Zbl 0744.68103Veloso, Paulo A. S.; Veloso, Sheila R. M. 3 1991 Parallel communicating systems. Zbl 0745.68070Santean, Lila 3 1990 Secret selling of secrets with several buyers. Zbl 0744.68041Salomaa, Arto; Santean, Lila 3 1990 Notes on a star mystery. Zbl 0744.68080Ochmaǹski, Edward 3 1990 Cooperating/distributed grammar systems: A link between formal languages and artificial intelligence. Zbl 0756.68069Dassow, Jürgen; Kelemen, Jozef 3 1991 The ”3x + 1” problem and finite automata. Zbl 0757.68084Shallit, Jeffrey; Wilson, David 3 1992 Yet another cautionary note on conservative extensions: A simple case with a computing flavour. Zbl 0751.03013Veloso, Paulo A. S. 3 1992 Memories of ADJ. Zbl 0709.68027Goguen, Joseph A. 3 1989 On generalization of a conjecture of Ehrenfeucht. Zbl 1023.68608de Luca, Aldo; Restivo, Antonio 3 1986 A generalized Ogden’s lemma for linear context-free languages. Zbl 1022.68568Boonyavatana, R.; Slutzki, G. 3 1986 A note on the paper “Systolic tree acceptors” by K. Culik II, A. Salomaa, D. Wood. Zbl 1022.68570Fachini, Emanuela; Iania, Lorenzo 3 1986 A sketch of collage grammars. Zbl 1023.68591Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 3 1993 Platonism, constructivism, and computer proofs vs. proofs by hand. Zbl 1026.03503Gurevich, Yuri 3 1995 LOMAPS. Logical and operational methods in the analysis of programs and systems. Zbl 1030.68561Nielson, Flemming 3 1996 On regularity-preserving functions. Zbl 1026.68573Kozen, Dexter 3 1996 A bibliography on fuzzy automata, grammars and languages. Zbl 1026.68500Asveld, Peter R. J. 3 1996 The structural complexity column - The collapsing hierarchies. Zbl 0661.68047Hartmanis, Juris 2 1987 The formal languages column - PLAYFAIR. Zbl 0661.68072Salomaa, Arto 2 1987 Pomset semantics is consistent with data flow semantics. Zbl 0663.68015Rabinovich, Alexander 2 1987 Compatible graph properties are decidable for hyperedge replacement graph languages. Zbl 0664.68076Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter 2 1987 Do-it-yourself type theory. II. Zbl 0669.68012Backhouse, Roland; Chisholm, Paul; Malcolm, Grant 2 1988 Automata on infinite trees and Kleene closure of regular tree sets. Zbl 0669.68039Nivat, M.; Saoudi, A. 2 1988 Generating functions of trace languages. Zbl 0681.68096Bertoni, A.; Sabadini, N. 2 1988 Abstract state machines 1988-1998: Commented ASM bibliography. Zbl 0901.68130Börger, Egon; Huggins, James K. 2 1998 Abstract state machines 1988-1998: Commented ASM bibliography. Zbl 0901.68130Börger, Egon; Huggins, James K. 2 1998 The complexity of propositional proofs. Zbl 0912.03026Urquhart, Alasdair 2 1998 On slender languages. Zbl 0898.68042Honkala, Juha 2 1998 A threshold property concerning words containing all short factors. Zbl 0897.68080Tomescu, Ioan 2 1998 Recent advances towards proving \(P=BPP\). Zbl 0898.68028Clementi, Andrea E. F.; Rolim, José D. P.; Trevisan, Luca 1 1998 DNA computing: A survey. Zbl 0897.68045Pisanti, Nadia 1 1998 A tutorial on (co)algebras and (co)induction. Zbl 0880.68070Jacobs, Bart; Rutten, Jan 104 1997 Lindenmayer and DNA: Watson-Crick D0L systems. Zbl 0880.68075Mihalache, Valeria; Salomaa, Arto 10 1997 More infinite results. Zbl 0887.68035Burkart, Olaf; Esparza, Javier 7 1997 Morphisms and primitivity. Zbl 0874.68174Păun, Gheorghe; Thierrin, Gabriel 4 1997 Generalized quantifiers. Zbl 0880.68061Väänänen, Jouko 4 1997 An introduction to query order. Zbl 0889.68061Hemaspaandra, Edith; Hemaspaandra, Lane A.; Hempel, Harald 4 1997 From invariants to canonization. Zbl 0886.68065Gurevich, Yuri 2 1997 The set of Lyndon words is not context-free. Zbl 0888.68077Berstel, Jean; Boasson, Luc 2 1997 Nondeterministic systems and finite substitutions on regular language. Zbl 0886.68089Lisovik, Leonid P. 2 1997 Accepting cooperating distributed grammar systems with terminal derivation. Zbl 0876.68070Mihalache, Valeria 1 1997 Some remarks on morphisms and primitivity. Zbl 0887.68062Mitrana, Victor 1 1997 Do the zeros of Riemann’s zeta-function form a random sequence? Zbl 0922.11073Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr 1 1997 Paradise lost, or paradise regained? Zbl 0907.03026Bridges, Douglas; Dediu, Luminiţa 1 1997 Herbrand’s theorem and equational reasoning: Problems and solutions. Zbl 0866.68102Degtyarev, Anatoli; Gurevich, Yuri; Voronkov, Andrei 5 1996 Two axiomatizations of a star semiring quasi-variety. Zbl 0856.08009Bloom, Stephen L.; Ésik, Zoltán 3 1996 Structure in the Kolakoski sequence. Zbl 0856.68064Steacy, Robert 3 1996 LOMAPS. Logical and operational methods in the analysis of programs and systems. Zbl 1030.68561Nielson, Flemming 3 1996 On regularity-preserving functions. Zbl 1026.68573Kozen, Dexter 3 1996 A bibliography on fuzzy automata, grammars and languages. Zbl 1026.68500Asveld, Peter R. J. 3 1996 On the equivalence problem of algebraic series with commuting variables. Zbl 0856.68060Honkala, Juha 1 1996 On two different characterizations of bisimulation. Zbl 0856.68108Majster-Cederbaum, Mila; Roggenbach, Markus 1 1996 Reverse twin shuffles. Zbl 0875.68588Engelfriet, Joost 1 1996 Detecting and correcting operation errors of distributed systems. Zbl 1030.68531Pagnoni, Anastasia 1 1996 A foundation of computable analysis. Zbl 1027.03513Weihrauch, Klaus 13 1995 On the weight of computations. Zbl 0825.68389Hartmanis, Juris 8 1995 A trivial method of characterizing the family of recursively enumerable languages by scattered context grammars. Zbl 1030.68556Meduna, Alexander 7 1995 Platonism, constructivism, and computer proofs vs. proofs by hand. Zbl 1026.03503Gurevich, Yuri 3 1995 Return to patterns. Zbl 0825.68442Salomaa, Arto 2 1995 A predicate for separating language classes. Zbl 1030.68557Fernau, Henning 2 1995 Splicing. A challenge for formal language theorists. Zbl 1030.68560Păun, Gheorghe 2 1995 Program-size complexity computes the halting problem. Zbl 1027.03512Chaitin, G. J.; Arslanov, A.; Calude, C. 2 1995 All action-based behavioural equivalences are undecidable for labelled Petri nets. Zbl 1026.68572Jančar, Petr 1 1995 Digital search trees and basic hypergeometric functions. Zbl 1030.68547Prodinger, Helmut 1 1995 Linearity of client/server systems. Zbl 1030.68515Degli Antoni, G.; Cabianca, D.; Vaccari, M.; Benini, M.; Casablanca, F. 1 1995 Decidability issues for Petri nets. Zbl 0791.68123Esparza, Javier; Nielsen, Mogens 32 1994 The role of relativization in complexity theory. Zbl 0791.68062Fortnow, Lance 15 1994 What is branching time semantics and why to use it? Zbl 0810.68093van Glabbeek, R. J. 8 1994 Homotopy and concurrency. Zbl 0938.68605Gunawardena, Jeremy 7 1994 Marcus contextual grammars. Zbl 0791.68095Păun, Gheorghe 5 1994 Dynamic abstract data types: An informal proposal. Zbl 0810.68097Ehrig, Hartmut; Orejas, Fernando 5 1994 Logic on words. Zbl 0819.68081Pin, Jean-Eric 5 1994 Infinite (almost periodic) words, formal languages and dynamical systems. Zbl 0825.68388Marcus, Solomon; Păun, Gheorghe 5 1994 JACK: Just another concurrency kit. The integration project. Zbl 0938.68717Bouali, Amar; Gnesi, Stefania; Larosa, Salvatore 4 1994 Primitive words and languages associated to PCP. Zbl 0810.68090Lipponen, Marjo 3 1994 Patterns. Zbl 0825.68441Salomaa, Arto 2 1994 Type theory and programming. Zbl 0791.68017Coquand, Thierry; Nordström, Bengt; Smith, Jan M.; von Sydow, Björn 1 1994 Fundamental ideas of computer science. Zbl 0807.68003Schwill, Andreas 1 1994 An alternative formulation of Cocke-Younger-Kasami’s algorithm. Zbl 0810.68091Asveld, Peter R. J. 1 1994 A machine model for NP-approximation problems and the revenge of the Boolean hierarchy. Zbl 0825.68387Chang, Richard 1 1994 Knuth’s old sum – a survey. Zbl 0938.68670Prodinger, Helmut 1 1994 Dual systems of sequents and tableaux for many-valued logics. Zbl 0788.03029Baaz, Matthias; Fermüller, Christian G.; Zach, Richard 10 1993 Report on a SAT competition. Zbl 1023.68656Buro, Michael; Kleine Büning, Hans 10 1993 Finite variable logics. Zbl 0788.03051Hodkinson, Ian 9 1993 On thinness and slenderness of L languages. Zbl 1023.68607Dassow, Jürgen; Păun, Gheorghe; Salomaa, Arto 8 1993 Repetitions in the Kolakovski sequence. Zbl 1023.68604Capri, Arturo 6 1993 Petri nets: Fundamentals, essentials, consequences. Zbl 1023.68641Reisig, W. 6 1993 Decidability issues for infinite-state processes – a survey. Zbl 0783.68042Christensen, Søren; Hüttel, Hans 5 1993 Limited nondeterminism for pushdown automata. Zbl 1023.68621Salomaa, Kai; Yu, Sheng 5 1993 How much Thue is Kolakovski? Zbl 1023.68617Păun, Gheorghe 5 1993 Anatomy of conflicts. Zbl 1023.68677Pawlak, Zdzisław 4 1993 Randomness in arithmetic and the decline and fall of reductionism in pure mathematics. Zbl 1023.68589Chaitin, G. J. 4 1993 A simple proof of sufficient conditions for the termination of the disjoint union of term rewriting systems. Zbl 1023.68598Ohlebusch, Enno 4 1993 A sketch of collage grammars. Zbl 1023.68591Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 3 1993 Algebraic high-level net transformation systems: A survey over theory and applications. Zbl 0785.68064Padberg, Julia 2 1993 A ProCoS II project description: ESPRIT basic research project 7071. Zbl 1023.68503Bowen, Jonathan 2 1993 Remarks concerning self-reading sequences. Zbl 1023.68618Păun, Gheorghe; Salomaa, Arto 2 1993 On specialization hierarchies of mutable objects. Zbl 1023.68520Maung, I. 2 1993 Some remarks on Păun-Salomaa sequences. Zbl 1023.68614Mitrana, Victor 2 1993 Recent progress in information-based complexity. Zbl 0783.68062Traub, J. F.; Woźniakowski, H. 1 1993 Morphisms and rational transducers. Zbl 0848.68055Harju, T.; Kleijn, H. C. M. 1 1993 Insertion operations: Closure properties. Zbl 0787.68061Kari, Lila 1 1993 Limiting the team size in cooperating grammar systems. Zbl 0782.68071Csuhaj-Varjú, Erzsebet; Pǎun, Gheorge 1 1993 On the impact of forgetting on learning machines. Zbl 0783.68101Freivalds, Rūsiņš; Kinber, Efim; Smith, Carl H. 1 1993 A codification of column-convex polyominoes which generates a regular language. Zbl 1023.68609Domocos, Virgil; Hristea, Florentina 1 1993 A linear lower bound for the size of threshold circuits. Zbl 1023.68512Gröger, Hans Dietmar; Turán, Gy. 1 1993 A simple proof of sufficient conditions for the termination of the disjoint union of term rewriting systems. Zbl 1023.68599Ohlebusch, Enno 1 1993 Fairness. II. Zbl 1030.68565Priese, Lutz 1 1993 A simple lambda-term representing the predecessor function with respect to Church numerals. Zbl 1023.03526Urbanek, Friedrich 1 1993 On letter context-free languages revisited. Zbl 1023.68610Gvozdjak, Peter 1 1993 A note on Gupta’s binary tree codings. Zbl 1023.68545Mäkinen, Erkki 1 1993 A note about minimal non-deterministic automata. Zbl 0751.68038Arnold, A.; Dicky, A.; Nivat, M. 16 1992 On the Myhill-Nerode theorem for trees. Zbl 0757.68083Kozen, Dexter 15 1992 Concurrent versus sequential. The rough sets perspective. Zbl 1023.68640Pawlak, Zdzisław 8 1992 Decision problems concerning the thinness of D0L languages. Zbl 0803.68061Păun, Gheorghe; Salomaa, Arto 7 1992 For a rewrite system it is decidable whether the set of irreducible, ground terms is recognizable. Zbl 1023.68601Vágvölgyi, Sándor; Gilleron, Rémi 5 1992 Relativization: A revisionistic retrospective. Zbl 0746.68033Hartmanis, Juris; Chang, R.; Chari, S.; Ranjan, D.; Rohatgi, P. 4 1992 The ”3x + 1” problem and finite automata. Zbl 0757.68084Shallit, Jeffrey; Wilson, David 3 1992 Yet another cautionary note on conservative extensions: A simple case with a computing flavour. Zbl 0751.03013Veloso, Paulo A. S. 3 1992 Valence grammars on a free generated group. Zbl 0757.68073Mitrana, Victor 2 1992 On generalizations of the Nerode and Myhill theorems. Zbl 1030.68553Steinby, Magnus 2 1992 Games on infinite trees and automata with dead-ends. A new proof for the decidability of the monadic second order theory of two successors. Zbl 1030.03513Muchnik, An. A. 2 1992 Zero-one laws. Zbl 0754.03022Gurevich, Yuri 1 1992 Branching programs — An efficient data structure for computer-aided circuit design. Zbl 0751.68019Meinel, Christoph 1 1992 Some analytic techniques for the investigation of the asymptotic behaviour of tree parameters. Zbl 0761.05006Prodinger, Helmut 1 1992 ...and 120 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,376 Authors 15 Salomaa, Arto Kustaa 14 De Felice, Clelia 14 Karhumaki, Juhani 12 Bruyère, Véronique 12 de Luca, Aldo 12 Michel, Christian J. 11 Fernau, Henning 11 Harju, Tero 11 Păun, Gheorghe 10 Honkala, Juha 10 Vágvölgyi, Sándor 9 Restivo, Antonio 8 Pirillo, Giuseppe 7 Béal, Marie-Pierre 7 Carpi, Arturo 7 Hemaspaandra, Lane A. 7 Ilie, Lucian 7 Thierrin, Gabriel 7 Yu, Sheng 6 Blanchet-Sadri, Francine 6 Bonizzoni, Paola 6 Choffrut, Christian 6 Engelfriet, Joost 6 Ésik, Zoltán 6 Fülöp, Zoltán 6 Ito, Masami 6 Mateescu, Alexandru 6 Néraud, Jean 6 Perrin, Dominique 5 Anselmo, Marcella 5 Gurevich, Yuri 5 Jacobs, Bart 5 Jürgensen, Helmut 5 Latteux, Michel 5 Mayr, Richard M. 5 Mitrana, Victor 5 Montanari, Ugo G. 5 Rutten, Jan J. M. M. 5 Salomaa, Kai T. 5 Scedrov, Andre 5 Skowron, Andrzej 5 Vogler, Walter 5 Zhang, Liang 4 Berstel, Jean 4 Brzozowski, Janusz Antoni 4 Carton, Olivier 4 De Luca, Alessandro 4 Esparza, Javier 4 Fortnow, Lance J. 4 Frey, Gabriel 4 Holzer, Markus 4 Ibarra, Oscar H. 4 Kari, Lila 4 Lam, Nguyen Huong 4 Litovsky, Igor 4 Mauri, Giancarlo 4 Meduna, Alexander 4 Meinel, Christoph 4 Ogihara, Mitsunori 4 Otto, Friedrich 4 Raussen, Martin 4 Roşu, Grigore 4 Rozenberg, Grzegorz 4 Shin, Sujin 4 Shyr, Huei-Jan 4 Sokolova, Ana 4 Vaandrager, Frits W. 4 van Breugel, Franck 4 Weihrauch, Klaus 4 Wolter, Frank 4 Zizza, Rosalba 3 Arbab, Farhad 3 Atig, Mohamed Faouzi 3 Baeten, Jos C. M. 3 Birget, Jean-Camille 3 Boasson, Luc 3 Bodlaender, Hans L. 3 Bouyer, Patricia 3 Brlek, Srečko 3 Bucci, Michelangelo 3 Cai, Jin-Yi 3 Courcelle, Bruno 3 Csuhaj-Varjú, Erzsébet 3 Dassow, Jürgen 3 de Frutos-Escrig, David 3 Diaconescu, Răzvan 3 Eiter, Thomas 3 Fachini, Emanuela 3 Fagnot, Isabelle 3 Fraenkel, Aviezri Siegmund 3 Giammarresi, Dora 3 Goldblatt, Robert Ian 3 Gottlob, Georg 3 Kanovich, Max Iosifovich 3 Kiefer, Stefan 3 Klop, Jan Willem 3 Konstantinidis, Stavros 3 Krause, Matthias 3 Kucera, Antonin 3 Kurz, Alexander ...and 1,276 more Authors all top 5 Cited in 124 Journals 387 Theoretical Computer Science 54 Information and Computation 45 Information Processing Letters 36 Discrete Applied Mathematics 27 Journal of Computer and System Sciences 22 Acta Informatica 16 Formal Aspects of Computing 15 Discrete Mathematics 15 RAIRO. Theoretical Informatics and Applications 14 RAIRO. Informatique Théorique et Applications 11 Annals of Pure and Applied Logic 10 Journal of Automated Reasoning 9 Information Sciences 9 Mathematical Systems Theory 8 Fuzzy Sets and Systems 8 Algorithmica 8 Natural Computing 7 Journal of Combinatorial Theory. Series A 7 Advances in Applied Mathematics 7 Theory of Computing Systems 6 Journal of Symbolic Computation 6 Logical Methods in Computer Science 5 Artificial Intelligence 5 European Journal of Combinatorics 4 Applied Mathematics and Computation 4 Journal of Pure and Applied Algebra 4 International Journal of Approximate Reasoning 4 Applicable Algebra in Engineering, Communication and Computing 4 Computational Biology and Chemistry 4 Journal of Theoretical Biology 4 Journal of Logical and Algebraic Methods in Programming 3 Computers & Mathematics with Applications 3 Advances in Mathematics 3 Synthese 3 Annals of Operations Research 3 Computational Geometry 3 European Journal of Operational Research 3 Distributed Computing 3 Archive for Mathematical Logic 3 Journal of Applied Non-Classical Logics 3 Fundamenta Informaticae 3 The Journal of Logic and Algebraic Programming 3 RAIRO. Theoretical Informatics and Applications 2 Israel Journal of Mathematics 2 Journal of Philosophical Logic 2 Kybernetika 2 SIAM Journal on Computing 2 Science of Computer Programming 2 Journal of Complexity 2 Discrete & Computational Geometry 2 International Journal of Foundations of Computer Science 2 Discrete Event Dynamic Systems 2 Bulletin of the American Mathematical Society. New Series 2 Indagationes Mathematicae. New Series 2 Cybernetics and Systems Analysis 2 Computational Complexity 2 Formal Methods in System Design 2 Journal of Logic, Language and Information 2 Applied Categorical Structures 2 Mathematical Logic Quarterly (MLQ) 2 The Electronic Journal of Combinatorics 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Combinatorial Optimization 2 Journal of Applied Logic 2 Armenian Journal of Mathematics 1 Communications in Algebra 1 Communications on Pure and Applied Mathematics 1 International Journal of Theoretical Physics 1 Mathematical Methods in the Applied Sciences 1 Mathematical Notes 1 Chaos, Solitons and Fractals 1 The Mathematical Intelligencer 1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 1 Annales de l’Institut Fourier 1 Automatica 1 Demonstratio Mathematica 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Algebra 1 Journal of Optimization Theory and Applications 1 Journal of Soviet Mathematics 1 The Journal of Symbolic Logic 1 Mathematics and Computers in Simulation 1 Programming and Computer Software 1 Quarterly of Applied Mathematics 1 Studia Logica 1 Transactions of the American Mathematical Society 1 Zeitschrift für Analysis und ihre Anwendungen 1 Graphs and Combinatorics 1 Journal of Computer Science and Technology 1 New Generation Computing 1 International Journal of Parallel Programming 1 Mathematical and Computer Modelling 1 SIAM Journal on Discrete Mathematics 1 Random Structures & Algorithms 1 International Journal of Computational Geometry & Applications 1 MSCS. Mathematical Structures in Computer Science 1 Artificial Intelligence Review 1 Automation and Remote Control 1 Journal of Mathematical Sciences (New York) 1 Economic Theory ...and 24 more Journals all top 5 Cited in 34 Fields 901 Computer science (68-XX) 167 Mathematical logic and foundations (03-XX) 83 Information and communication theory, circuits (94-XX) 51 Combinatorics (05-XX) 45 Group theory and generalizations (20-XX) 28 Category theory; homological algebra (18-XX) 24 Biology and other natural sciences (92-XX) 23 General algebraic systems (08-XX) 21 Number theory (11-XX) 20 Operations research, mathematical programming (90-XX) 14 Dynamical systems and ergodic theory (37-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 12 Probability theory and stochastic processes (60-XX) 10 General topology (54-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 8 Convex and discrete geometry (52-XX) 8 Systems theory; control (93-XX) 7 Associative rings and algebras (16-XX) 7 Quantum theory (81-XX) 6 History and biography (01-XX) 6 Measure and integration (28-XX) 6 Algebraic topology (55-XX) 4 General and overarching topics; collections (00-XX) 4 Statistics (62-XX) 4 Numerical analysis (65-XX) 3 Commutative algebra (13-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Partial differential equations (35-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year