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: Journal; 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 Slutzki, Giora 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. ...and 337 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 226 Publications have been cited 1,284 times in 1,169 Documents Cited by ▼ Year ▼ Trends in the theory of codes. Zbl 1022.94506Berstel, J.; Perrin, D. 228 1986 A tutorial on (co)algebras and (co)induction. Zbl 0880.68070Jacobs, Bart; Rutten, Jan 113 1997 Some classes of graphs with bounded treewidth. Zbl 0684.68047Bodlaender, H. L. 44 1988 Decidability issues for Petri nets. Zbl 0791.68123Esparza, Javier; Nielsen, Mogens 44 1994 The method of forcing for nondeterministic automata. Zbl 0664.68082Szelepcsényi, Róbert 42 1987 Term rewriting systems: A tutorial. Zbl 0666.68025Klop, Jan Willem 38 1987 A note about minimal non-deterministic automata. Zbl 0751.68038Arnold, A.; Dicky, A.; Nivat, M. 18 1992 On the Myhill-Nerode theorem for trees. Zbl 0757.68083Kozen, Dexter 17 1992 Concurrency vs interleaving: An instructive example. Zbl 1023.68635Castellano, Luca; De Michelis, Giorgio; Pomello, Lucia 17 1987 The role of relativization in complexity theory. Zbl 0791.68062Fortnow, Lance 16 1994 Dual systems of sequents and tableaux for many-valued logics. Zbl 0788.03029Baaz, Matthias; Fermüller, Christian G.; Zach, Richard 15 1993 A foundation of computable analysis. Zbl 1027.03513Weihrauch, Klaus 15 1995 Notations for rewriting. Zbl 0745.68115Dershowitz, Nachum; Jouannaud, Jean-Pierre 14 1991 Report on a SAT competition. Zbl 1023.68656Buro, Michael; Kleine Büning, Hans 14 1993 Mechanizing inductive reasoning. Zbl 0744.68114Kounalis, Emmanuel; Rusinowitch, Michaël 12 1990 An effective solution to the DOL periodicity problem in the binary case. Zbl 0678.68072Seebold, Patrice 12 1988 On constructing obstruction sets of words. Zbl 0744.68074Courcelle, Bruno 11 1991 Lindenmayer and DNA: Watson-Crick D0L systems. Zbl 0880.68075Mihalache, Valeria; Salomaa, Arto 10 1997 What is branching time semantics and why to use it? Zbl 0810.68093van Glabbeek, R. J. 10 1994 The non-existence of finite test sets for set-equivalence of finite substitutions. Zbl 1022.68573Lawrence, J. 10 1986 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 Attacking the busy beaver 5. Zbl 0744.68043Marxen, Heiner; Buntrock, Jürgen 9 1990 Finite variable logics. Zbl 0788.03051Hodkinson, Ian 9 1993 Confluent string rewriting and congruences. Zbl 1022.68565Jantzen, M. 9 1986 Sets without empty convex 6-gons. Zbl 1023.68686Overmars, Mark; Scholten, Bertha; Vincent, Ingrid 9 1989 Concurrent versus sequential. The rough sets perspective. Zbl 1023.68640Pawlak, Zdzisław 9 1992 Ground term rewriting rules for the word problem of ground term equations. Zbl 0757.68069Fülöp, Zoltán; Vágvölgyi, Sándor 8 1991 On the weight of computations. Zbl 0825.68389Hartmanis, Juris 8 1995 Homotopy and concurrency. Zbl 0938.68605Gunawardena, Jeremy 8 1994 Limited nondeterminism for pushdown automata. Zbl 1023.68621Salomaa, Kai; Yu, Sheng 8 1993 On thinness and slenderness of L languages. Zbl 1023.68607Dassow, Jürgen; Păun, Gheorghe; Salomaa, Arto 8 1993 A brief guide to linear logic. Zbl 0755.03005Scedrov, A. 7 1990 Decision problems concerning the thinness of D0L languages. Zbl 0803.68061Păun, Gheorghe; Salomaa, Arto 7 1992 Definite tree languages. Zbl 0676.68027Heuter, Uschi 7 1988 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 Marcus contextual grammars. Zbl 0791.68095Păun, Gheorghe 7 1994 Dynamic abstract data types: An informal proposal. Zbl 0810.68097Ehrig, Hartmut; Orejas, Fernando 7 1994 Repetitions in the Kolakovski sequence. Zbl 1023.68604Capri, Arturo 7 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 7 1992 A trivial method of characterizing the family of recursively enumerable languages by scattered context grammars. Zbl 1030.68556Meduna, Alexander 7 1995 Evolving algebras. A tutorial introduction. Zbl 0757.68076Gurevich, Yuri 6 1991 On domains of tree transducers. Zbl 0676.68026Fülöp, Z.; Vágvölgyi, S. 6 1988 Definite tree languages (cont’d). Zbl 0677.68066Nivat, Maurice; Podelski, Andreas 6 1989 An undicdability result for regular languages and its applications to regulated rewriting. Zbl 0684.68090Hinz, Friedhelm; Dassow, Jürgen 6 1989 Decidability issues for infinite-state processes – a survey. Zbl 0783.68042Christensen, Søren; Hüttel, Hans 6 1993 Petri nets: Fundamentals, essentials, consequences. Zbl 1023.68641Reisig, W. 6 1993 Primality types of instances of the Post correspondence problem. Zbl 0744.68083Salomaa, Arto; Salomaa, Kai; Yu, Sheng 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 Relativization: A revisionistic retrospective. Zbl 0746.68033Hartmanis, Juris; Chang, R.; Chari, S.; Ranjan, D.; Rohatgi, P. 5 1992 The structural complexity column - Some observations about relativization of space bounded computations. Zbl 0667.68062Hartmanis, Juris; Chang, R.; Kadin, J.; Mitchell, S. 5 1988 Atomic actions. Zbl 0684.68094Boudol, Gérard 5 1989 Herbrand’s theorem and equational reasoning: Problems and solutions. Zbl 0866.68102Degtyarev, Anatoli; Gurevich, Yuri; Voronkov, Andrei 5 1996 From invariants to canonization. Zbl 0886.68065Gurevich, Yuri 5 1997 Logic on words. Zbl 0819.68081Pin, Jean-Eric 5 1994 JACK: Just another concurrency kit. The integration project. Zbl 0938.68717Bouali, Amar; Gnesi, Stefania; Larosa, Salvatore 5 1994 Infinite (almost periodic) words, formal languages and dynamical systems. Zbl 0825.68388Marcus, Solomon; Păun, Gheorghe 5 1994 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 Anatomy of conflicts. Zbl 1023.68677Pawlak, Zdzisław 5 1993 How much Thue is Kolakovski? Zbl 1023.68617Păun, Gheorghe 5 1993 Conservative extensions: A cautionary note. Zbl 0744.68095Byers, Paddy; Pitt, David 4 1990 Parallel communicating systems. Zbl 0745.68070Santean, Lila 4 1990 On the reconstruction of simple polygons. Zbl 0744.68130Formann, Michael; Wöginger, Gerhard 4 1990 Some unsolved problems in modelling self-timed circuits using Petri Nets. Zbl 0669.68046Tiusanen, Mikko 4 1988 Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. Zbl 0679.68135Courcelle, Bruno 4 1988 Semi-commutation for place/transition systems. Zbl 0684.68079Ochmański, Edward 4 1989 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 Two axiomatizations of a star semiring quasi-variety. Zbl 0856.08009Bloom, Stephen L.; Ésik, Zoltán 4 1996 On generalization of a conjecture of Ehrenfeucht. Zbl 1023.68608de Luca, Aldo; Restivo, Antonio 4 1986 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 Program-size complexity computes the halting problem. Zbl 1027.03512Chaitin, G. J.; Arslanov, A.; Calude, C. 4 1995 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 Secret selling of secrets with several buyers. Zbl 0744.68041Salomaa, Arto; Santean, Lila 3 1990 Designing unification procedures using transformations: A survey. Zbl 0744.68112Gallier, Jean H.; Snyder, Wayne 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 Zero-one laws. Zbl 0754.03022Gurevich, Yuri 3 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 The logic in computer science column - topoi and computation. Zbl 0681.03044Blass, Andreas 3 1988 Memories of ADJ. Zbl 0709.68027Goguen, Joseph A. 3 1989 Structure in the Kolakoski sequence. Zbl 0856.68064Steacy, Robert 3 1996 Primitive words and languages associated to PCP. Zbl 0810.68090Lipponen, Marjo 3 1994 Knuth’s old sum – a survey. Zbl 0938.68670Prodinger, Helmut 3 1994 The complexity of propositional proofs. Zbl 0912.03026Urquhart, Alasdair 3 1998 Divergence of the Knuth-Bendix completion procedure and termination orderings. Zbl 1023.68595Lescanne, Pierre 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 On the decidability of quasi-reducibility. Zbl 1022.68566Kaplan, Stéphane; Choquer, Marianne 3 1986 A sketch of collage grammars. Zbl 1023.68591Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 3 1993 A linear lower bound for the size of threshold circuits. Zbl 1023.68512Gröger, Hans Dietmar; Turán, Gy. 3 1993 Esprit basic research action 6454 - CONFER: CONcurrency and Functions: Evaluation and Reduction. Zbl 1023.68517Lévy, Jean-Jacques; Thomsen, Bent; Leth, Lone; Giacalone, Alessandro 3 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. 3 1992 The complexity of propositional proofs. Zbl 0912.03026Urquhart, Alasdair 3 1998 Abstract state machines 1988-1998: Commented ASM bibliography. Zbl 0901.68130Börger, Egon; Huggins, James K. 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 113 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 From invariants to canonization. Zbl 0886.68065Gurevich, Yuri 5 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 The set of Lyndon words is not context-free. Zbl 0888.68077Berstel, Jean; Boasson, Luc 2 1997 Paradise lost, or paradise regained? Zbl 0907.03026Bridges, Douglas; Dediu, Luminiţa 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 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 4 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 Closure properties of ordered languages. Zbl 1030.68554Fernau, Henning 2 1996 Reverse twin shuffles. Zbl 0875.68588Engelfriet, Joost 1 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 Detecting and correcting operation errors of distributed systems. Zbl 1030.68531Pagnoni, Anastasia 1 1996 A foundation of computable analysis. Zbl 1027.03513Weihrauch, Klaus 15 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 Program-size complexity computes the halting problem. Zbl 1027.03512Chaitin, G. J.; Arslanov, A.; Calude, C. 4 1995 A predicate for separating language classes. Zbl 1030.68557Fernau, Henning 3 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 Splicing. A challenge for formal language theorists. Zbl 1030.68560Păun, Gheorghe 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 44 1994 The role of relativization in complexity theory. Zbl 0791.68062Fortnow, Lance 16 1994 What is branching time semantics and why to use it? Zbl 0810.68093van Glabbeek, R. J. 10 1994 Homotopy and concurrency. Zbl 0938.68605Gunawardena, Jeremy 8 1994 Marcus contextual grammars. Zbl 0791.68095Păun, Gheorghe 7 1994 Dynamic abstract data types: An informal proposal. Zbl 0810.68097Ehrig, Hartmut; Orejas, Fernando 7 1994 Logic on words. Zbl 0819.68081Pin, Jean-Eric 5 1994 JACK: Just another concurrency kit. The integration project. Zbl 0938.68717Bouali, Amar; Gnesi, Stefania; Larosa, Salvatore 5 1994 Infinite (almost periodic) words, formal languages and dynamical systems. Zbl 0825.68388Marcus, Solomon; Păun, Gheorghe 5 1994 Primitive words and languages associated to PCP. Zbl 0810.68090Lipponen, Marjo 3 1994 Knuth’s old sum – a survey. Zbl 0938.68670Prodinger, Helmut 3 1994 Type theory and programming. Zbl 0791.68017Coquand, Thierry; Nordström, Bengt; Smith, Jan M.; von Sydow, Björn 2 1994 Patterns. Zbl 0825.68441Salomaa, Arto 2 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 Dual systems of sequents and tableaux for many-valued logics. Zbl 0788.03029Baaz, Matthias; Fermüller, Christian G.; Zach, Richard 15 1993 Report on a SAT competition. Zbl 1023.68656Buro, Michael; Kleine Büning, Hans 14 1993 Finite variable logics. Zbl 0788.03051Hodkinson, Ian 9 1993 Limited nondeterminism for pushdown automata. Zbl 1023.68621Salomaa, Kai; Yu, Sheng 8 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 7 1993 Decidability issues for infinite-state processes – a survey. Zbl 0783.68042Christensen, Søren; Hüttel, Hans 6 1993 Petri nets: Fundamentals, essentials, consequences. Zbl 1023.68641Reisig, W. 6 1993 Anatomy of conflicts. Zbl 1023.68677Pawlak, Zdzisław 5 1993 How much Thue is Kolakovski? Zbl 1023.68617Păun, Gheorghe 5 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 A linear lower bound for the size of threshold circuits. Zbl 1023.68512Gröger, Hans Dietmar; Turán, Gy. 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 Algebraic programming in Opal. Zbl 1023.68629Fett, Andreas; Gerke, Carola; Grieskamp, Wolfgang; Pepper, Peter 1 1993 A codification of column-convex polyominoes which generates a regular language. Zbl 1023.68609Domocos, Virgil; Hristea, Florentina 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 rough set approach to real-time state identification. Zbl 1023.68678Skowron, Andrzej; Suraj, Zbigniew 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. 18 1992 On the Myhill-Nerode theorem for trees. Zbl 0757.68083Kozen, Dexter 17 1992 Concurrent versus sequential. The rough sets perspective. Zbl 1023.68640Pawlak, Zdzisław 9 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 7 1992 Relativization: A revisionistic retrospective. Zbl 0746.68033Hartmanis, Juris; Chang, R.; Chari, S.; Ranjan, D.; Rohatgi, P. 5 1992 Zero-one laws. Zbl 0754.03022Gurevich, Yuri 3 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 Esprit basic research action 6454 - CONFER: CONcurrency and Functions: Evaluation and Reduction. Zbl 1023.68517Lévy, Jean-Jacques; Thomsen, Bent; Leth, Lone; Giacalone, Alessandro 3 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. 3 1992 ...and 126 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,494 Authors 16 Karhumaki, Juhani 16 Salomaa, Arto Kustaa 14 De Felice, Clelia 13 Fernau, Henning 12 Bruyère, Véronique 12 de Luca, Aldo 12 Michel, Christian J. 12 Păun, Gheorghe 11 Harju, Tero 11 Vágvölgyi, Sándor 10 Honkala, Juha 9 Restivo, Antonio 8 Ésik, Zoltán 8 Pirillo, Giuseppe 7 Béal, Marie-Pierre 7 Carpi, Arturo 7 Hemaspaandra, Lane A. 7 Ilie, Lucian 7 Klop, Jan Willem 7 Mateescu, Alexandru 7 Skowron, Andrzej 7 Thierrin, Gabriel 7 Yu, Sheng 6 Blanchet-Sadri, Francine 6 Bonizzoni, Paola 6 Choffrut, Christian 6 Engelfriet, Joost 6 Esparza, Javier 6 Fülöp, Zoltán 6 Gurevich, Yuri 6 Ito, Masami 6 Jacobs, Bart 6 Mitrana, Victor 6 Néraud, Jean 6 Perrin, Dominique 6 Salomaa, Kai T. 5 Anselmo, Marcella 5 Hofbauer, Dieter 5 Holzer, Markus 5 Jürgensen, Helmut 5 Kari, Lila 5 Kiefer, Stefan 5 Latteux, Michel 5 Mayr, Richard M. 5 Meinel, Christoph 5 Montanari, Ugo G. 5 Rozenberg, Grzegorz 5 Rutten, Jan J. M. M. 5 Scedrov, Andre 5 Vogler, Walter 5 Zhang, Liang 4 Berstel, Jean 4 Bodlaender, Hans L. 4 Brzozowski, Janusz Antoni 4 Carton, Olivier 4 Dassow, Jürgen 4 De Luca, Alessandro 4 Dershowitz, Nachum 4 Fortnow, Lance J. 4 Frey, Gabriel 4 Ibarra, Oscar H. 4 Kutrib, Martin 4 Lam, Nguyen Huong 4 Lautemann, Clemens 4 Leroux, Jérôme 4 Litovsky, Igor 4 Mauri, Giancarlo 4 Meduna, Alexander 4 Ogihara, Mitsunori 4 Otto, Friedrich 4 Plandowski, Wojciech 4 Raussen, Martin 4 Roşu, Grigore 4 Shin, Sujin 4 Shyr, Huei-Jan 4 Sokolova, Ana 4 Vaandrager, Frits W. 4 van Breugel, Franck 4 Weihrauch, Klaus 4 Wißmann, Thorsten 4 Wolter, Frank 4 Zizza, Rosalba 3 Arbab, Farhad 3 Atig, Mohamed Faouzi 3 Baeten, Jos C. M. 3 Berger, Ulrich 3 Birget, Jean-Camille 3 Blass, Andreas Raphael 3 Boasson, Luc 3 Bouhoula, Adel 3 Bouyer, Patricia 3 Bowen, Jonathan P. 3 Brlek, Srečko 3 Bucci, Michelangelo 3 Cai, Jin-Yi 3 Chatterjee, Krishnendu 3 Courcelle, Bruno 3 Csuhaj-Varjú, Erzsébet 3 de Frutos-Escrig, David 3 Diaconescu, Răzvan ...and 1,394 more Authors all top 5 Cited in 129 Journals 392 Theoretical Computer Science 57 Information and Computation 45 Information Processing Letters 37 Discrete Applied Mathematics 27 Journal of Computer and System Sciences 23 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 Information Sciences 10 Journal of Automated Reasoning 9 Mathematical Systems Theory 9 Logical Methods in Computer Science 8 Artificial Intelligence 8 Fuzzy Sets and Systems 8 Advances in Applied Mathematics 8 Natural Computing 7 Journal of Combinatorial Theory. Series A 7 Algorithmica 7 Theory of Computing Systems 6 Journal of Symbolic Computation 5 European Journal of Combinatorics 4 Applied Mathematics and Computation 4 Journal of Pure and Applied Algebra 4 Synthese 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 Journal of Philosophical Logic 3 Graphs and Combinatorics 3 Annals of Operations Research 3 Computational Geometry 3 European Journal of Operational Research 3 Distributed Computing 3 Archive for Mathematical Logic 3 Computational Complexity 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 Kybernetika 2 SIAM Journal on Computing 2 Science of Computer Programming 2 Journal of Complexity 2 Discrete & Computational Geometry 2 MSCS. Mathematical Structures in Computer Science 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 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 Israel Journal of Mathematics 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 Quaestiones Mathematicae 1 Quarterly of Applied Mathematics 1 Studia Logica 1 Transactions of the American Mathematical Society 1 Zeitschrift für Analysis und ihre Anwendungen 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 Artificial Intelligence Review 1 Automation and Remote Control 1 Journal of Mathematical Sciences (New York) ...and 29 more Journals all top 5 Cited in 37 Fields 1,011 Computer science (68-XX) 193 Mathematical logic and foundations (03-XX) 88 Information and communication theory, circuits (94-XX) 58 Combinatorics (05-XX) 49 Group theory and generalizations (20-XX) 28 Category theory; homological algebra (18-XX) 26 General algebraic systems (08-XX) 25 Operations research, mathematical programming (90-XX) 24 Biology and other natural sciences (92-XX) 22 Number theory (11-XX) 16 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 15 Dynamical systems and ergodic theory (37-XX) 13 Probability theory and stochastic processes (60-XX) 11 Quantum theory (81-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 10 Associative rings and algebras (16-XX) 10 General topology (54-XX) 9 Systems theory; control (93-XX) 8 History and biography (01-XX) 7 Convex and discrete geometry (52-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) 2 Nonassociative rings and algebras (17-XX) 2 Special functions (33-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Sequences, series, summability (40-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year