×

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

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

Publications by Year

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