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 Kari, Lila 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 Degli Antoni, Giovanni 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 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 Salomaa, Kai T. 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 230 Publications have been cited 1,338 times in 1,218 Documents Cited by ▼ Year ▼ Trends in the theory of codes. Zbl 1022.94506 Berstel, J.; Perrin, D. 230 1986 A tutorial on (co)algebras and (co)induction. Zbl 0880.68070 Jacobs, Bart; Rutten, Jan 115 1997 Decidability issues for Petri nets. Zbl 0791.68123 Esparza, Javier; Nielsen, Mogens 46 1994 Some classes of graphs with bounded treewidth. Zbl 0684.68047 Bodlaender, H. L. 44 1988 The method of forcing for nondeterministic automata. Zbl 0664.68082 Szelepcsényi, Róbert 42 1987 Term rewriting systems: A tutorial. Zbl 0666.68025 Klop, Jan Willem 41 1987 A note about minimal non-deterministic automata. Zbl 0751.68038 Arnold, A.; Dicky, A.; Nivat, M. 18 1992 Notations for rewriting. Zbl 0745.68115 Dershowitz, Nachum; Jouannaud, Jean-Pierre 17 1991 On the Myhill-Nerode theorem for trees. Zbl 0757.68083 Kozen, Dexter 17 1992 The role of relativization in complexity theory. Zbl 0791.68062 Fortnow, Lance 17 1994 Concurrency vs interleaving: An instructive example. Zbl 1023.68635 Castellano, Luca; De Michelis, Giorgio; Pomello, Lucia 17 1987 Dual systems of sequents and tableaux for many-valued logics. Zbl 0788.03029 Baaz, Matthias; Fermüller, Christian G.; Zach, Richard 16 1993 A foundation of computable analysis. Zbl 1027.03513 Weihrauch, Klaus 15 1995 Mechanizing inductive reasoning. Zbl 0744.68114 Kounalis, Emmanuel; Rusinowitch, Michaël 14 1990 Report on a SAT competition. Zbl 1023.68656 Buro, Michael; Kleine Büning, Hans 14 1993 An effective solution to the DOL periodicity problem in the binary case. Zbl 0678.68072 Seebold, Patrice 12 1988 On constructing obstruction sets of words. Zbl 0744.68074 Courcelle, Bruno 12 1991 Concurrent versus sequential. The rough sets perspective. Zbl 1023.68640 Pawlak, Zdzisław 11 1992 Lindenmayer and DNA: Watson-Crick D0L systems. Zbl 0880.68075 Mihalache, Valeria; Salomaa, Arto 10 1997 Finite variable logics. Zbl 0788.03051 Hodkinson, Ian 10 1993 What is branching time semantics and why to use it? Zbl 0810.68093 van Glabbeek, R. J. 10 1994 The non-existence of finite test sets for set-equivalence of finite substitutions. Zbl 1022.68573 Lawrence, J. 10 1986 Homotopy and concurrency. Zbl 0938.68605 Gunawardena, Jeremy 9 1994 Advances in asynchronous circuit theory. II: Bounded inertial delay models, MOS circuits, design techniques. Zbl 0747.94024 Brzozowski, J. A.; Seger, C.-J. H. 9 1991 Attacking the busy beaver 5. Zbl 0744.68043 Marxen, Heiner; Buntrock, Jürgen 9 1990 Confluent string rewriting and congruences. Zbl 1022.68565 Jantzen, M. 9 1986 Sets without empty convex 6-gons. Zbl 1023.68686 Overmars, Mark; Scholten, Bertha; Vincent, Ingrid 9 1989 Limited nondeterminism for pushdown automata. Zbl 1023.68621 Salomaa, Kai; Yu, Sheng 9 1993 On the weight of computations. Zbl 0825.68389 Hartmanis, Juris 8 1995 Ground term rewriting rules for the word problem of ground term equations. Zbl 0757.68069 Fülöp, Zoltán; Vágvölgyi, Sándor 8 1991 Decision problems concerning the thinness of D0L languages. Zbl 0803.68061 Păun, Gheorghe; Salomaa, Arto 8 1992 Decidability issues for infinite-state processes – a survey. Zbl 0783.68042 Christensen, Søren; Hüttel, Hans 8 1993 On thinness and slenderness of L languages. Zbl 1023.68607 Dassow, Jürgen; Păun, Gheorghe; Salomaa, Arto 8 1993 For a rewrite system it is decidable whether the set of irreducible, ground terms is recognizable. Zbl 1023.68601 Vágvölgyi, Sándor; Gilleron, Rémi 8 1992 Definite tree languages. Zbl 0676.68027 Heuter, Uschi 7 1988 A trivial method of characterizing the family of recursively enumerable languages by scattered context grammars. Zbl 1030.68556 Meduna, Alexander 7 1995 JACK: Just another concurrency kit. The integration project. Zbl 0938.68717 Bouali, Amar; Gnesi, Stefania; Larosa, Salvatore 7 1994 Congruential tree languages are the same as recognizable tree languages - a proof for a theorem of D. Kozen. Zbl 0693.68046 Fülöp, Z.; Vágvölgyi, S. 7 1989 A brief guide to linear logic. Zbl 0755.03005 Scedrov, A. 7 1990 More infinite results. Zbl 0887.68035 Burkart, Olaf; Esparza, Javier 7 1997 Marcus contextual grammars. Zbl 0791.68095 Păun, Gheorghe 7 1994 Dynamic abstract data types: An informal proposal. Zbl 0810.68097 Ehrig, Hartmut; Orejas, Fernando 7 1994 Repetitions in the Kolakovski sequence. Zbl 1023.68604 Capri, Arturo 7 1993 On domains of tree transducers. Zbl 0676.68026 Fülöp, Z.; Vágvölgyi, S. 6 1988 Definite tree languages (cont’d). Zbl 0677.68066 Nivat, Maurice; Podelski, Andreas 6 1989 An undicdability result for regular languages and its applications to regulated rewriting. Zbl 0684.68090 Hinz, Friedhelm; Dassow, Jürgen 6 1989 Evolving algebras. A tutorial introduction. Zbl 0757.68076 Gurevich, Yuri 6 1991 Evaluation of tools for the analysis of communicating systems. Zbl 0757.68054 Inverardi, Paola; Priami, Corrado 6 1991 Petri nets: Fundamentals, essentials, consequences. Zbl 1023.68641 Reisig, W. 6 1993 The structural complexity column - Some observations about relativization of space bounded computations. Zbl 0667.68062 Hartmanis, Juris; Chang, R.; Kadin, J.; Mitchell, S. 5 1988 Atomic actions. Zbl 0684.68094 Boudol, Gérard 5 1989 Logic on words. Zbl 0819.68081 Pin, Jean-Eric 5 1994 Infinite (almost periodic) words, formal languages and dynamical systems. Zbl 0825.68388 Marcus, Solomon; Păun, Gheorghe 5 1994 The challenger-solver game: Variations on the theme of \(P=NP\). Zbl 0759.68035 Gurevich, Yuri 5 1989 Primality types of instances of the Post correspondence problem. Zbl 0744.68083 Salomaa, Arto; Salomaa, Kai; Yu, Sheng 5 1991 Parallel communicating systems. Zbl 0745.68070 Santean, Lila 5 1990 Counting hierarchies: Polynomial time and constant depth circuits. Zbl 0744.68052 Allender, Eric W.; Wagner, Klaus W. 5 1990 Relativization: A revisionistic retrospective. Zbl 0746.68033 Hartmanis, Juris; Chang, R.; Chari, S.; Ranjan, D.; Rohatgi, P. 5 1992 Herbrand’s theorem and equational reasoning: Problems and solutions. Zbl 0866.68102 Degtyarev, Anatoli; Gurevich, Yuri; Voronkov, Andrei 5 1996 From invariants to canonization. Zbl 0886.68065 Gurevich, Yuri 5 1997 Remarks on remarks on many-sorted equational logic. Zbl 1023.68630 Goguen, Joseph A.; Meseguer, José 5 1986 Nondeterminism, fairness and a fundamental analogy. Zbl 1030.68538 Spaan, Edith; Torenvliet, Leen; van Emde Boas, Peter 5 1989 Anatomy of conflicts. Zbl 1023.68677 Pawlak, Zdzisław 5 1993 Randomness in arithmetic and the decline and fall of reductionism in pure mathematics. Zbl 1023.68589 Chaitin, G. J. 5 1993 How much Thue is Kolakovski? Zbl 1023.68617 Păun, Gheorghe 5 1993 Some unsolved problems in modelling self-timed circuits using Petri Nets. Zbl 0669.68046 Tiusanen, Mikko 4 1988 Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. Zbl 0679.68135 Courcelle, Bruno 4 1988 Semi-commutation for place/transition systems. Zbl 0684.68079 Ochmański, Edward 4 1989 Program-size complexity computes the halting problem. Zbl 1027.03512 Chaitin, G. J.; Arslanov, A.; Calude, C. 4 1995 Conservative extensions: A cautionary note. Zbl 0744.68095 Byers, Paddy; Pitt, David 4 1990 Secret selling of secrets with several buyers. Zbl 0744.68041 Salomaa, Arto; Santean, Lila 4 1990 On the reconstruction of simple polygons. Zbl 0744.68130 Formann, Michael; Wöginger, Gerhard 4 1990 Cooperating/distributed grammar systems: A link between formal languages and artificial intelligence. Zbl 0756.68069 Dassow, Jürgen; Kelemen, Jozef 4 1991 Morphisms and primitivity. Zbl 0874.68174 Păun, Gheorghe; Thierrin, Gabriel 4 1997 Generalized quantifiers. Zbl 0880.68061 Väänänen, Jouko 4 1997 An introduction to query order. Zbl 0889.68061 Hemaspaandra, Edith; Hemaspaandra, Lane A.; Hempel, Harald 4 1997 Two axiomatizations of a star semiring quasi-variety. Zbl 0856.08009 Bloom, Stephen L.; Ésik, Zoltán 4 1996 On generalization of a conjecture of Ehrenfeucht. Zbl 1023.68608 de Luca, Aldo; Restivo, Antonio 4 1986 On the decidability of quasi-reducibility. Zbl 1022.68566 Kaplan, Stéphane; Choquer, Marianne 4 1986 A simple proof of sufficient conditions for the termination of the disjoint union of term rewriting systems. Zbl 1023.68598 Ohlebusch, Enno 4 1993 Esprit basic research action 6454 - CONFER: CONcurrency and Functions: Evaluation and Reduction. Zbl 1023.68517 Lévy, Jean-Jacques; Thomsen, Bent; Leth, Lone; Giacalone, Alessandro 4 1992 Compatible graph properties are decidable for hyperedge replacement graph languages. Zbl 0664.68076 Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter 3 1987 The logic in computer science column - topoi and computation. Zbl 0681.03044 Blass, Andreas 3 1988 The complexity of propositional proofs. Zbl 0912.03026 Urquhart, Alasdair 3 1998 A predicate for separating language classes. Zbl 1030.68557 Fernau, Henning 3 1995 Platonism, constructivism, and computer proofs vs. proofs by hand. Zbl 1026.03503 Gurevich, Yuri 3 1995 LOMAPS. Logical and operational methods in the analysis of programs and systems. Zbl 1030.68561 Nielson, Flemming 3 1996 On regularity-preserving functions. Zbl 1026.68573 Kozen, Dexter 3 1996 A bibliography on fuzzy automata, grammars and languages. Zbl 1026.68500 Asveld, Peter R. J. 3 1996 Knuth’s old sum – a survey. Zbl 0938.68670 Prodinger, Helmut 3 1994 Memories of ADJ. Zbl 0709.68027 Goguen, Joseph A. 3 1989 Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099 Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando 3 1991 Some remarks on conservative extensions: a Socratic dialogue. Zbl 0744.68103 Veloso, Paulo A. S.; Veloso, Sheila R. M. 3 1991 Designing unification procedures using transformations: A survey. Zbl 0744.68112 Gallier, Jean H.; Snyder, Wayne 3 1990 Notes on a star mystery. Zbl 0744.68080 Ochmaǹski, Edward 3 1990 Zero-one laws. Zbl 0754.03022 Gurevich, Yuri 3 1992 The “\(3x + 1\)” problem and finite automata. Zbl 0757.68084 Shallit, Jeffrey; Wilson, David 3 1992 Yet another cautionary note on conservative extensions: A simple case with a computing flavour. Zbl 0751.03013 Veloso, Paulo A. S. 3 1992 The set of Lyndon words is not context-free. Zbl 0888.68077 Berstel, Jean; Boasson, Luc 3 1997 Type theory and programming. Zbl 0791.68017 Coquand, Thierry; Nordström, Bengt; Smith, Jan M.; von Sydow, Björn 3 1994 The complexity of propositional proofs. Zbl 0912.03026 Urquhart, Alasdair 3 1998 Abstract state machines 1988-1998: Commented ASM bibliography. Zbl 0901.68130 Börger, Egon; Huggins, James K. 2 1998 On slender languages. Zbl 0898.68042 Honkala, Juha 2 1998 A threshold property concerning words containing all short factors. Zbl 0897.68080 Tomescu, Ioan 2 1998 Recent advances towards proving \(P=BPP\). Zbl 0898.68028 Clementi, Andrea E. F.; Rolim, José D. P.; Trevisan, Luca 1 1998 DNA computing: A survey. Zbl 0897.68045 Pisanti, Nadia 1 1998 A tutorial on (co)algebras and (co)induction. Zbl 0880.68070 Jacobs, Bart; Rutten, Jan 115 1997 Lindenmayer and DNA: Watson-Crick D0L systems. Zbl 0880.68075 Mihalache, Valeria; Salomaa, Arto 10 1997 More infinite results. Zbl 0887.68035 Burkart, Olaf; Esparza, Javier 7 1997 From invariants to canonization. Zbl 0886.68065 Gurevich, Yuri 5 1997 Morphisms and primitivity. Zbl 0874.68174 Păun, Gheorghe; Thierrin, Gabriel 4 1997 Generalized quantifiers. Zbl 0880.68061 Väänänen, Jouko 4 1997 An introduction to query order. Zbl 0889.68061 Hemaspaandra, Edith; Hemaspaandra, Lane A.; Hempel, Harald 4 1997 The set of Lyndon words is not context-free. Zbl 0888.68077 Berstel, Jean; Boasson, Luc 3 1997 Paradise lost, or paradise regained? Zbl 0907.03026 Bridges, Douglas; Dediu, Luminiţa 2 1997 Nondeterministic systems and finite substitutions on regular language. Zbl 0886.68089 Lisovik, Leonid P. 2 1997 Accepting cooperating distributed grammar systems with terminal derivation. Zbl 0876.68070 Mihalache, Valeria 1 1997 Some remarks on morphisms and primitivity. Zbl 0887.68062 Mitrana, Victor 1 1997 Do the zeros of Riemann’s zeta-function form a random sequence? Zbl 0922.11073 Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr 1 1997 Herbrand’s theorem and equational reasoning: Problems and solutions. Zbl 0866.68102 Degtyarev, Anatoli; Gurevich, Yuri; Voronkov, Andrei 5 1996 Two axiomatizations of a star semiring quasi-variety. Zbl 0856.08009 Bloom, Stephen L.; Ésik, Zoltán 4 1996 LOMAPS. Logical and operational methods in the analysis of programs and systems. Zbl 1030.68561 Nielson, Flemming 3 1996 On regularity-preserving functions. Zbl 1026.68573 Kozen, Dexter 3 1996 A bibliography on fuzzy automata, grammars and languages. Zbl 1026.68500 Asveld, Peter R. J. 3 1996 Structure in the Kolakoski sequence. Zbl 0856.68064 Steacy, Robert 3 1996 Closure properties of ordered languages. Zbl 1030.68554 Fernau, Henning 2 1996 Detecting and correcting operation errors of distributed systems. Zbl 1030.68531 Pagnoni, Anastasia 1 1996 Reverse twin shuffles. Zbl 0875.68588 Engelfriet, Joost 1 1996 On the equivalence problem of algebraic series with commuting variables. Zbl 0856.68060 Honkala, Juha 1 1996 On two different characterizations of bisimulation. Zbl 0856.68108 Majster-Cederbaum, Mila; Roggenbach, Markus 1 1996 A foundation of computable analysis. Zbl 1027.03513 Weihrauch, Klaus 15 1995 On the weight of computations. Zbl 0825.68389 Hartmanis, Juris 8 1995 A trivial method of characterizing the family of recursively enumerable languages by scattered context grammars. Zbl 1030.68556 Meduna, Alexander 7 1995 Program-size complexity computes the halting problem. Zbl 1027.03512 Chaitin, G. J.; Arslanov, A.; Calude, C. 4 1995 A predicate for separating language classes. Zbl 1030.68557 Fernau, Henning 3 1995 Platonism, constructivism, and computer proofs vs. proofs by hand. Zbl 1026.03503 Gurevich, Yuri 3 1995 Return to patterns. Zbl 0825.68442 Salomaa, Arto 2 1995 Digital search trees and basic hypergeometric functions. Zbl 1030.68547 Prodinger, Helmut 2 1995 Splicing. A challenge for formal language theorists. Zbl 1030.68560 Păun, Gheorghe 2 1995 All action-based behavioural equivalences are undecidable for labelled Petri nets. Zbl 1026.68572 Jančar, Petr 1 1995 Linearity of client/server systems. Zbl 1030.68515 Degli Antoni, G.; Cabianca, D.; Vaccari, M.; Benini, M.; Casablanca, F. 1 1995 Decidability issues for Petri nets. Zbl 0791.68123 Esparza, Javier; Nielsen, Mogens 46 1994 The role of relativization in complexity theory. Zbl 0791.68062 Fortnow, Lance 17 1994 What is branching time semantics and why to use it? Zbl 0810.68093 van Glabbeek, R. J. 10 1994 Homotopy and concurrency. Zbl 0938.68605 Gunawardena, Jeremy 9 1994 JACK: Just another concurrency kit. The integration project. Zbl 0938.68717 Bouali, Amar; Gnesi, Stefania; Larosa, Salvatore 7 1994 Marcus contextual grammars. Zbl 0791.68095 Păun, Gheorghe 7 1994 Dynamic abstract data types: An informal proposal. Zbl 0810.68097 Ehrig, Hartmut; Orejas, Fernando 7 1994 Logic on words. Zbl 0819.68081 Pin, Jean-Eric 5 1994 Infinite (almost periodic) words, formal languages and dynamical systems. Zbl 0825.68388 Marcus, Solomon; Păun, Gheorghe 5 1994 Knuth’s old sum – a survey. Zbl 0938.68670 Prodinger, Helmut 3 1994 Type theory and programming. Zbl 0791.68017 Coquand, Thierry; Nordström, Bengt; Smith, Jan M.; von Sydow, Björn 3 1994 Primitive words and languages associated to PCP. Zbl 0810.68090 Lipponen, Marjo 3 1994 A machine model for NP-approximation problems and the revenge of the Boolean hierarchy. Zbl 0825.68387 Chang, Richard 2 1994 Patterns. Zbl 0825.68441 Salomaa, Arto 2 1994 Fundamental ideas of computer science. Zbl 0807.68003 Schwill, Andreas 1 1994 An alternative formulation of Cocke-Younger-Kasami’s algorithm. Zbl 0810.68091 Asveld, Peter R. J. 1 1994 Dual systems of sequents and tableaux for many-valued logics. Zbl 0788.03029 Baaz, Matthias; Fermüller, Christian G.; Zach, Richard 16 1993 Report on a SAT competition. Zbl 1023.68656 Buro, Michael; Kleine Büning, Hans 14 1993 Finite variable logics. Zbl 0788.03051 Hodkinson, Ian 10 1993 Limited nondeterminism for pushdown automata. Zbl 1023.68621 Salomaa, Kai; Yu, Sheng 9 1993 Decidability issues for infinite-state processes – a survey. Zbl 0783.68042 Christensen, Søren; Hüttel, Hans 8 1993 On thinness and slenderness of L languages. Zbl 1023.68607 Dassow, Jürgen; Păun, Gheorghe; Salomaa, Arto 8 1993 Repetitions in the Kolakovski sequence. Zbl 1023.68604 Capri, Arturo 7 1993 Petri nets: Fundamentals, essentials, consequences. Zbl 1023.68641 Reisig, W. 6 1993 Anatomy of conflicts. Zbl 1023.68677 Pawlak, Zdzisław 5 1993 Randomness in arithmetic and the decline and fall of reductionism in pure mathematics. Zbl 1023.68589 Chaitin, G. J. 5 1993 How much Thue is Kolakovski? Zbl 1023.68617 Păun, Gheorghe 5 1993 A simple proof of sufficient conditions for the termination of the disjoint union of term rewriting systems. Zbl 1023.68598 Ohlebusch, Enno 4 1993 A sketch of collage grammars. Zbl 1023.68591 Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 3 1993 A linear lower bound for the size of threshold circuits. Zbl 1023.68512 Gröger, Hans Dietmar; Turán, Gy. 3 1993 Algebraic high-level net transformation systems: A survey over theory and applications. Zbl 0785.68064 Padberg, Julia 2 1993 Limiting the team size in cooperating grammar systems. Zbl 0782.68071 Csuhaj-Varjú, Erzsebet; Pǎun, Gheorge 2 1993 On the impact of forgetting on learning machines. Zbl 0783.68101 Freivalds, Rūsiņš; Kinber, Efim; Smith, Carl H. 2 1993 A ProCoS II project description: ESPRIT basic research project 7071. Zbl 1023.68503 Bowen, Jonathan 2 1993 Remarks concerning self-reading sequences. Zbl 1023.68618 Păun, Gheorghe; Salomaa, Arto 2 1993 A rough set approach to real-time state identification. Zbl 1023.68678 Skowron, Andrzej; Suraj, Zbigniew 2 1993 On specialization hierarchies of mutable objects. Zbl 1023.68520 Maung, I. 2 1993 Some remarks on Păun-Salomaa sequences. Zbl 1023.68614 Mitrana, Victor 2 1993 Recent progress in information-based complexity. Zbl 0783.68062 Traub, J. F.; Woźniakowski, H. 1 1993 Morphisms and rational transducers. Zbl 0848.68055 Harju, T.; Kleijn, H. C. M. 1 1993 Insertion operations: Closure properties. Zbl 0787.68061 Kari, Lila 1 1993 Algebraic programming in Opal. Zbl 1023.68629 Fett, Andreas; Gerke, Carola; Grieskamp, Wolfgang; Pepper, Peter 1 1993 A codification of column-convex polyominoes which generates a regular language. Zbl 1023.68609 Domocos, Virgil; Hristea, Florentina 1 1993 A simple proof of sufficient conditions for the termination of the disjoint union of term rewriting systems. Zbl 1023.68599 Ohlebusch, Enno 1 1993 Fairness. II. Zbl 1030.68565 Priese, Lutz 1 1993 A simple lambda-term representing the predecessor function with respect to Church numerals. Zbl 1023.03526 Urbanek, Friedrich 1 1993 On letter context-free languages revisited. Zbl 1023.68610 Gvozdjak, Peter 1 1993 A note on Gupta’s binary tree codings. Zbl 1023.68545 Mäkinen, Erkki 1 1993 A note about minimal non-deterministic automata. Zbl 0751.68038 Arnold, A.; Dicky, A.; Nivat, M. 18 1992 On the Myhill-Nerode theorem for trees. Zbl 0757.68083 Kozen, Dexter 17 1992 Concurrent versus sequential. The rough sets perspective. Zbl 1023.68640 Pawlak, Zdzisław 11 1992 Decision problems concerning the thinness of D0L languages. Zbl 0803.68061 Păun, Gheorghe; Salomaa, Arto 8 1992 For a rewrite system it is decidable whether the set of irreducible, ground terms is recognizable. Zbl 1023.68601 Vágvölgyi, Sándor; Gilleron, Rémi 8 1992 Relativization: A revisionistic retrospective. Zbl 0746.68033 Hartmanis, Juris; Chang, R.; Chari, S.; Ranjan, D.; Rohatgi, P. 5 1992 Esprit basic research action 6454 - CONFER: CONcurrency and Functions: Evaluation and Reduction. Zbl 1023.68517 Lévy, Jean-Jacques; Thomsen, Bent; Leth, Lone; Giacalone, Alessandro 4 1992 Zero-one laws. Zbl 0754.03022 Gurevich, Yuri 3 1992 The “\(3x + 1\)” problem and finite automata. Zbl 0757.68084 Shallit, Jeffrey; Wilson, David 3 1992 Yet another cautionary note on conservative extensions: A simple case with a computing flavour. Zbl 0751.03013 Veloso, Paulo A. S. 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.03513 Muchnik, An. A. 3 1992 ...and 130 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,557 Authors 16 Karhumaki, Juhani 16 Salomaa, Arto Kustaa 14 De Felice, Clelia 13 de Luca, Aldo 13 Fernau, Henning 12 Bruyère, Véronique 12 Michel, Christian J. 12 Păun, Gheorghe 11 Harju, Tero 11 Vágvölgyi, Sándor 10 Honkala, Juha 9 Restivo, Antonio 9 Skowron, Andrzej 8 Ésik, Zoltán 8 Klop, Jan Willem 8 Pirillo, Giuseppe 7 Béal, Marie-Pierre 7 Carpi, Arturo 7 Hemaspaandra, Lane A. 7 Ilie, Lucian 7 Mateescu, Alexandru 7 Thierrin, Gabriel 7 Yu, Sheng 6 Blanchet-Sadri, Francine 6 Bonizzoni, Paola 6 Choffrut, Christian 6 Engelfriet, Joost 6 Esparza, Javier 6 Gurevich, Yuri 6 Hofbauer, Dieter 6 Ito, Masami 6 Jacobs, Bart 6 Jürgensen, Helmut 6 Mitrana, Victor 6 Néraud, Jean 6 Perrin, Dominique 6 Salomaa, Kai T. 5 Anselmo, Marcella 5 Fülöp, Zoltán 5 Holzer, Markus 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 Csuhaj-Varjú, Erzsébet 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 Ohlebusch, Enno 4 Otto, Friedrich 4 Plandowski, Wojciech 4 Raussen, Martin 4 Roşu, Grigore 4 Rusinowitch, Michaël 4 Shin, Sujin 4 Shyr, Huei-Jan 4 Sokolova, Ana 4 Vaandrager, Frits W. 4 van Breugel, Franck 4 Vidal, Germán 4 Weihrauch, Klaus 4 Wißmann, Thorsten 4 Wolter, Frank 4 Yen, Hsuchun 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 ...and 1,457 more Authors all top 5 Cited in 130 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 Information Sciences 11 Annals of Pure and Applied Logic 10 Journal of Automated Reasoning 10 Logical Methods in Computer Science 9 Mathematical Systems Theory 9 Natural Computing 8 Artificial Intelligence 8 Fuzzy Sets and Systems 8 Advances in Applied Mathematics 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 Fundamenta Informaticae 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 Random Structures & Algorithms 3 Computational Geometry 3 European Journal of Operational Research 3 Distributed Computing 3 Archive for Mathematical Logic 3 Computational Complexity 3 Journal of Logic, Language and Information 3 Journal of Applied Non-Classical Logics 3 The Journal of Logic and Algebraic Programming 3 RAIRO. Theoretical Informatics and Applications 2 Communications in Algebra 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 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 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 Results in Mathematics 1 Semigroup Forum 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 International Journal of Computational Geometry & Applications 1 Artificial Intelligence Review ...and 30 more Journals all top 5 Cited in 37 Fields 1,053 Computer science (68-XX) 206 Mathematical logic and foundations (03-XX) 90 Information and communication theory, circuits (94-XX) 58 Combinatorics (05-XX) 50 Group theory and generalizations (20-XX) 29 Category theory; homological algebra (18-XX) 27 Operations research, mathematical programming (90-XX) 26 General algebraic systems (08-XX) 24 Biology and other natural sciences (92-XX) 23 Number theory (11-XX) 18 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 15 Dynamical systems and ergodic theory (37-XX) 15 Probability theory and stochastic processes (60-XX) 12 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 History and biography (01-XX) 9 Systems theory; control (93-XX) 8 Convex and discrete geometry (52-XX) 7 Algebraic topology (55-XX) 6 Measure and integration (28-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