×

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: Journal; 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 Maggiolo-Schettini, Andrea
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, Jetty
4 Konikowska, Beata
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 Dezani-Ciancaglini, Mariangiola
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
...and 659 more Authors

Publications by Year

Citations contained in zbMATH Open

444 Publications have been cited 3,003 times in 2,471 Documents Cited by Year
Tolerance approximation spaces. Zbl 0868.68103
Skowron, Andrzej; Stepaniuk, Jaroslaw
213
1996
Many-valued modal logics. Zbl 0745.03018
Fitting, Melvin C.
70
1991
On partial languages. Zbl 0468.68088
Grabowski, Jan
70
1981
Many-valued modal logics. II. Zbl 0772.03006
Fitting, Melvin
63
1992
Behavior strutures and nets. Zbl 0657.68068
Rabinovich, A.; Trakhtenbrot, B. A.
59
1988
Syntax and defining equations for an interrupt mechanism in process algebra. Zbl 0617.68027
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
57
1986
Kleene’s three valued logics and their children. Zbl 0804.03016
Fitting, Melvin
54
1994
Well-founded semantics coincides with three-valued stable semantics. Zbl 0706.68029
Przymusinski, Teodor
54
1990
Termination of term rewriting by semantic labelling. Zbl 0839.68050
Zantema, H.
49
1995
Rough sets through algebraic logic. Zbl 0864.03041
Banerjee, Mohua; Chakraborty, Mihir K.
46
1996
Graph processes. Zbl 0854.68054
Corradini, A.; Montanari, U.; Rossi, F.
42
1996
A non-interleaving semantics for CCS based on proved transitions. Zbl 0657.68066
Boudol, Gérard; Castellani, Ilaria
40
1988
Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077
Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul
39
1998
Graph grammars with negative application conditions. Zbl 0854.68055
Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele
36
1996
Equational term graph rewriting. Zbl 0854.68049
Ariola, Zena M.; Klop, Jan Willem
35
1996
The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021
Arnold, Andre; Nivat, Maurice
35
1980
An algebraic approach to the approximation of information. Zbl 0727.68114
Comer, Stephen D.
33
1991
Petri nets, commutative context-free grammars, and basic parallel processes. Zbl 0882.68101
Esparza, Javier
28
1997
On Skolemization and proof complexity. Zbl 0815.03003
Baaz, Matthias; Leitsch, Alexander
27
1994
Rough concept analysis: A synthesis of rough sets and formal concept analysis. Zbl 0861.68098
Kent, Robert E.
25
1996
A new version of the rule induction system LERS. Zbl 0882.68122
Grzymala-Busse, Jerzy W.
25
1997
Lambda calculus characterizations of poly-time. Zbl 0781.68059
Leivant, Daniel; Marion, Jean-Yves
24
1993
The rough sets theory and evidence theory. Zbl 0752.94023
Skowron, Andrzej
24
1990
Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044
Montanari, Ugo; Sassone, Vladimiro
24
1992
Rough sets and 3-valued Lukasiewicz logic. Zbl 0895.03007
Banerjee, Mohua
23
1997
Regular tree languages and rewrite systems. Zbl 0839.68053
Gilleron, Rémy; Tison, Sophie
22
1995
On the algebraization of some Gentzen systems. Zbl 0788.03006
Rebagliato, Jordi; Verdú, Ventura
22
1993
Finite Markov chain results in evolutionary computation: A tour d’horizon. Zbl 0943.68060
Rudolph, Günter
21
1998
A classification theory of semantics of normal logic programs. II: Weak properties. Zbl 0829.68022
Dix, Jürgen
19
1995
The weakest prespecification. I. Zbl 0603.68009
Hoare, C. A. R.; He, Jifeng
19
1986
Abstract relations between restricted termination and confluence properties of rewrite systems. Zbl 0839.68047
Gramlich, Bernhard
18
1995
Coinductive axiomatization of recursive type equality and subtyping. Zbl 0902.68105
Brandt, Michael; Henglein, Fritz
18
1998
A modal logic for similarity relations in Pawlak knowledge representation systems. Zbl 0737.68078
Vakarelov, Dimiter
18
1991
Timed possibilistic logic. Zbl 0745.03019
Dubois, Didier; Lang, Jérôme; Prade, Henri
18
1991
Operational, denotational and logical descriptions: A case study. Zbl 0762.68042
Egidi, Lavinia; Honsell, Furio; Ronchi Della Rocca, Simona
18
1992
Tentative prune-and-search for computing fixed-points with applications to geometric computation. Zbl 0815.68119
Kirkpatrick, David; Snoeyink, Jack
17
1995
Rough-set reasoning about uncertain data. Zbl 0854.68098
Slowiński, Roman; Stefanowski, Jerzy
17
1996
Rough sets, rough relations and rough functions. Zbl 0854.04008
Pawlak, Zdzislaw
17
1996
Logic programming on a topological bilattice. Zbl 0647.68096
Fitting, Melvin
17
1988
Modelling nondeterministic concurrent processes with event structures. Zbl 0717.68028
Loogen, Rita; Goltz, Ursula
17
1991
On some equivalence relations for probabilistic processes. Zbl 0766.68099
Huynh, Dung T.; Tian, Lu
16
1992
Ulam games, Łukasiewicz logic, and AF \(C^*\)-algebras. Zbl 0780.03030
Mundici, Daniele
15
1993
Convex distance functions in 3-space are different. Zbl 0815.68117
Icking, Christian; Klein, Rolf; Lê, Ngoc-Minh; Ma, Lihong
14
1995
A classification theory of semantics of normal logic programs. I: Strong properties. Zbl 0829.68021
Dix, Jürgen
14
1995
Comparison of rough-set and interval-set models for uncertain reasoning. Zbl 0858.68107
Yao, Y. Y.; Li, Xining
14
1996
Quasi-metrics and the semantics of logic programs. Zbl 0868.68021
Seda, Anthony Karel
14
1997
Termination of graph rewriting is undecidable. Zbl 0903.68108
Plump, Detlef
14
1998
Rough tolerance equality and tolerance black boxes. Zbl 0649.68115
Nieminen, Juhani
14
1988
A simple algorithm and proof for type inference. Zbl 0645.03014
Wand, Mitchell
14
1987
Finite automata on transfinite sequences and regular expressions. Zbl 0573.68045
Wojciechowski, Jerzy
14
1985
Two streamlined depth-first search algorithms. Zbl 0591.68069
Tarjan, Robert Endre
14
1986
On two-dimensional data organization. II. Zbl 0447.68110
Lipski, Witold jun.; Lodi, Elena; Luccio, Fabrizio; Mugnai, Cristina; Pagli, Linda
14
1979
Towards a new algebraic foundation of flowchart scheme theory. Zbl 0705.68071
Căzănescu, Virgil Emil; Ştefănescu, Gheorghe
14
1990
A process specification formalism. Zbl 0705.68075
Mauw, S.; Veltink, G. J.
14
1990
Simplification orderings: History of results. Zbl 0839.68049
Steinbach, Joachim
13
1995
Two-dimensional finite state recognizability. Zbl 0843.68054
Giammarresi, Dora; Restivo, Antonio
13
1996
The weakest prespecification, part II. Zbl 0627.68011
Hoare, C. A. R.; He, Jifeng
13
1986
On evolutionary exploration and exploitation. Zbl 0942.68548
Eiben, A. E.; Schippers, C. A.
13
1998
On the amount of nondeterminism in pushdown automata. Zbl 0528.68034
Vermeir, Dirk; Savitch, W. J.
13
1981
Substitution up to isomorphism. Zbl 0806.03043
Curien, P.-L.
12
1993
Formalization of inheritance reasoning in autoepistemic logic. Zbl 0846.03011
Gelfond, Michael; Przymusinska, Halina
12
1990
Topological model set deformations in logic programming. Zbl 0686.03013
Batarekh, Aida; Subrahmanian, V. S.
12
1989
Metamathematics of contexts. Zbl 0844.03014
Buvač, Saša; Buvač, Vanja; Mason, Ian A.
11
1995
Rough sets and Nelson algebras. Zbl 0858.68110
Pagliani, Piero
11
1996
Arithmetic classification of perfect models of stratified programs. Zbl 0699.68112
Apt, Krzysztof R.; Blair, Howard A.
11
1990
Jungle evaluation. Zbl 0706.68069
Habel, A.; Kreowski, H.-J.; Plump, D.
11
1991
Satisfiability of inequalities in a poset. Zbl 0863.68073
Pratt, Vaughan; Tiuryn, Jerzy
10
1996
Towards an algebraic theory of context-free languages. Zbl 0843.68050
Berstel, J.; Boasson, L.
9
1996
Algorithmic logic and its applications in the theory of programs. II. Zbl 0384.68010
Mirkowska, Grazyna
9
1977
Distributed concurrent constraint programming. Zbl 0943.68025
Réty, Jean-Hugues
9
1998
What is a nonmonotonic consequence relation? Zbl 0809.68107
Stalnaker, Robert
9
1994
Completions of ordered magmas. Zbl 0463.06005
Courcelle, Bruno; Raoult, Jean-Claude
9
1980
History preserving, causal and mixed-ordering equivalence over stable event structures. Zbl 0767.68074
Aceto, Luca
9
1992
A default logic based on epistemic states. Zbl 0838.03021
Meyer, J.-J. Ch.; van der Hoek, W.
8
1995
Linear logic, comonads and optimal reductions. Zbl 0818.03007
Asperti, Andrea
8
1995
Cut elimination for classical bilinear logic. Zbl 0817.03027
Lambek, J.
8
1995
Computation of reducts of composed information systems. Zbl 0854.68097
Kryszkiewicz, Marzena; Rybinski, Henryk
8
1996
Deciding clause classes by semantic clash resolution. Zbl 0789.03016
Leitsch, Alexander
8
1993
Stationary default extensions. Zbl 0835.68111
Przymusinska, Halina; Przymusinski, Teodor
8
1994
Model finding in semantically guided instance-based theorem proving. Zbl 0938.68818
Chu, Heng; Plaisted, David A.
8
1994
Formalising abilities and opportunities of agents. Zbl 0903.68045
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
8
1998
Modal tableaux with propagation rules and structural rules. Zbl 0926.03020
Castilho, Marcos A.; Fariñas del Cerro, Luis; Gasquet, Olivier; Herzig, Andreas
8
1997
Unique decipherability for partially commutative alphabets. Zbl 0634.94014
Chrobak, Marek; Rytter, Wojciech
8
1987
The complexity of local stratification. Zbl 0938.68567
Cholak, Peter; Blair, Howard A.
8
1994
Stable theories in autoepistemic logic. Zbl 0673.03016
Marek, W.
8
1989
A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms. Zbl 0930.68042
Dovier, Agostino; Policriti, Alberto; Rossi, Gianfranco
8
1998
On the undecidability of partial polymorphic type reconstruction. Zbl 0789.03017
Pfenning, Frank
8
1993
Classes of transfinite sequences accepted by nondeterministic finite automata. Zbl 0553.68048
Wojciechowski, Jerzy
8
1984
A temporal logic for event structures. Zbl 0677.03012
Penczek, Wojciech
8
1988
Easy terms in the lambda calculus. Zbl 0574.03005
Jacopini, Giuseppe; Venturini Zilli, Marisa
8
1985
The algebra of synchronous processes. Zbl 0683.68024
Weijland, W. P.
8
1989
Weakly stratified logic programs. Zbl 0699.68109
Przymusinska, Halina; Przymusinski, Teodor C.
8
1990
Long non-crossing configurations in the plane. Zbl 0830.68001
Alon, Noga; Rajagopalan, Sridhar; Suri, Subhash
7
1995
A semantics for evaluation logic. Zbl 0816.68082
Moggi, Eugenio
7
1995
Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
7
1996
Formal conception of rough sets. Zbl 0863.03028
Bryniarski, Edward
7
1996
Variable precision extension of rough sets. Zbl 0858.90084
Katzberg, Jack David; Ziarko, Wojciech
7
1996
Algebraic aspects of attribute dependencies in information systems. Zbl 0868.68052
Düntsch, Ivo; Gediga, Günther
7
1997
Theoretical foundations of order-based genetic algorithms. Zbl 0866.68043
Wróblewski, Jakub
7
1996
Pattern extraction from data. Zbl 0903.68054
Nguyen, Sinh Hoa; Nguyen, Hung Son
7
1998
Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077
Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul
39
1998
Finite Markov chain results in evolutionary computation: A tour d’horizon. Zbl 0943.68060
Rudolph, Günter
21
1998
Coinductive axiomatization of recursive type equality and subtyping. Zbl 0902.68105
Brandt, Michael; Henglein, Fritz
18
1998
Termination of graph rewriting is undecidable. Zbl 0903.68108
Plump, Detlef
14
1998
On evolutionary exploration and exploitation. Zbl 0942.68548
Eiben, A. E.; Schippers, C. A.
13
1998
Distributed concurrent constraint programming. Zbl 0943.68025
Réty, Jean-Hugues
9
1998
Formalising abilities and opportunities of agents. Zbl 0903.68045
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
8
1998
A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms. Zbl 0930.68042
Dovier, Agostino; Policriti, Alberto; Rossi, Gianfranco
8
1998
Pattern extraction from data. Zbl 0903.68054
Nguyen, Sinh Hoa; Nguyen, Hung Son
7
1998
From optimal hyperplanes to optimal decision trees. Zbl 0903.68161
Nguyen, Hung Son
7
1998
Lambda abstraction algebras: Coordinatizing models of lambda calculus. Zbl 0909.03018
Pigozzi, Don; Salibra, Antonino
5
1998
On Scott consequence systems. Zbl 0904.03038
Dimov, Georgi; Vakarelov, Dimiter
4
1998
Processes of contextual nets and their characteristics. Zbl 0935.68078
Winkowski, Józef
4
1998
Building constraint satisfaction problem solvers using rewrite rules and strategies. Zbl 0943.68095
Castro, Carlos
4
1998
An overview of parameter control methods by self-adaptation in evolutionary algorithms. Zbl 0941.68817
Bäck, Thomas
4
1998
Computable approximations of reals: An information-theoretic analysis. Zbl 0902.68066
Calude, Cristian S.; Hertling, Peter H.
3
1998
Parameterized structured operational semantics. Zbl 0904.68132
Ferrari, Gian Luigi; Montanari, Ugo
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
General domain circumscription and its effective reductions. Zbl 0935.68066
Doherty, Patrick; Łukaszewicz, Witold; Szałas, Andrzej
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
A proof theoretic view of constraint programming. Zbl 0947.68021
Apt, Krzysztof R.
3
1998
Automated deduction techniques for studying rough algebras. Zbl 0902.68182
Vigneron, Laurent
2
1998
An axiomatic system of parametricity. Zbl 0949.03031
Takeuti, Izumi
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
Minimal-maximal time cause-effect structures. Zbl 0902.68138
Czaja, Ludwik
1
1998
Cause-effect structures – structural and semantic properties revisited. Zbl 0902.68139
Czaja, Ludwik
1
1998
CR-structures. Zbl 0908.68112
Schmitt, Vincent
1
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
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
28
1997
A new version of the rule induction system LERS. Zbl 0882.68122
Grzymala-Busse, Jerzy W.
25
1997
Rough sets and 3-valued Lukasiewicz logic. Zbl 0895.03007
Banerjee, Mohua
23
1997
Quasi-metrics and the semantics of logic programs. Zbl 0868.68021
Seda, Anthony Karel
14
1997
Modal tableaux with propagation rules and structural rules. Zbl 0926.03020
Castilho, Marcos A.; Fariñas del Cerro, Luis; Gasquet, Olivier; Herzig, Andreas
8
1997
Algebraic aspects of attribute dependencies in information systems. Zbl 0868.68052
Düntsch, Ivo; Gediga, Günther
7
1997
Disjunctive signed logic programs. Zbl 0927.68020
Khamsi, Mohamed A.; Misane, Driss
7
1997
Fork algebras in algebra, logic and computer science. Zbl 0890.03036
Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M.
7
1997
Proposal for a theory of belief revision along the lines of Lindström and Rabinowicz. Zbl 0890.03011
Segerberg, Krister
6
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
Representation of residuated semigroups in some algebras of relations (the method of canonical models). Zbl 0876.03036
Buszkowski, Wojciech; Kołowska-Gawiejnowicz, Mirosława
4
1997
Graded consequence and some metalogical notions generalized. Zbl 0926.68065
Chakraborty, Mihir K.; Basu, Sanjukta
4
1997
Rough set approximations of languages. Zbl 0891.68054
Pǎun, Gheorge; Polkowski, Lech; Skowron, Andrzej
4
1997
Deriving invariants and constraints from action theories. Zbl 0882.68139
Zhang, Yan; Foo, Norman Y.
3
1997
How to interpret and establish consistency results for semantics of concurrent programming languages. Zbl 0870.68098
Baier, Christel; Majster-Cederbaum, Mila
2
1997
Some undecidability results for finitely generated Thue congruences on a two-letter alphabet. Zbl 0888.68079
Madlener, Klaus; Otto, Friedrich
2
1997
On the power of compositional proofs for nets: Relationships between completeness and modularity. Zbl 0883.68060
Trakhtenbrot, B. A.
2
1997
Asking questions versus verifiability. Zbl 0888.68105
Gasarch, William; Velauthapillai, Mahendran
2
1997
An abstract approach to some loop detection problems. Zbl 0895.68021
Skordev, Dimiter
2
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
Decision problems concerning a power series genealization of DT0L systems. Zbl 0920.68065
Honkala, Juha
2
1997
Complexity of recursive normal default logic. Zbl 0937.03038
Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.
2
1997
Well-founded semantics for default logic. Zbl 0902.03013
Brewka, Gerhard; Gottlob, Georg
2
1997
Modal logics for local and global similarity relations. Zbl 0906.03014
Deneva, Ana; Vakarelov, Dimiter
2
1997
Processes in cause-effect systems. Zbl 0892.68036
Maggiolo-Schettini, Andrea; Matteucci, Gionata
2
1997
Atomicity and concurrency control in process calculi. Zbl 0870.68067
Ferrari, Gian-Luigi
1
1997
A representation of dependence spaces and some basic algorithms. Zbl 0870.68146
Järvinen, Jouni
1
1997
On the decidability of non-interleaving process equivalences. Zbl 0883.68059
Kiehn, Astrid; Hennessy, Matthew
1
1997
Controlled H systems and Chomsky hierarchy. Zbl 0883.68080
Paun, Gheorghe
1
1997
Directions and foldings on generalized trees. Zbl 0888.68091
Basarab, Şerban A.
1
1997
On generalized Ajdukiewicz and Lambek calculi and grammars. Zbl 0881.68075
Kandulski, Maciej
1
1997
Pattern ambiguities for pure context-free grammars. Zbl 0881.68076
Mäkinen, Erkki; Ţiplea, Ferucio Laurenţiu
1
1997
Bounds on average weighted depth of decision trees. Zbl 0888.68054
Moshkov, Mikhail; Chikalov, Igor
1
1997
On definitional transformations to normal form for intuitionistic logic. Zbl 0871.03042
Egly, Uwe
1
1997
From dissemilattices to snack algebras. Zbl 0882.68057
Romanowska, Anna
1
1997
Machine learning through data classification and reduction. Zbl 0881.68100
Ziarko, Wojciech; Shan, Ning
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
Controlled H systems of small radius. Zbl 0888.68076
Păun, Andrei
1
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
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
Tolerance approximation spaces. Zbl 0868.68103
Skowron, Andrzej; Stepaniuk, Jaroslaw
213
1996
Rough sets through algebraic logic. Zbl 0864.03041
Banerjee, Mohua; Chakraborty, Mihir K.
46
1996
Graph processes. Zbl 0854.68054
Corradini, A.; Montanari, U.; Rossi, F.
42
1996
Graph grammars with negative application conditions. Zbl 0854.68055
Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele
36
1996
Equational term graph rewriting. Zbl 0854.68049
Ariola, Zena M.; Klop, Jan Willem
35
1996
Rough concept analysis: A synthesis of rough sets and formal concept analysis. Zbl 0861.68098
Kent, Robert E.
25
1996
Rough-set reasoning about uncertain data. Zbl 0854.68098
Slowiński, Roman; Stefanowski, Jerzy
17
1996
Rough sets, rough relations and rough functions. Zbl 0854.04008
Pawlak, Zdzislaw
17
1996
Comparison of rough-set and interval-set models for uncertain reasoning. Zbl 0858.68107
Yao, Y. Y.; Li, Xining
14
1996
Two-dimensional finite state recognizability. Zbl 0843.68054
Giammarresi, Dora; Restivo, Antonio
13
1996
Rough sets and Nelson algebras. Zbl 0858.68110
Pagliani, Piero
11
1996
Satisfiability of inequalities in a poset. Zbl 0863.68073
Pratt, Vaughan; Tiuryn, Jerzy
10
1996
Towards an algebraic theory of context-free languages. Zbl 0843.68050
Berstel, J.; Boasson, L.
9
1996
Computation of reducts of composed information systems. Zbl 0854.68097
Kryszkiewicz, Marzena; Rybinski, Henryk
8
1996
Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
7
1996
Formal conception of rough sets. Zbl 0863.03028
Bryniarski, Edward
7
1996
Variable precision extension of rough sets. Zbl 0858.90084
Katzberg, Jack David; Ziarko, Wojciech
7
1996
Theoretical foundations of order-based genetic algorithms. Zbl 0866.68043
Wróblewski, Jakub
7
1996
Text languages in an algebraic framework. Zbl 0843.68058
Hoogeboom, Hendrik Jan; ten Pas, Paulien
6
1996
...and 344 more Documents
all top 5

Cited by 2,947 Authors

24 Ésik, Zoltán
21 Corradini, Andrea
20 Montanari, Ugo G.
18 Baldan, Paolo
17 Bergstra, Jan A.
17 Chakraborty, Mihir Kumar
16 Aceto, Luca
16 Gadducci, Fabio
16 Marek, V. Wiktor
16 Wu, Weizhi
14 Gorrieri, Roberto
14 Rozenberg, Grzegorz
13 Chen, Degang
13 Vágvölgyi, Sándor
12 Khan, Md. Aquil
12 König, Barbara
12 Orejas, Fernando
12 Skowron, Andrzej
12 Struth, Georg
11 Baier, Christel
11 Fokkink, Willem Jan
11 Klop, Jan Willem
11 Li, Jinjin
11 Mi, Jusheng
11 Orłowska, Ewa S.
11 van Glabbeek, Robert Jan
11 Zhu, William
10 Baaz, Matthias
10 Ciucci, Davide
10 Ehrig, Hartmut
10 Ingólfsdóttir, Anna
10 Leitsch, Alexander
10 Luttik, Bas
10 Ma, Minghui
10 Ponse, Alban
10 Priami, Corrado
10 Yao, Yiyu
9 Banerjee, Mohua
9 Bloom, Stephen L.
9 Droste, Manfred
9 Düntsch, Ivo
9 Eiter, Thomas
9 Honkala, Juha
9 Li, Qingguo
9 Majster-Cederbaum, Mila E.
9 Petrukhin, Yaroslav Igorevich
9 Remmel, Jeffrey Brian
9 Schröder, Lutz
9 Xu, Weihua
9 Zhang, Wenxiu
9 Zhang, Yanlan
8 Bruni, Roberto
8 Chatain, Thomas
8 Dai, Jianhua
8 Degano, Pierpaolo
8 Dezani-Ciancaglini, Mariangiola
8 Ehrenfeucht, Andrzej
8 Fahrenberg, Uli
8 Godo, Lluís
8 Heckel, Reiko
8 Hetzl, Stefan
8 Hu, Baoqing
8 Järvinen, Jouni
8 Katoen, Joost-Pieter
8 Middeldorp, Aart
8 Moniz Pereira, Luís
8 Peltier, Nicolas
8 Przymusinski, Teodor C.
8 Radeleczki, Sándor
8 Ribeiro, Leila
8 Rodríguez, Ricardo Oscar
8 Silva, Alexandra
8 Subrahmanian, V. S.
8 Szałas, Andrzej
8 Truszczyński, Mirosław
8 Vogler, Walter
7 Aubert, Clément
7 Avron, Arnon
7 Barequet, Gill
7 Bonacina, Maria Paola
7 Bonchi, Filippo
7 Dubois, Didier
7 Engelfriet, Joost
7 Giesl, Jürgen
7 Grabowski, Adam
7 Johansen, Christian
7 Kreowski, Hans-Jörg
7 Li, Zhaowen
7 Lodaya, Kamal
7 Maggiolo-Schettini, Andrea
7 Napoli, Margherita
7 Qian, Yuhua
7 Ronchi Della Rocca, Simona
7 Salibra, Antonino
7 Salomaa, Kai T.
7 Thiemann, René
7 Vakarelov, Dimiter
7 Valencia, Frank D.
7 Zantema, Hans
6 Alcântara, João
...and 2,847 more Authors
all top 5

Cited in 202 Journals

404 Theoretical Computer Science
131 Information Sciences
118 Information and Computation
92 International Journal of Approximate Reasoning
70 Artificial Intelligence
59 Studia Logica
49 Fuzzy Sets and Systems
47 Annals of Mathematics and Artificial Intelligence
45 Information Processing Letters
44 Annals of Pure and Applied Logic
42 Journal of Computer and System Sciences
41 Journal of Logical and Algebraic Methods in Programming
34 Acta Informatica
33 Journal of Applied Non-Classical Logics
33 Soft Computing
25 Journal of Automated Reasoning
25 The Journal of Logic and Algebraic Programming
24 Formal Aspects of Computing
17 Journal of Symbolic Computation
17 Computational Geometry
17 Logical Methods in Computer Science
16 Mathematical Structures in Computer Science
15 Journal of Philosophical Logic
14 RAIRO. Theoretical Informatics and Applications
13 European Journal of Operational Research
13 RAIRO. Informatique Théorique et Applications
12 Discrete & Computational Geometry
12 Archive for Mathematical Logic
12 Journal of Applied Logic
10 Discrete Applied Mathematics
10 Theory and Practice of Logic Programming
10 Journal of Applied Mathematics
9 Computers & Mathematics with Applications
9 Algorithmica
9 Fundamenta Informaticae
8 Journal of Logic, Language and Information
7 Formal Methods in System Design
7 Mathematical Problems in Engineering
7 Logica Universalis
6 Algebra Universalis
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 Journal of Intelligent and Fuzzy Systems
5 Discrete Mathematics
5 The Journal of Symbolic Logic
5 Kybernetika
5 Synthese
5 Journal of the Egyptian Mathematical Society
5 Filomat
5 Theory of Computing Systems
4 Applied Mathematics and Computation
4 Mathematical Systems Theory
4 RAIRO, Informatique Théorique
4 Order
4 Mathematical and Computer Modelling
4 Annals of Operations Research
4 Machine Learning
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Mathematical Sciences (New York)
4 Constraints
4 Logic and Logical Philosophy
4 Natural Computing
4 ACM Transactions on Computational Logic
4 The Review of Symbolic Logic
4 Computer Science Review
3 Programming and Computer Software
3 European Journal of Combinatorics
3 Real-Time Systems
3 Distributed Computing
3 Applied Categorical Structures
3 Computational and Applied Mathematics
3 Mathematical Logic Quarterly (MLQ)
3 Journal of Functional Programming
3 Journal of Heuristics
3 Higher-Order and Symbolic Computation
3 Sādhanā
3 Journal of Applied Mathematics and Computing
3 Journal of Discrete Algorithms
3 Fixed Point Theory and Applications
3 Formalized Mathematics
3 RAIRO. Theoretical Informatics and Applications
3 Open Mathematics
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Demonstratio Mathematica
2 International Journal of Computer & Information Sciences
2 Journal of Mathematical Psychology
2 Mathematica Slovaca
2 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
2 Bulletin of the Section of Logic
2 Topology and its Applications
2 Mathematical Social Sciences
2 Computer Aided Geometric Design
2 International Journal of Intelligent Systems
2 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
2 Linear Algebra and its Applications
2 Pattern Recognition
2 Cybernetics and Systems Analysis
2 Science in China. Series E
...and 102 more Journals
all top 5

Cited in 40 Fields

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

Citations by Year