×

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

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 J.
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

Publications by Year

Citations contained in zbMATH Open

220 Publications have been cited 1,121 times in 1,039 Documents Cited by Year
Trends in the theory of codes. Zbl 1022.94506
Berstel, J.; Perrin, D.
220
1986
A tutorial on (co)algebras and (co)induction. Zbl 0880.68070
Jacobs, Bart; Rutten, Jan
104
1997
The method of forcing for nondeterministic automata. Zbl 0664.68082
Szelepcsényi, Róbert
36
1987
Some classes of graphs with bounded treewidth. Zbl 0684.68047
Bodlaender, H. L.
36
1988
Decidability issues for Petri nets. Zbl 0791.68123
Esparza, Javier; Nielsen, Mogens
32
1994
Term rewriting systems: A tutorial. Zbl 0666.68025
Klop, Jan Willem
24
1987
A note about minimal non-deterministic automata. Zbl 0751.68038
Arnold, A.; Dicky, A.; Nivat, M.
15
1992
The role of relativization in complexity theory. Zbl 0791.68062
Fortnow, Lance
15
1994
On the Myhill-Nerode theorem for trees. Zbl 0757.68083
Kozen, Dexter
14
1992
Concurrency vs interleaving: An instructive example. Zbl 1023.68635
Castellano, Luca; De Michelis, Giorgio; Pomello, Lucia
14
1987
A foundation of computable analysis. Zbl 1027.03513
Weihrauch, Klaus
13
1995
An effective solution to the DOL periodicity problem in the binary case. Zbl 0678.68072
Seebold, Patrice
12
1988
Report on a SAT competition. Zbl 1023.68656
Buro, Michael; Kleine Büning, Hans
10
1993
Lindenmayer and DNA: Watson-Crick D0L systems. Zbl 0880.68075
Mihalache, Valeria; Salomaa, Arto
10
1997
Mechanizing inductive reasoning. Zbl 0744.68114
Kounalis, Emmanuel; Rusinowitch, Michaël
9
1990
Notations for rewriting. Zbl 0745.68115
Dershowitz, Nachum; Jouannaud, Jean-Pierre
9
1991
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
Sets without empty convex 6-gons. Zbl 1023.68686
Overmars, Mark; Scholten, Bertha; Vincent, Ingrid
9
1989
Finite variable logics. Zbl 0788.03051
Hodkinson, Ian
9
1993
Dual systems of sequents and tableaux for many-valued logics. Zbl 0788.03029
Baaz, Matthias; Fermüller, Christian G.; Zach, Richard
9
1993
On constructing obstruction sets of words. Zbl 0744.68074
Courcelle, Bruno
8
1991
Attacking the busy beaver 5. Zbl 0744.68043
Marxen, Heiner; Buntrock, Jürgen
8
1990
Confluent string rewriting and congruences. Zbl 1022.68565
Jantzen, M.
8
1986
On thinness and slenderness of L languages. Zbl 1023.68607
Dassow, Jürgen; Păun, Gheorghe; Salomaa, Arto
8
1993
Concurrent versus sequential. The rough sets perspective. Zbl 1023.68640
Pawlak, Zdzisław
8
1992
On the weight of computations. Zbl 0825.68389
Hartmanis, Juris
8
1995
What is branching time semantics and why to use it? Zbl 0810.68093
van Glabbeek, R. J.
8
1994
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
7
1991
Decision problems concerning the thinness of D0L languages. Zbl 0803.68061
Păun, Gheorghe; Salomaa, Arto
7
1992
Homotopy and concurrency. Zbl 0938.68605
Gunawardena, Jeremy
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
The non-existence of finite test sets for set-equivalence of finite substitutions. Zbl 1022.68573
Lawrence, J.
7
1986
A trivial method of characterizing the family of recursively enumerable languages by scattered context grammars. Zbl 1030.68556
Meduna, Alexander
7
1995
More infinite results. Zbl 0887.68035
Burkart, Olaf; Esparza, Javier
7
1997
Definite tree languages. Zbl 0676.68027
Heuter, Uschi
6
1988
A brief guide to linear logic. Zbl 0755.03005
Scedrov, A.
6
1990
Repetitions in the Kolakovski sequence. Zbl 1023.68604
Capri, Arturo
6
1993
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
On domains of tree transducers. Zbl 0676.68026
Fülöp, Z.; Vágvölgyi, S.
5
1988
Definite tree languages (cont’d). Zbl 0677.68066
Nivat, Maurice; Podelski, Andreas
5
1989
Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. Zbl 0679.68135
Courcelle, Bruno
5
1988
An undicdability result for regular languages and its applications to regulated rewriting. Zbl 0684.68090
Hinz, Friedhelm; Dassow, Jürgen
5
1989
Primality types of instances of the Post correspondence problem. Zbl 0744.68083
Salomaa, Arto; Salomaa, Kai; Yu, Sheng
5
1991
Evolving algebras. A tutorial introduction. Zbl 0757.68076
Gurevich, Yuri
5
1991
Counting hierarchies: Polynomial time and constant depth circuits. Zbl 0744.68052
Allender, Eric W.; Wagner, Klaus W.
5
1990
Evaluation of tools for the analysis of communicating systems. Zbl 0757.68054
Inverardi, Paola; Priami, Corrado
5
1991
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
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
Limited nondeterminism for pushdown automata. Zbl 1023.68621
Salomaa, Kai; Yu, Sheng
5
1993
How much Thue is Kolakovski? Zbl 1023.68617
Păun, Gheorghe
5
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
5
1992
Herbrand’s theorem and equational reasoning: Problems and solutions. Zbl 0866.68102
Degtyarev, Anatoli; Gurevich, Yuri; Voronkov, Andrei
5
1996
Decidability issues for infinite-state processes – a survey. Zbl 0783.68042
Christensen, Søren; Hüttel, Hans
5
1993
Marcus contextual grammars. Zbl 0791.68095
Păun, Gheorghe
5
1994
Dynamic abstract data types: An informal proposal. Zbl 0810.68097
Ehrig, Hartmut; Orejas, Fernando
5
1994
Atomic actions. Zbl 0684.68094
Boudol, Gérard
4
1989
Conservative extensions: A cautionary note. Zbl 0744.68095
Byers, Paddy; Pitt, David
4
1990
On the reconstruction of simple polygons. Zbl 0744.68130
Formann, Michael; Wöginger, Gerhard
4
1990
Relativization: A revisionistic retrospective. Zbl 0746.68033
Hartmanis, Juris; Chang, R.; Chari, S.; Ranjan, D.; Rohatgi, P.
4
1992
JACK: Just another concurrency kit. The integration project. Zbl 0938.68717
Bouali, Amar; Gnesi, Stefania; Larosa, Salvatore
4
1994
Anatomy of conflicts. Zbl 1023.68677
Pawlak, Zdzisław
4
1993
Randomness in arithmetic and the decline and fall of reductionism in pure mathematics. Zbl 1023.68589
Chaitin, G. J.
4
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
Morphisms and primitivity. Zbl 0874.68174
Păun, Gheorghe; Thierrin, Gabriel
4
1997
Some unsolved problems in modelling self-timed circuits using Petri Nets. Zbl 0669.68046
Tiusanen, Mikko
3
1988
Semi-commutation for place/transition systems. Zbl 0684.68079
Ochmański, Edward
3
1989
The challenger-solver game: Variations on the theme of \(P=NP\). Zbl 0759.68035
Gurevich, Yuri
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
Parallel communicating systems. Zbl 0745.68070
Santean, Lila
3
1990
Secret selling of secrets with several buyers. Zbl 0744.68041
Salomaa, Arto; Santean, Lila
3
1990
Notes on a star mystery. Zbl 0744.68080
Ochmaǹski, Edward
3
1990
Cooperating/distributed grammar systems: A link between formal languages and artificial intelligence. Zbl 0756.68069
Dassow, Jürgen; Kelemen, Jozef
3
1991
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
Memories of ADJ. Zbl 0709.68027
Goguen, Joseph A.
3
1989
Two axiomatizations of a star semiring quasi-variety. Zbl 0856.08009
Bloom, Stephen L.; Ésik, Zoltán
3
1996
Structure in the Kolakoski sequence. Zbl 0856.68064
Steacy, Robert
3
1996
On generalization of a conjecture of Ehrenfeucht. Zbl 1023.68608
de Luca, Aldo; Restivo, Antonio
3
1986
A generalized Ogden’s lemma for linear context-free languages. Zbl 1022.68568
Boonyavatana, R.; Slutzki, G.
3
1986
A note on the paper “Systolic tree acceptors” by K. Culik II, A. Salomaa, D. Wood. Zbl 1022.68570
Fachini, Emanuela; Iania, Lorenzo
3
1986
A sketch of collage grammars. Zbl 1023.68591
Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S.
3
1993
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
Generalized quantifiers. Zbl 0880.68061
Väänänen, Jouko
3
1997
An introduction to query order. Zbl 0889.68061
Hemaspaandra, Edith; Hemaspaandra, Lane A.; Hempel, Harald
3
1997
Primitive words and languages associated to PCP. Zbl 0810.68090
Lipponen, Marjo
3
1994
The structural complexity column - The collapsing hierarchies. Zbl 0661.68047
Hartmanis, Juris
2
1987
The formal languages column - PLAYFAIR. Zbl 0661.68072
Salomaa, Arto
2
1987
Pomset semantics is consistent with data flow semantics. Zbl 0663.68015
Rabinovich, Alexander
2
1987
Compatible graph properties are decidable for hyperedge replacement graph languages. Zbl 0664.68076
Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter
2
1987
Do-it-yourself type theory. II. Zbl 0669.68012
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant
2
1988
Automata on infinite trees and Kleene closure of regular tree sets. Zbl 0669.68039
Nivat, M.; Saoudi, A.
2
1988
Generating functions of trace languages. Zbl 0681.68096
Bertoni, A.; Sabadini, N.
2
1988
On the average performance of some algorithms for on-line bin-packing. Zbl 0744.68068
Gambosi, Giorgio; Postiglione, Alberto; Talamo, Maurizio
2
1990
Abstract state machines 1988-1998: Commented ASM bibliography. Zbl 0901.68130
Börger, Egon; Huggins, James K.
2
1998
The complexity of propositional proofs. Zbl 0912.03026
Urquhart, Alasdair
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
104
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
Morphisms and primitivity. Zbl 0874.68174
Păun, Gheorghe; Thierrin, Gabriel
4
1997
Generalized quantifiers. Zbl 0880.68061
Väänänen, Jouko
3
1997
An introduction to query order. Zbl 0889.68061
Hemaspaandra, Edith; Hemaspaandra, Lane A.; Hempel, Harald
3
1997
From invariants to canonization. Zbl 0886.68065
Gurevich, Yuri
2
1997
The set of Lyndon words is not context-free. Zbl 0888.68077
Berstel, Jean; Boasson, Luc
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
Paradise lost, or paradise regained? Zbl 0907.03026
Bridges, Douglas; Dediu, Luminiţa
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
3
1996
Structure in the Kolakoski sequence. Zbl 0856.68064
Steacy, Robert
3
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
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
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
A foundation of computable analysis. Zbl 1027.03513
Weihrauch, Klaus
13
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
Platonism, constructivism, and computer proofs vs. proofs by hand. Zbl 1026.03503
Gurevich, Yuri
3
1995
A predicate for separating language classes. Zbl 1030.68557
Fernau, Henning
2
1995
Splicing. A challenge for formal language theorists. Zbl 1030.68560
Păun, Gheorghe
2
1995
Program-size complexity computes the halting problem. Zbl 1027.03512
Chaitin, G. J.; Arslanov, A.; Calude, C.
2
1995
Return to patterns. Zbl 0825.68442
Salomaa, Arto
2
1995
All action-based behavioural equivalences are undecidable for labelled Petri nets. Zbl 1026.68572
Jančar, Petr
1
1995
Digital search trees and basic hypergeometric functions. Zbl 1030.68547
Prodinger, Helmut
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
32
1994
The role of relativization in complexity theory. Zbl 0791.68062
Fortnow, Lance
15
1994
What is branching time semantics and why to use it? Zbl 0810.68093
van Glabbeek, R. J.
8
1994
Homotopy and concurrency. Zbl 0938.68605
Gunawardena, Jeremy
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
Marcus contextual grammars. Zbl 0791.68095
Păun, Gheorghe
5
1994
Dynamic abstract data types: An informal proposal. Zbl 0810.68097
Ehrig, Hartmut; Orejas, Fernando
5
1994
JACK: Just another concurrency kit. The integration project. Zbl 0938.68717
Bouali, Amar; Gnesi, Stefania; Larosa, Salvatore
4
1994
Primitive words and languages associated to PCP. Zbl 0810.68090
Lipponen, Marjo
3
1994
Patterns. Zbl 0825.68441
Salomaa, Arto
2
1994
A machine model for NP-approximation problems and the revenge of the Boolean hierarchy. Zbl 0825.68387
Chang, Richard
1
1994
Knuth’s old sum – a survey. Zbl 0938.68670
Prodinger, Helmut
1
1994
Type theory and programming. Zbl 0791.68017
Coquand, Thierry; Nordström, Bengt; Smith, Jan M.; von Sydow, Björn
1
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
Report on a SAT competition. Zbl 1023.68656
Buro, Michael; Kleine Büning, Hans
10
1993
Finite variable logics. Zbl 0788.03051
Hodkinson, Ian
9
1993
Dual systems of sequents and tableaux for many-valued logics. Zbl 0788.03029
Baaz, Matthias; Fermüller, Christian G.; Zach, Richard
9
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
6
1993
Petri nets: Fundamentals, essentials, consequences. Zbl 1023.68641
Reisig, W.
6
1993
Limited nondeterminism for pushdown automata. Zbl 1023.68621
Salomaa, Kai; Yu, Sheng
5
1993
How much Thue is Kolakovski? Zbl 1023.68617
Păun, Gheorghe
5
1993
Decidability issues for infinite-state processes – a survey. Zbl 0783.68042
Christensen, Søren; Hüttel, Hans
5
1993
Anatomy of conflicts. Zbl 1023.68677
Pawlak, Zdzisław
4
1993
Randomness in arithmetic and the decline and fall of reductionism in pure mathematics. Zbl 1023.68589
Chaitin, G. J.
4
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 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
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
Algebraic high-level net transformation systems: A survey over theory and applications. Zbl 0785.68064
Padberg, Julia
2
1993
A codification of column-convex polyominoes which generates a regular language. Zbl 1023.68609
Domocos, Virgil; Hristea, Florentina
1
1993
A linear lower bound for the size of threshold circuits. Zbl 1023.68512
Grö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.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
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
Limiting the team size in cooperating grammar systems. Zbl 0782.68071
Csuhaj-Varjú, Erzsebet; Pǎun, Gheorge
1
1993
On the impact of forgetting on learning machines. Zbl 0783.68101
Freivalds, Rūsiņš; Kinber, Efim; Smith, Carl H.
1
1993
A note about minimal non-deterministic automata. Zbl 0751.68038
Arnold, A.; Dicky, A.; Nivat, M.
15
1992
On the Myhill-Nerode theorem for trees. Zbl 0757.68083
Kozen, Dexter
14
1992
Concurrent versus sequential. The rough sets perspective. Zbl 1023.68640
Pawlak, Zdzisław
8
1992
Decision problems concerning the thinness of D0L languages. Zbl 0803.68061
Păun, Gheorghe; Salomaa, Arto
7
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
5
1992
Relativization: A revisionistic retrospective. Zbl 0746.68033
Hartmanis, Juris; Chang, R.; Chari, S.; Ranjan, D.; Rohatgi, P.
4
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
Valence grammars on a free generated group. Zbl 0757.68073
Mitrana, Victor
2
1992
On generalizations of the Nerode and Myhill theorems. Zbl 1030.68553
Steinby, 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.03513
Muchnik, An. A.
2
1992
Zero-one laws. Zbl 0754.03022
Gurevich, Yuri
1
1992
Branching programs — An efficient data structure for computer-aided circuit design. Zbl 0751.68019
Meinel, Christoph
1
1992
Some analytic techniques for the investigation of the asymptotic behaviour of tree parameters. Zbl 0761.05006
Prodinger, Helmut
1
1992
...and 120 more Documents
all top 5

Cited by 1,362 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 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 Hemaspaandra, Lane A.
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,262 more Authors
all top 5

Cited in 124 Journals

387 Theoretical Computer Science
52 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 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 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 Archive for Mathematical Logic
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 SIAM Journal on Computing
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

Citations by Year