×

zbMATH — the first resource for mathematics

Annales Societatis Mathematicae Polonae. Series IV

Fundamenta Informaticae

Short Title: Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf.
Publisher: IOS Press, Amsterdam
ISSN: 0169-2968
Successor: Fundamenta Informaticae
Comments: No longer indexed
Documents Indexed: 768 Publications (1977–1998)
all top 5

Authors

19 Rozenberg, Grzegorz
14 Păun, Gheorghe
12 Marek, V. Wiktor
12 Novotný, Miroslav
12 Winkowski, Jozef
10 Orłowska, Ewa S.
10 Skowron, Andrzej
10 Tiuryn, Jerzy
9 Bergstra, Jan A.
9 Danko, Wiktor
9 Mäkinen, Erkki
8 Mirkowska, Grazyna
8 Urzyczyn, Paweł
7 Michalewicz, Zbigniew
7 Pawlak, Zdzisław
7 Raś, Zbigniew W.
7 Rauszer, Cecylia M.
7 Szałas, Andrzej
6 Ehrenfeucht, Andrzej
6 Fitting, Melvin Chris
6 Moshkov, Mikhail Ju.
6 Skarbek, Władysław
6 Truszczyński, Mirosław
5 Apt, Krzysztof Rafal
5 Lipski, Witold jun.
5 Montanari, Ugo G.
5 Moser, Louise E.
5 Müldner, Tomasz
5 Polkowski, Lech T.
5 Rytter, Wojciech
5 Wasilewska, Anita
5 Ziarko, Wojciech P.
4 Blair, Howard A.
4 Burkhard, Hans-Dieter
4 Goeman, Henk J. M.
4 Gottlob, Georg
4 Grzymala-Busse, Jerzy W.
4 Janicki, Slawomir
4 Kleijn, H. C. M.
4 Konikowska, Beata
4 Maggiolo-Schettini, Andrea
4 Pettorossi, Alberto
4 Przymusinska, Halina
4 Przymusinski, Teodor C.
4 Ramakrishna, Y. S.
4 Stepaniuk, Jarosław
4 Trakhtenbrot, Boris Avraamovich
4 Vakarelov, Dimiter
4 Vermeir, Dirk
3 Blikle, Andrzej Jacek
3 Chakraborty, Mihir Kumar
3 Dassow, Jürgen
3 Dix, Jurgen
3 Gasarch, William Ian
3 Giordana, Attilio
3 Habel, Annegret
3 Hoogeboom, Hendrik Jan
3 Jaegermann, Michal
3 Janicki, Ryszard
3 Kari, Lila
3 Korczyńsky, Waldemar
3 Kowalczyk, Wojciech
3 Kutty, G.
3 Leitsch, Alexander
3 Melliar-Smith, P. Michael
3 Meyer, John-Jules Charles
3 Miglioli, Pierangelo
3 Orlicki, Andrzej
3 Salomaa, Kai T.
3 Salwicki, Andrzej
3 Skandalis, Kostas
3 Smith, Carl H.
3 Stewart, Iain A.
3 Subrahmanian, V. S.
3 Traczyk, Tadeusz
3 Vágvölgyi, Sándor
3 Velauthapillai, Mahendran
3 Zaionc, Marek
2 Aceto, Luca
2 Albert, Jürgen
2 Attardi, Giuseppe
2 Baeten, Jos C. M.
2 Banachowski, Lech
2 Banerjee, Mohua
2 Becker, Bernd
2 Besnard, Philippe
2 Best, Eike
2 Biskup, Joachim
2 Broy, Manfred
2 Bujosa, Andrés
2 Cadoli, Marco
2 Calude, Cristian S.
2 Chen, Jianhua
2 Chen, Keh-Hsun
2 Criado, Regino
2 Czaja, Ludwik
2 Czech, Zbigniew J.
2 Darondeau, Philippe
2 Degano, Pierpaolo
2 Dembinski, Piotr
...and 664 more Authors

Publications by Year

Citations contained in zbMATH Open

426 Publications have been cited 2,336 times in 1,959 Documents Cited by Year
Tolerance approximation spaces. Zbl 0868.68103
Skowron, Andrzej; Stepaniuk, Jaroslaw
163
1996
Syntax and defining equations for an interrupt mechanism in process algebra. Zbl 0617.68027
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
50
1986
Many-valued modal logics. Zbl 0745.03018
Fitting, Melvin C.
49
1991
On partial languages. Zbl 0468.68088
Grabowski, Jan
46
1981
Many-valued modal logics. II. Zbl 0772.03006
Fitting, Melvin
44
1992
Well-founded semantics coincides with three-valued stable semantics. Zbl 0706.68029
Przymusinski, Teodor
44
1990
Kleene’s three valued logics and their children. Zbl 0804.03016
Fitting, Melvin
43
1994
Termination of term rewriting by semantic labelling. Zbl 0839.68050
Zantema, H.
36
1995
A non-interleaving semantics for CCS based on proved transitions. Zbl 0657.68066
Boudol, Gérard; Castellani, Ilaria
33
1988
Behavior strutures and nets. Zbl 0657.68068
Rabinovich, A.; Trakhtenbrot, B. A.
32
1988
The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021
Arnold, Andre; Nivat, Maurice
31
1980
Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077
Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul
31
1998
An algebraic approach to the approximation of information. Zbl 0727.68114
Comer, Stephen D.
31
1991
Graph processes. Zbl 0854.68054
Corradini, A.; Montanari, U.; Rossi, F.
30
1996
Equational term graph rewriting. Zbl 0854.68049
Ariola, Zena M.; Klop, Jan Willem
26
1996
Rough sets through algebraic logic. Zbl 0864.03041
Banerjee, Mohua; Chakraborty, Mihir K.
24
1996
On Skolemization and proof complexity. Zbl 0815.03003
Baaz, Matthias; Leitsch, Alexander
23
1994
Petri nets, commutative context-free grammars, and basic parallel processes. Zbl 0882.68101
Esparza, Javier
22
1997
The rough sets theory and evidence theory. Zbl 0752.94023
Skowron, Andrzej
20
1990
Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044
Montanari, Ugo; Sassone, Vladimiro
20
1992
A new version of the rule induction system LERS. Zbl 0882.68122
Grzymala-Busse, Jerzy W.
20
1997
Regular tree languages and rewrite systems. Zbl 0839.68053
Gilleron, Rémy; Tison, Sophie
20
1995
Graph grammars with negative application conditions. Zbl 0854.68055
Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele
20
1996
Rough concept analysis: A synthesis of rough sets and formal concept analysis. Zbl 0861.68098
Kent, Robert E.
19
1996
Finite Markov chain results in evolutionary computation: A tour d’horizon. Zbl 0943.68060
Rudolph, Günter
18
1998
Timed possibilistic logic. Zbl 0745.03019
Dubois, Didier; Lang, Jérôme; Prade, Henri
17
1991
Operational, denotational and logical descriptions: A case study. Zbl 0762.68042
Egidi, Lavinia; Honsell, Furio; Ronchi Della Rocca, Simona
17
1992
The weakest prespecification. I. Zbl 0603.68009
Hoare, C. A. R.; He, Jifeng
16
1986
Logic programming on a topological bilattice. Zbl 0647.68096
Fitting, Melvin
16
1988
Abstract relations between restricted termination and confluence properties of rewrite systems. Zbl 0839.68047
Gramlich, Bernhard
16
1995
On some equivalence relations for probabilistic processes. Zbl 0766.68099
Huynh, Dung T.; Tian, Lu
14
1992
Tentative prune-and-search for computing fixed-points with applications to geometric computation. Zbl 0815.68119
Kirkpatrick, David; Snoeyink, Jack
14
1995
On the algebraization of some Gentzen systems. Zbl 0788.03006
Rebagliato, Jordi; Verdú, Ventura
14
1993
Ulam games, Łukasiewicz logic, and AF \(C^*\)-algebras. Zbl 0780.03030
Mundici, Daniele
13
1993
Lambda calculus characterizations of poly-time. Zbl 0781.68059
Leivant, Daniel; Marion, Jean-Yves
13
1993
Finite automata on transfinite sequences and regular expressions. Zbl 0573.68045
Wojciechowski, Jerzy
12
1985
A modal logic for similarity relations in Pawlak knowledge representation systems. Zbl 0737.68078
Vakarelov, Dimiter
12
1991
Convex distance functions in 3-space are different. Zbl 0815.68117
Icking, Christian; Klein, Rolf; Lê, Ngoc-Minh; Ma, Lihong
12
1995
A classification theory of semantics of normal logic programs. II: Weak properties. Zbl 0829.68022
Dix, Jürgen
12
1995
Rough sets and 3-valued Lukasiewicz logic. Zbl 0895.03007
Banerjee, Mohua
12
1997
Rough sets, rough relations and rough functions. Zbl 0854.04008
Pawlak, Zdzislaw
12
1996
Rough-set reasoning about uncertain data. Zbl 0854.68098
Slowiński, Roman; Stefanowski, Jerzy
12
1996
Comparison of rough-set and interval-set models for uncertain reasoning. Zbl 0858.68107
Yao, Y. Y.; Li, Xining
12
1996
A process specification formalism. Zbl 0705.68075
Mauw, S.; Veltink, G. J.
12
1990
Modelling nondeterministic concurrent processes with event structures. Zbl 0717.68028
Loogen, Rita; Goltz, Ursula
12
1991
The weakest prespecification, part II. Zbl 0627.68011
Hoare, C. A. R.; He, Jifeng
11
1986
Rough tolerance equality and tolerance black boxes. Zbl 0649.68115
Nieminen, Juhani
11
1988
Coinductive axiomatization of recursive type equality and subtyping. Zbl 0902.68105
Brandt, Michael; Henglein, Fritz
11
1998
On two-dimensional data organization. II. Zbl 0447.68110
Lipski, Witold jun.; Lodi, Elena; Luccio, Fabrizio; Mugnai, Cristina; Pagli, Linda
11
1979
Quasi-metrics and the semantics of logic programs. Zbl 0868.68021
Seda, Anthony Karel
11
1997
A simple algorithm and proof for type inference. Zbl 0645.03014
Wand, Mitchell
10
1987
Simplification orderings: History of results. Zbl 0839.68049
Steinbach, Joachim
10
1995
Two-dimensional finite state recognizability. Zbl 0843.68054
Giammarresi, Dora; Restivo, Antonio
10
1996
Rough sets and Nelson algebras. Zbl 0858.68110
Pagliani, Piero
10
1996
Arithmetic classification of perfect models of stratified programs. Zbl 0699.68112
Apt, Krzysztof R.; Blair, Howard A.
10
1990
Towards a new algebraic foundation of flowchart scheme theory. Zbl 0705.68071
Căzănescu, Virgil Emil; Ştefănescu, Gheorghe
10
1990
Jungle evaluation. Zbl 0706.68069
Habel, A.; Kreowski, H.-J.; Plump, D.
10
1991
Two streamlined depth-first search algorithms. Zbl 0591.68069
Tarjan, Robert Endre
9
1986
On the amount of nondeterminism in pushdown automata. Zbl 0528.68034
Vermeir, Dirk; Savitch, W. J.
9
1981
Algorithmic logic and its applications in the theory of programs. II. Zbl 0384.68010
Mirkowska, Grazyna
9
1977
Completions of ordered magmas. Zbl 0463.06005
Courcelle, Bruno; Raoult, Jean-Claude
9
1980
Easy terms in the lambda calculus. Zbl 0574.03005
Jacopini, Giuseppe; Venturini Zilli, Marisa
8
1985
Stable theories in autoepistemic logic. Zbl 0673.03016
Marek, W.
8
1989
Termination of graph rewriting is undecidable. Zbl 0903.68108
Plump, Detlef
8
1998
A classification theory of semantics of normal logic programs. I: Strong properties. Zbl 0829.68021
Dix, Jürgen
8
1995
Deciding clause classes by semantic clash resolution. Zbl 0789.03016
Leitsch, Alexander
8
1993
Substitution up to isomorphism. Zbl 0806.03043
Curien, P.-L.
8
1993
Metamathematics of contexts. Zbl 0844.03014
Buvač, Saša; Buvač, Vanja; Mason, Ian A.
8
1995
Towards an algebraic theory of context-free languages. Zbl 0843.68050
Berstel, J.; Boasson, L.
8
1996
On evolutionary exploration and exploitation. Zbl 0942.68548
Eiben, A. E.; Schippers, C. A.
8
1998
The algebra of synchronous processes. Zbl 0683.68024
Weijland, W. P.
8
1989
Topological model set deformations in logic programming. Zbl 0686.03013
Batarekh, Aida; Subrahmanian, V. S.
8
1989
Formalization of inheritance reasoning in autoepistemic logic. Zbl 0846.03011
Gelfond, Michael; Przymusinska, Halina
7
1990
On the classification and existence of structures in default logic. Zbl 0810.03019
Zhang, Aidong; Marek, Wiktor
7
1990
Unique decipherability for partially commutative alphabets. Zbl 0634.94014
Chrobak, Marek; Rytter, Wojciech
7
1987
A three-valued logic for software specification and validation. Zbl 0771.68087
Konikowska, Beata; Tarlecki, Andrzej; Blikle, Andrzej
7
1991
Epistemic entrenchment in autoepistemic logic. Zbl 0772.68089
Boutilier, Craig
7
1992
Formalising abilities and opportunities of agents. Zbl 0903.68045
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
7
1998
Disjunctive signed logic programs. Zbl 0927.68020
Khamsi, Mohamed A.; Misane, Driss
7
1997
Cut elimination for classical bilinear logic. Zbl 0817.03027
Lambek, J.
7
1995
Satisfiability of inequalities in a poset. Zbl 0863.68073
Pratt, Vaughan; Tiuryn, Jerzy
7
1996
Algebraic aspects of attribute dependencies in information systems. Zbl 0868.68052
Düntsch, Ivo; Gediga, Günther
7
1997
Fork algebras in algebra, logic and computer science. Zbl 0890.03036
Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M.
7
1997
On the undecidability of partial polymorphic type reconstruction. Zbl 0789.03017
Pfenning, Frank
7
1993
Time and duration in noninterleaving concurrency. Zbl 0785.68035
Murphy, David
7
1993
What is a nonmonotonic consequence relation? Zbl 0809.68107
Stalnaker, Robert
7
1994
The complexity of local stratification. Zbl 0938.68567
Cholak, Peter; Blair, Howard A.
7
1994
A default logic based on epistemic states. Zbl 0838.03021
Meyer, J.-J. Ch.; van der Hoek, W.
7
1995
Distributed concurrent constraint programming. Zbl 0943.68025
Réty, Jean-Hugues
7
1998
Algorithmic logic and its applications in the theory of programs. I. Zbl 0358.68036
Mirkowska, Grazyna
7
1977
Classes of transfinite sequences accepted by nondeterministic finite automata. Zbl 0553.68048
Wojciechowski, Jerzy
7
1984
Weakly stratified logic programs. Zbl 0699.68109
Przymusinska, Halina; Przymusinski, Teodor C.
7
1990
A classification and closure properties of languages for describing concurrent system behaviours. Zbl 0486.68074
Szijarto, Miklos
6
1981
Rough sets and information systems. Zbl 0546.68088
Marek, Wiktor; Pawlak, Zdzisław
6
1984
A problem on easy terms in \(\Lambda\)-calculus. Zbl 0751.03006
Intrigila, Benedetto
6
1991
History preserving, causal and mixed-ordering equivalence over stable event structures. Zbl 0767.68074
Aceto, Luca
6
1992
Fixed-points and algebras with infinitely long expressions. II. \(\mu\)- clones of regular algebras. Zbl 0436.68015
Tiuryn, Jerzy
6
1979
Algorithmic logic with nondeterministic programs. Zbl 0439.68024
Mirkowska, Grazyna
6
1980
Compatible tetrahedralizations. Zbl 0815.68113
Bern, Marshall
6
1995
Linear logic, comonads and optimal reductions. Zbl 0818.03007
Asperti, Andrea
6
1995
Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077
Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul
31
1998
Finite Markov chain results in evolutionary computation: A tour d’horizon. Zbl 0943.68060
Rudolph, Günter
18
1998
Coinductive axiomatization of recursive type equality and subtyping. Zbl 0902.68105
Brandt, Michael; Henglein, Fritz
11
1998
Termination of graph rewriting is undecidable. Zbl 0903.68108
Plump, Detlef
8
1998
On evolutionary exploration and exploitation. Zbl 0942.68548
Eiben, A. E.; Schippers, C. A.
8
1998
Formalising abilities and opportunities of agents. Zbl 0903.68045
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
7
1998
Distributed concurrent constraint programming. Zbl 0943.68025
Réty, Jean-Hugues
7
1998
A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms. Zbl 0930.68042
Dovier, Agostino; Policriti, Alberto; Rossi, Gianfranco
6
1998
Lambda abstraction algebras: Coordinatizing models of lambda calculus. Zbl 0909.03018
Pigozzi, Don; Salibra, Antonino
5
1998
Pattern extraction from data. Zbl 0903.68054
Nguyen, Sinh Hoa; Nguyen, Hung Son
5
1998
From optimal hyperplanes to optimal decision trees. Zbl 0903.68161
Nguyen, Hung Son
5
1998
On Scott consequence systems. Zbl 0904.03038
Dimov, Georgi; Vakarelov, Dimiter
4
1998
Computable approximations of reals: An information-theoretic analysis. Zbl 0902.68066
Calude, Cristian S.; Hertling, Peter H.
3
1998
Synchronization of a line of identical processors at a given time. Zbl 0908.68005
La Torre, Salvatore; Napoli, Margherita; Parente, Domenico.
3
1998
Remarks on operations suggested by mutations in genomes. Zbl 0930.68078
Dassow, Jürgen; Păun, Gheorghe
3
1998
Simple and minimal ground term equation systems. Zbl 0930.68071
Vágvölgyi, Sándor
3
1998
Building constraint satisfaction problem solvers using rewrite rules and strategies. Zbl 0943.68095
Castro, Carlos
3
1998
A proof theoretic view of constraint programming. Zbl 0947.68021
Apt, Krzysztof R.
3
1998
An overview of parameter control methods by self-adaptation in evolutionary algorithms. Zbl 0941.68817
Bäck, Thomas
3
1998
An axiomatic system of parametricity. Zbl 0949.03031
Takeuti, Izumi
2
1998
Automated deduction techniques for studying rough algebras. Zbl 0902.68182
Vigneron, Laurent
2
1998
The ground tree transducer game. Zbl 0903.68124
Vágvölgyi, Sándor
2
1998
Adding partial orders to linear temporal logic. Zbl 0930.68063
Bhat, Girish; Peled, Doron
2
1998
Rule-based constraint programming. Zbl 0943.68094
Kirchner, Claude; Ringeissen, Christophe
2
1998
An efficient parser for a class of contextual languages. Zbl 0902.68115
Gramatovici, Radu
1
1998
Generalized factors of words. Zbl 0902.68152
Ilie, Lucian
1
1998
Limits of pure grammars with monotone productions. Zbl 0902.68109
Martinek, Pavel
1
1998
Minimal-maximal time cause-effect structures. Zbl 0902.68138
Czaja, Ludwik
1
1998
CR-structures. Zbl 0908.68112
Schmitt, Vincent
1
1998
Parameterized structured operational semantics. Zbl 0904.68132
Ferrari, Gian Luigi; Montanari, Ugo
1
1998
General domain circumscription and its effective reductions. Zbl 0935.68066
Doherty, Patrick; Łukaszewicz, Witold; Szałas, Andrzej
1
1998
On the size of stack and synchronization alphabets of tree automata. Zbl 0935.68063
Rahonis, George; Salomaa, Kai
1
1998
Truth of duration calculus formulae in timed frames. Zbl 0930.68089
Middelburg, Kees A.
1
1998
Optimizations of rough set model. Zbl 0935.68104
Stepaniuk, Jaroslaw
1
1998
DNA computing: A review. Zbl 0941.68564
Deaton, Russell; Garzon, Max; Rose, John; Franceschetti, D. R.; Stevens, S. E. jun.
1
1998
Petri nets, commutative context-free grammars, and basic parallel processes. Zbl 0882.68101
Esparza, Javier
22
1997
A new version of the rule induction system LERS. Zbl 0882.68122
Grzymala-Busse, Jerzy W.
20
1997
Rough sets and 3-valued Lukasiewicz logic. Zbl 0895.03007
Banerjee, Mohua
12
1997
Quasi-metrics and the semantics of logic programs. Zbl 0868.68021
Seda, Anthony Karel
11
1997
Disjunctive signed logic programs. Zbl 0927.68020
Khamsi, Mohamed A.; Misane, Driss
7
1997
Algebraic aspects of attribute dependencies in information systems. Zbl 0868.68052
Düntsch, Ivo; Gediga, Günther
7
1997
Fork algebras in algebra, logic and computer science. Zbl 0890.03036
Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M.
7
1997
Modal tableaux with propagation rules and structural rules. Zbl 0926.03020
Castilho, Marcos A.; Fariñas del Cerro, Luis; Gasquet, Olivier; Herzig, Andreas
5
1997
Decision algorithms: A survey of rough set - theoretic methods. Zbl 0881.68053
Skowron, Andrzej; Polkowski, Lech
5
1997
Tree automata and automated model building. Zbl 0882.68094
Peltier, Nicolas
4
1997
Proposal for a theory of belief revision along the lines of Lindström and Rabinowicz. Zbl 0890.03011
Segerberg, Krister
4
1997
Graded consequence and some metalogical notions generalized. Zbl 0926.68065
Chakraborty, Mihir K.; Basu, Sanjukta
3
1997
Representation of residuated semigroups in some algebras of relations (the method of canonical models). Zbl 0876.03036
Buszkowski, Wojciech; Kołowska-Gawiejnowicz, Mirosława
3
1997
A convex powerdomain over lattices: its logic and \(\lambda\)-calculus. Zbl 0926.68023
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
2
1997
Unification: Nothing but the solution of a system of linear equations. Zbl 0926.68027
Bujosa, Andrés; Criado, Regino; Hernandez-Medina, Miguel A.
2
1997
How to interpret and establish consistency results for semantics of concurrent programming languages. Zbl 0870.68098
Baier, Christel; Majster-Cederbaum, Mila
2
1997
Asking questions versus verifiability. Zbl 0888.68105
Gasarch, William; Velauthapillai, Mahendran
2
1997
Some undecidability results for finitely generated Thue congruences on a two-letter alphabet. Zbl 0888.68079
Madlener, Klaus; Otto, Friedrich
2
1997
Complexity of recursive normal default logic. Zbl 0937.03038
Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.
2
1997
Rough set approximations of languages. Zbl 0891.68054
Pǎun, Gheorge; Polkowski, Lech; Skowron, Andrzej
2
1997
Well-founded semantics for default logic. Zbl 0902.03013
Brewka, Gerhard; Gottlob, Georg
2
1997
Bi-models: Relational versus domain-theoretic approaches. Zbl 0926.68024
Bucciarelli, Antonio
1
1997
An axiomatization for regular processes in timed branching bisimulation. Zbl 0926.68054
Fokkink, Wan
1
1997
Decision problems concerning a power series genealization of DT0L systems. Zbl 0920.68065
Honkala, Juha
1
1997
On definitional transformations to normal form for intuitionistic logic. Zbl 0871.03042
Egly, Uwe
1
1997
Atomicity and concurrency control in process calculi. Zbl 0870.68067
Ferrari, Gian-Luigi
1
1997
On the power of compositional proofs for nets: Relationships between completeness and modularity. Zbl 0883.68060
Trakhtenbrot, B. A.
1
1997
Deriving invariants and constraints from action theories. Zbl 0882.68139
Zhang, Yan; Foo, Norman Y.
1
1997
From dissemilattices to snack algebras. Zbl 0882.68057
Romanowska, Anna
1
1997
Directions and foldings on generalized trees. Zbl 0888.68091
Basarab, Şerban A.
1
1997
Pattern ambiguities for pure context-free grammars. Zbl 0881.68076
Mäkinen, Erkki; Ţiplea, Ferucio Laurenţiu
1
1997
Contingency tables as the foundation for concepts, concept hierarchies, and rules: The 49er system approach. Zbl 0881.68042
Żytkow, Jan M.; Zembowicz, Robert
1
1997
Bounds on average weighted depth of decision trees. Zbl 0888.68054
Moshkov, Mikhail; Chikalov, Igor
1
1997
An abstract approach to some loop detection problems. Zbl 0895.68021
Skordev, Dimiter
1
1997
Queries and algorithms computable by polynomial time existential reflective machines. Zbl 0892.68028
Tyszkiewicz, Jerzy
1
1997
The \(\zeta\)-semantics: A comprehensive semantics for functional programs. Zbl 0892.68060
Chitil, Olaf
1
1997
Modal logics for local and global similarity relations. Zbl 0906.03014
Deneva, Ana; Vakarelov, Dimiter
1
1997
Processes in cause-effect systems. Zbl 0892.68036
Maggiolo-Schettini, Andrea; Matteucci, Gionata
1
1997
Tolerance approximation spaces. Zbl 0868.68103
Skowron, Andrzej; Stepaniuk, Jaroslaw
163
1996
Graph processes. Zbl 0854.68054
Corradini, A.; Montanari, U.; Rossi, F.
30
1996
Equational term graph rewriting. Zbl 0854.68049
Ariola, Zena M.; Klop, Jan Willem
26
1996
Rough sets through algebraic logic. Zbl 0864.03041
Banerjee, Mohua; Chakraborty, Mihir K.
24
1996
Graph grammars with negative application conditions. Zbl 0854.68055
Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele
20
1996
Rough concept analysis: A synthesis of rough sets and formal concept analysis. Zbl 0861.68098
Kent, Robert E.
19
1996
Rough sets, rough relations and rough functions. Zbl 0854.04008
Pawlak, Zdzislaw
12
1996
Rough-set reasoning about uncertain data. Zbl 0854.68098
Slowiński, Roman; Stefanowski, Jerzy
12
1996
Comparison of rough-set and interval-set models for uncertain reasoning. Zbl 0858.68107
Yao, Y. Y.; Li, Xining
12
1996
Two-dimensional finite state recognizability. Zbl 0843.68054
Giammarresi, Dora; Restivo, Antonio
10
1996
Rough sets and Nelson algebras. Zbl 0858.68110
Pagliani, Piero
10
1996
Towards an algebraic theory of context-free languages. Zbl 0843.68050
Berstel, J.; Boasson, L.
8
1996
Satisfiability of inequalities in a poset. Zbl 0863.68073
Pratt, Vaughan; Tiuryn, Jerzy
7
1996
Computation of reducts of composed information systems. Zbl 0854.68097
Kryszkiewicz, Marzena; Rybinski, Henryk
6
1996
Theoretical foundations of order-based genetic algorithms. Zbl 0866.68043
Wróblewski, Jakub
5
1996
Text languages in an algebraic framework. Zbl 0843.68058
Hoogeboom, Hendrik Jan; ten Pas, Paulien
5
1996
A method in linguistic reasoning on a knowledge base representing by sentences with linguistic belief degree. Zbl 0866.68106
Nguyen Cat Ho
4
1996
First-order rough logic. I: Approximate reasoning via rough sets. Zbl 0853.03007
Lin, T. Y.; Liu, Qing
4
1996
Variable precision extension of rough sets. Zbl 0858.90084
Katzberg, Jack David; Ziarko, Wojciech
4
1996
Belief revision in non-monotonic reasoning and logic programming. Zbl 0865.68112
Alferes, José Júlio; Moniz Pereira, Luís; Przymusinski, Teodor C.
3
1996
Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
3
1996
Discovery of concurrent data models from experimental tables: A rough set approach. Zbl 0866.68028
Suraj, Zbigniew
3
1996
On a quantitative notion of uniformity. Zbl 0840.68043
Kaufmann, Susanne; Kummer, Martin
3
1996
On a power series generalization of ET0L languages. Zbl 0843.68051
Honkala, Juha; Kuich, Werner
3
1996
On synchronization languages. Zbl 0843.68055
Guo, L.; Salomaa, K.; Yu, S.
3
1996
A complete axiomatization for prefix iteration in branching bisimulation. Zbl 0846.68072
Fokkink, Wan
3
1996
Recursive models of general inductive types. Zbl 0846.68063
Fu, Yuxi
3
1996
...and 326 more Documents
all top 5

Cited by 2,433 Authors

19 Ésik, Zoltán
16 Corradini, Andrea
16 Montanari, Ugo G.
15 Bergstra, Jan A.
15 Marek, V. Wiktor
14 Aceto, Luca
14 Rozenberg, Grzegorz
14 Wu, Weizhi
13 Baldan, Paolo
13 Gadducci, Fabio
13 Vágvölgyi, Sándor
12 Chen, Degang
11 Fokkink, Willem Jan
11 Zhu, William
10 Baier, Christel
10 Klop, Jan Willem
10 Li, Jinjin
10 Mi, Jusheng
10 Ponse, Alban
10 Yao, Yiyu
9 Baaz, Matthias
9 Chakraborty, Mihir Kumar
9 Ciucci, Davide
9 Ingólfsdóttir, Anna
9 Majster-Cederbaum, Mila E.
9 Orłowska, Ewa S.
9 Priami, Corrado
9 Remmel, Jeffrey B.
9 Skowron, Andrzej
9 van Glabbeek, Robert Jan
9 Xu, Weihua
9 Zhang, Wenxiu
8 Ehrenfeucht, Andrzej
8 Eiter, Thomas
8 Honkala, Juha
8 Leitsch, Alexander
8 Li, Qingguo
8 Luttik, Bas
8 Peltier, Nicolas
8 Petrukhin, Yaroslav Igorevich
8 Truszczyński, Mirosław
8 Vogler, Walter
7 Degano, Pierpaolo
7 Dezani-Ciancaglini, Mariangiola
7 Droste, Manfred
7 Dubois, Didier
7 Düntsch, Ivo
7 Engelfriet, Joost
7 Gorrieri, Roberto
7 Hu, Baoqing
7 Katoen, Joost-Pieter
7 Li, Zhaowen
7 Orejas, Fernando
7 Qian, Yuhua
7 Ribeiro, Leila
7 Ronchi Della Rocca, Simona
7 Salibra, Antonino
7 Vakarelov, Dimiter
6 Avron, Arnon
6 Bonchi, Filippo
6 Bruni, Roberto
6 Cattaneo, Gianpiero
6 Dai, Jianhua
6 Ehrig, Hartmut
6 Finkel, Olivier
6 Godo, Lluís
6 Groote, Jan Friso
6 Heckel, Reiko
6 Hetzl, Stefan
6 König, Barbara
6 Lasota, Sławomir
6 Lin, Guoping
6 Lodaya, Kamal
6 Maggiolo-Schettini, Andrea
6 Middeldorp, Aart
6 Napoli, Margherita
6 Parisi-Presicce, Francesco
6 Przymusinski, Teodor C.
6 Reniers, Michel Adriaan
6 She, Yanhong
6 Struth, Georg
6 Subrahmanian, V. S.
6 Thiemann, René
6 Valencia, Frank D.
6 Wang, Changzhong
6 Wang, Pei
6 Xu, Yang
6 Zhang, Yanlan
5 Arieli, Ofer
5 Baratella, Stefano
5 Barequet, Gill
5 Bedon, Nicolas
5 Benevides, Mario R. F.
5 Bérard, Béatrice
5 Bernardo, Marco
5 Bloom, Stephen L.
5 Bonacina, Maria Paola
5 Boutilier, Craig
5 Cintula, Petr
5 Dassow, Jürgen
...and 2,333 more Authors
all top 5

Cited in 172 Journals

388 Theoretical Computer Science
115 Information Sciences
109 Information and Computation
72 International Journal of Approximate Reasoning
58 Artificial Intelligence
54 Studia Logica
46 Annals of Mathematics and Artificial Intelligence
44 Information Processing Letters
43 Fuzzy Sets and Systems
42 Journal of Computer and System Sciences
40 Annals of Pure and Applied Logic
31 Journal of Logical and Algebraic Methods in Programming
29 Soft Computing
28 Acta Informatica
25 The Journal of Logic and Algebraic Programming
23 Journal of Automated Reasoning
23 Formal Aspects of Computing
23 Journal of Applied Non-Classical Logics
17 Journal of Symbolic Computation
17 Computational Geometry
14 RAIRO. Theoretical Informatics and Applications
13 Journal of Philosophical Logic
13 European Journal of Operational Research
13 RAIRO. Informatique Théorique et Applications
12 Journal of Applied Logic
11 Archive for Mathematical Logic
10 Discrete & Computational Geometry
10 MSCS. Mathematical Structures in Computer Science
10 Theory and Practice of Logic Programming
9 Computers & Mathematics with Applications
9 Journal of Applied Mathematics
9 Logical Methods in Computer Science
8 Algorithmica
7 Discrete Applied Mathematics
7 Mathematical Problems in Engineering
6 Journal of Pure and Applied Algebra
6 Notre Dame Journal of Formal Logic
6 Journal of Computer Science and Technology
6 New Generation Computing
6 Formal Methods in System Design
6 Journal of Intelligent and Fuzzy Systems
6 Logica Universalis
5 Discrete Mathematics
5 Algebra Universalis
5 Kybernetika
5 Synthese
5 Journal of Logic, Language and Information
5 Journal of the Egyptian Mathematical Society
5 Theory of Computing Systems
4 Applied Mathematics and Computation
4 The Journal of Symbolic Logic
4 Mathematical Systems Theory
4 RAIRO, Informatique Théorique
4 Mathematical and Computer Modelling
4 Annals of Operations Research
4 Applicable Algebra in Engineering, Communication and Computing
4 Constraints
4 Logic and Logical Philosophy
4 Computer Science Review
3 Programming and Computer Software
3 Order
3 Real-Time Systems
3 Machine Learning
3 Distributed Computing
3 Applied Categorical Structures
3 Journal of Mathematical Sciences (New York)
3 Mathematical Logic Quarterly (MLQ)
3 Journal of Functional Programming
3 Journal of Heuristics
3 Higher-Order and Symbolic Computation
3 Sādhanā
3 ACM Transactions on Computational Logic
3 Journal of Discrete Algorithms
3 Fixed Point Theory and Applications
3 The Review of Symbolic Logic
3 Formalized Mathematics
3 RAIRO. Theoretical Informatics and Applications
2 Archiv für Mathematische Logik und Grundlagenforschung
2 International Journal of Computer & Information Sciences
2 Journal of Mathematical Psychology
2 Bulletin of the Section of Logic
2 Topology and its Applications
2 European Journal of Combinatorics
2 Mathematical Social Sciences
2 International Journal of Intelligent Systems
2 Linear Algebra and its Applications
2 Pattern Recognition
2 Cybernetics and Systems Analysis
2 Science in China. Series E
2 Abstract and Applied Analysis
2 Journal of Inequalities and Applications
2 Journal of Combinatorial Optimization
2 Erkenntnis
2 Fundamenta Informaticae
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 Journal of Applied Mathematics and Computing
2 Proceedings of the Steklov Institute of Mathematics
2 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
2 Symmetry
2 Fuzzy Information and Engineering
...and 72 more Journals
all top 5

Cited in 37 Fields

1,577 Computer science (68-XX)
663 Mathematical logic and foundations (03-XX)
110 Order, lattices, ordered algebraic structures (06-XX)
59 Category theory; homological algebra (18-XX)
51 General topology (54-XX)
47 Combinatorics (05-XX)
46 Operations research, mathematical programming (90-XX)
37 General algebraic systems (08-XX)
32 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
19 Information and communication theory, circuits (94-XX)
17 Group theory and generalizations (20-XX)
15 History and biography (01-XX)
14 Convex and discrete geometry (52-XX)
13 Numerical analysis (65-XX)
12 Biology and other natural sciences (92-XX)
11 Probability theory and stochastic processes (60-XX)
10 Statistics (62-XX)
8 Associative rings and algebras (16-XX)
6 Geometry (51-XX)
5 Functional analysis (46-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Measure and integration (28-XX)
3 General and overarching topics; collections (00-XX)
3 Field theory and polynomials (12-XX)
3 Real functions (26-XX)
3 Operator theory (47-XX)
3 Quantum theory (81-XX)
3 Systems theory; control (93-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Algebraic topology (55-XX)
1 Number theory (11-XX)
1 Commutative algebra (13-XX)
1 Ordinary differential equations (34-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Integral equations (45-XX)
1 Manifolds and cell complexes (57-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year