Annales Societatis Mathematicae Polonae. Series IVFundamenta 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 Latest Issues 36, No. 4 (1998) 36, No. 2-3 (1998) 36, No. 1 (1998) 35, No. 1-4 (1998) 34, No. 4 (1998) 34, No. 3 (1998) 34, No. 1-2 (1998) 33, No. 4 (1998) 33, No. 3 (1998) 33, No. 2 (1998) 33, No. 1 (1998) 32, No. 3-4 (1997) 32, No. 2 (1997) 32, No. 1 (1997) 31, No. 3-4 (1997) 31, No. 2 (1997) 31, No. 1 (1997) 30, No. 3-4 (1997) 30, No. 2 (1997) 30, No. 1 (1997) 29, No. 4 (1997) 29, No. 3 (1997) 29, No. 1-2 (1997) 28, No. 3-4 (1996) 28, No. 1-2 (1996) 27, No. 4 (1996) 27, No. 2-3 (1996) 27, No. 1 (1996) 26, No. 3-4 (1996) 26, No. 2 (1996) 26, No. 1 (1996) 25, No. 3-4 (1996) 25, No. 2 (1996) 25, No. 1 (1996) 24, No. 4 (1995) 24, No. 3 (1995) 24, No. 1-2 (1995) 23, No. 2-4 (1995) 23, No. 1 (1995) 22, No. 4 (1995) 22, No. 3 (1995) 22, No. 1-2 (1995) 21, No. 4 (1994) 21, No. 3 (1994) 21, No. 1-2 (1994) 20, No. 4 (1994) 20, No. 1-3 (1994) 19, No. 3-4 (1993) 19, No. 1-2 (1993) 18, No. 2-4 (1993) 18, No. 1 (1993) 17, No. 4 (1992) 17, No. 3 (1992) 17, No. 1-2 (1992) 16, No. 3-4 (1992) 16, No. 2 (1992) 16, No. 1 (1992) 15, No. 3-4 (1991) 15, No. 2 (1991) 15, No. 1 (1991) 14, No. 4 (1991) 14, No. 3 (1991) 14, No. 2 (1991) 14, No. 1 (1991) 13, No. 4 (1990) 13, No. 3 (1990) 13, No. 2 (1990) 13, No. 1 (1990) 12, No. 4 (1989) 12, No. 3 (1989) 12, No. 2 (1989) 12, No. 1 (1989) 11, No. 4 (1988) 11, No. 3 (1988) 11, No. 2 (1988) 11, No. 1 (1988) 10 (1987) 9 (1986) 8 (1985) 7 (1984) 6 (1983) 5 (1982) 4 (1981) 3 (1980) 2 (1978/1979) 1 (1977/1978) 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 662 more Authors all top 5 Fields 703 Computer science (68-XX) 210 Mathematical logic and foundations (03-XX) 23 Category theory; homological algebra (18-XX) 21 Order, lattices, ordered algebraic structures (06-XX) 16 General algebraic systems (08-XX) 12 Information and communication theory, circuits (94-XX) 11 General and overarching topics; collections (00-XX) 8 Combinatorics (05-XX) 6 General topology (54-XX) 4 Group theory and generalizations (20-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Probability theory and stochastic processes (60-XX) 3 Operations research, mathematical programming (90-XX) 2 Numerical analysis (65-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Real functions (26-XX) 1 Functional analysis (46-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 448 Publications have been cited 3,125 times in 2,573 Documents Cited by ▼ Year ▼ Tolerance approximation spaces. Zbl 0868.68103 Skowron, Andrzej; Stepaniuk, Jaroslaw 226 1996 On partial languages. Zbl 0468.68088 Grabowski, Jan 75 1981 Many-valued modal logics. Zbl 0745.03018 Fitting, Melvin C. 73 1991 Many-valued modal logics. II. Zbl 0772.03006 Fitting, Melvin 64 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. 58 1986 Well-founded semantics coincides with three-valued stable semantics. Zbl 0706.68029 Przymusinski, Teodor 56 1990 Kleene’s three valued logics and their children. Zbl 0804.03016 Fitting, Melvin 55 1994 Rough sets through algebraic logic. Zbl 0864.03041 Banerjee, Mohua; Chakraborty, Mihir K. 52 1996 Termination of term rewriting by semantic labelling. Zbl 0839.68050 Zantema, H. 49 1995 Graph processes. Zbl 0854.68054 Corradini, A.; Montanari, U.; Rossi, F. 47 1996 A non-interleaving semantics for CCS based on proved transitions. Zbl 0657.68066 Boudol, Gérard; Castellani, Ilaria 42 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 40 1998 Graph grammars with negative application conditions. Zbl 0854.68055 Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele 40 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. 34 1991 Petri nets, commutative context-free grammars, and basic parallel processes. Zbl 0882.68101 Esparza, Javier 30 1997 Coinductive axiomatization of recursive type equality and subtyping. Zbl 0902.68105 Brandt, Michael; Henglein, Fritz 27 1998 Lambda calculus characterizations of poly-time. Zbl 0781.68059 Leivant, Daniel; Marion, Jean-Yves 27 1993 On Skolemization and proof complexity. Zbl 0815.03003 Baaz, Matthias; Leitsch, Alexander 27 1994 A new version of the rule induction system LERS. Zbl 0882.68122 Grzymala-Busse, Jerzy W. 26 1997 Rough sets and 3-valued Lukasiewicz logic. Zbl 0895.03007 Banerjee, Mohua 26 1997 Rough concept analysis: A synthesis of rough sets and formal concept analysis. Zbl 0861.68098 Kent, Robert E. 26 1996 Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044 Montanari, Ugo; Sassone, Vladimiro 25 1992 The rough sets theory and evidence theory. Zbl 0752.94023 Skowron, Andrzej 24 1990 On the algebraization of some Gentzen systems. Zbl 0788.03006 Rebagliato, Jordi; Verdú, Ventura 23 1993 Regular tree languages and rewrite systems. Zbl 0839.68053 Gilleron, Rémy; Tison, Sophie 22 1995 Finite Markov chain results in evolutionary computation: A tour d’horizon. Zbl 0943.68060 Rudolph, Günter 21 1998 The weakest prespecification. I. Zbl 0603.68009 Hoare, C. A. R.; He, Jifeng 20 1986 A modal logic for similarity relations in Pawlak knowledge representation systems. Zbl 0737.68078 Vakarelov, Dimiter 19 1991 Timed possibilistic logic. Zbl 0745.03019 Dubois, Didier; Lang, Jérôme; Prade, Henri 19 1991 Operational, denotational and logical descriptions: A case study. Zbl 0762.68042 Egidi, Lavinia; Honsell, Furio; Ronchi Della Rocca, Simona 19 1992 A classification theory of semantics of normal logic programs. II: Weak properties. Zbl 0829.68022 Dix, Jürgen 19 1995 Tentative prune-and-search for computing fixed-points with applications to geometric computation. Zbl 0815.68119 Kirkpatrick, David; Snoeyink, Jack 19 1995 A simple algorithm and proof for type inference. Zbl 0645.03014 Wand, Mitchell 19 1987 Modelling nondeterministic concurrent processes with event structures. Zbl 0717.68028 Loogen, Rita; Goltz, Ursula 19 1991 Abstract relations between restricted termination and confluence properties of rewrite systems. Zbl 0839.68047 Gramlich, Bernhard 18 1995 Rough sets, rough relations and rough functions. Zbl 0854.04008 Pawlak, Zdzislaw 18 1996 On some equivalence relations for probabilistic processes. Zbl 0766.68099 Huynh, Dung T.; Tian, Lu 17 1992 Rough-set reasoning about uncertain data. Zbl 0854.68098 Slowiński, Roman; Stefanowski, Jerzy 17 1996 Logic programming on a topological bilattice. Zbl 0647.68096 Fitting, Melvin 17 1988 Convex distance functions in 3-space are different. Zbl 0815.68117 Icking, Christian; Klein, Rolf; Lê, Ngoc-Minh; Ma, Lihong 16 1995 Termination of graph rewriting is undecidable. Zbl 0903.68108 Plump, Detlef 15 1998 Ulam games, Łukasiewicz logic, and AF \(C^*\)-algebras. Zbl 0780.03030 Mundici, Daniele 15 1993 Comparison of rough-set and interval-set models for uncertain reasoning. Zbl 0858.68107 Yao, Y. Y.; Li, Xining 15 1996 On two-dimensional data organization. II. Zbl 0447.68110 Lipski, Witold jun.; Lodi, Elena; Luccio, Fabrizio; Mugnai, Cristina; Pagli, Linda 15 1979 On evolutionary exploration and exploitation. Zbl 0942.68548 Eiben, A. E.; Schippers, C. A. 14 1998 Quasi-metrics and the semantics of logic programs. Zbl 0868.68021 Seda, Anthony Karel 14 1997 A classification theory of semantics of normal logic programs. I: Strong properties. Zbl 0829.68021 Dix, Jürgen 14 1995 Two-dimensional finite state recognizability. Zbl 0843.68054 Giammarresi, Dora; Restivo, Antonio 14 1996 The weakest prespecification, part II. Zbl 0627.68011 Hoare, C. A. R.; He, Jifeng 14 1986 Rough tolerance equality and tolerance black boxes. Zbl 0649.68115 Nieminen, Juhani 14 1988 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 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 On the amount of nondeterminism in pushdown automata. Zbl 0528.68034 Vermeir, Dirk; Savitch, W. J. 13 1981 Formalization of inheritance reasoning in autoepistemic logic. Zbl 0846.03011 Gelfond, Michael; Przymusinska, Halina 12 1990 Substitution up to isomorphism. Zbl 0806.03043 Curien, P.-L. 12 1993 Topological model set deformations in logic programming. Zbl 0686.03013 Batarekh, Aida; Subrahmanian, V. S. 12 1989 Satisfiability of inequalities in a poset. Zbl 0863.68073 Pratt, Vaughan; Tiuryn, Jerzy 11 1996 Linear logic, comonads and optimal reductions. Zbl 0818.03007 Asperti, Andrea 11 1995 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 Long non-crossing configurations in the plane. Zbl 0830.68001 Alon, Noga; Rajagopalan, Sridhar; Suri, Subhash 10 1995 What is a nonmonotonic consequence relation? Zbl 0809.68107 Stalnaker, Robert 9 1994 History preserving, causal and mixed-ordering equivalence over stable event structures. Zbl 0767.68074 Aceto, Luca 9 1992 Distributed concurrent constraint programming. Zbl 0943.68025 Réty, Jean-Hugues 9 1998 Cut elimination for classical bilinear logic. Zbl 0817.03027 Lambek, J. 9 1995 Towards an algebraic theory of context-free languages. Zbl 0843.68050 Berstel, J.; Boasson, L. 9 1996 On the undecidability of partial polymorphic type reconstruction. Zbl 0789.03017 Pfenning, Frank 9 1993 Deciding clause classes by semantic clash resolution. Zbl 0789.03016 Leitsch, Alexander 9 1993 Completions of ordered magmas. Zbl 0463.06005 Courcelle, Bruno; Raoult, Jean-Claude 9 1980 Algorithmic logic and its applications in the theory of programs. II. Zbl 0384.68010 Mirkowska, Grazyna 9 1977 Model finding in semantically guided instance-based theorem proving. Zbl 0938.68818 Chu, Heng; Plaisted, David A. 8 1994 The complexity of local stratification. Zbl 0938.68567 Cholak, Peter; Blair, Howard 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 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 Fork algebras in algebra, logic and computer science. Zbl 0890.03036 Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M. 8 1997 A semantics for evaluation logic. Zbl 0816.68082 Moggi, Eugenio 8 1995 Stationary default extensions. Zbl 0835.68111 Przymusinska, Halina; Przymusinski, Teodor 8 1994 A default logic based on epistemic states. Zbl 0838.03021 Meyer, J.-J. Ch.; van der Hoek, W. 8 1995 Classes of transfinite sequences accepted by nondeterministic finite automata. Zbl 0553.68048 Wojciechowski, Jerzy 8 1984 Variable precision extension of rough sets. Zbl 0858.90084 Katzberg, Jack David; Ziarko, Wojciech 8 1996 Computation of reducts of composed information systems. Zbl 0854.68097 Kryszkiewicz, Marzena; Rybinski, Henryk 8 1996 General theory of relational automata. Zbl 0453.68022 Trnková, Věra 8 1980 The algebra of synchronous processes. Zbl 0683.68024 Weijland, W. P. 8 1989 Unique decipherability for partially commutative alphabets. Zbl 0634.94014 Chrobak, Marek; Rytter, Wojciech 8 1987 Stable theories in autoepistemic logic. Zbl 0673.03016 Marek, W. 8 1989 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 Weakly stratified logic programs. Zbl 0699.68109 Przymusinska, Halina; Przymusinski, Teodor C. 8 1990 Theoretical foundations of order-based genetic algorithms. Zbl 0866.68043 Wróblewski, Jakub 7 1996 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088 Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 7 1996 On the classification and existence of structures in default logic. Zbl 0810.03019 Zhang, Aidong; Marek, Wiktor 7 1990 Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077 Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul 40 1998 Coinductive axiomatization of recursive type equality and subtyping. Zbl 0902.68105 Brandt, Michael; Henglein, Fritz 27 1998 Finite Markov chain results in evolutionary computation: A tour d’horizon. Zbl 0943.68060 Rudolph, Günter 21 1998 Termination of graph rewriting is undecidable. Zbl 0903.68108 Plump, Detlef 15 1998 On evolutionary exploration and exploitation. Zbl 0942.68548 Eiben, A. E.; Schippers, C. A. 14 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 5 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 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 DNA computing: A review. Zbl 0941.68564 Deaton, Russell; Garzon, Max; Rose, John; Franceschetti, D. R.; Stevens, S. E. jun. 1 1998 Names, equations, relations: Practical ways to reason about \(new\). Zbl 0902.68027 Stark, Ian 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 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 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 Petri nets, commutative context-free grammars, and basic parallel processes. Zbl 0882.68101 Esparza, Javier 30 1997 A new version of the rule induction system LERS. Zbl 0882.68122 Grzymala-Busse, Jerzy W. 26 1997 Rough sets and 3-valued Lukasiewicz logic. Zbl 0895.03007 Banerjee, Mohua 26 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 Fork algebras in algebra, logic and computer science. Zbl 0890.03036 Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M. 8 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 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 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 Substitutivity principles in some theories of uncertainty. Zbl 0890.03013 Chakraborty, Mihir K.; Orlowska, Ewa 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 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 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 Complexity of recursive normal default logic. Zbl 0937.03038 Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. 2 1997 An abstract approach to some loop detection problems. Zbl 0895.68021 Skordev, Dimiter 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 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 From dissemilattices to snack algebras. Zbl 0882.68057 Romanowska, Anna 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 On definitional transformations to normal form for intuitionistic logic. Zbl 0871.03042 Egly, Uwe 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 Controlled H systems of small radius. Zbl 0888.68076 Păun, Andrei 1 1997 Tolerance approximation spaces. Zbl 0868.68103 Skowron, Andrzej; Stepaniuk, Jaroslaw 226 1996 Rough sets through algebraic logic. Zbl 0864.03041 Banerjee, Mohua; Chakraborty, Mihir K. 52 1996 Graph processes. Zbl 0854.68054 Corradini, A.; Montanari, U.; Rossi, F. 47 1996 Graph grammars with negative application conditions. Zbl 0854.68055 Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele 40 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. 26 1996 Rough sets, rough relations and rough functions. Zbl 0854.04008 Pawlak, Zdzislaw 18 1996 Rough-set reasoning about uncertain data. Zbl 0854.68098 Slowiński, Roman; Stefanowski, Jerzy 17 1996 Comparison of rough-set and interval-set models for uncertain reasoning. Zbl 0858.68107 Yao, Y. Y.; Li, Xining 15 1996 Two-dimensional finite state recognizability. Zbl 0843.68054 Giammarresi, Dora; Restivo, Antonio 14 1996 Satisfiability of inequalities in a poset. Zbl 0863.68073 Pratt, Vaughan; Tiuryn, Jerzy 11 1996 Rough sets and Nelson algebras. Zbl 0858.68110 Pagliani, Piero 11 1996 Towards an algebraic theory of context-free languages. Zbl 0843.68050 Berstel, J.; Boasson, L. 9 1996 Variable precision extension of rough sets. Zbl 0858.90084 Katzberg, Jack David; Ziarko, Wojciech 8 1996 Computation of reducts of composed information systems. Zbl 0854.68097 Kryszkiewicz, Marzena; Rybinski, Henryk 8 1996 Theoretical foundations of order-based genetic algorithms. Zbl 0866.68043 Wróblewski, Jakub 7 1996 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088 Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 7 1996 ...and 348 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,034 Authors 24 Corradini, Andrea 24 Ésik, Zoltán 21 Chakraborty, Mihir Kumar 20 Montanari, Ugo G. 18 Baldan, Paolo 17 Bergstra, Jan A. 17 Wu, Weizhi 16 Aceto, Luca 16 Gadducci, Fabio 16 Marek, V. Wiktor 15 König, Barbara 14 Gorrieri, Roberto 14 Rozenberg, Grzegorz 13 Chen, Degang 13 Skowron, Andrzej 13 Struth, Georg 13 Vágvölgyi, Sándor 13 Yao, Yiyu 12 Fokkink, Willem Jan 12 Khan, Md. Aquil 12 Orejas, Fernando 11 Baier, Christel 11 Banerjee, Mohua 11 Klop, Jan Willem 11 Li, Jinjin 11 Mi, Jusheng 11 Orłowska, Ewa S. 11 Schröder, Lutz 11 van Glabbeek, Robert Jan 11 Zhu, William 10 Baaz, Matthias 10 Ciucci, Davide 10 Ehrig, Hartmut 10 Fahrenberg, Uli 10 Ingólfsdóttir, Anna 10 Leitsch, Alexander 10 Luttik, Bas 10 Ma, Minghui 10 Ponse, Alban 10 Priami, Corrado 9 Bloom, Stephen L. 9 Dezani-Ciancaglini, Mariangiola 9 Droste, Manfred 9 Düntsch, Ivo 9 Eiter, Thomas 9 Heckel, Reiko 9 Honkala, Juha 9 Li, Qingguo 9 Majster-Cederbaum, Mila E. 9 Peltier, Nicolas 9 Petrukhin, Yaroslav Igorevich 9 Remmel, Jeffrey Brian 9 Szałas, Andrzej 9 Xu, Weihua 9 Zhang, Wenxiu 9 Zhang, Yanlan 8 Bruni, Roberto 8 Chatain, Thomas 8 Dai, Jianhua 8 Degano, Pierpaolo 8 Dubois, Didier 8 Ehrenfeucht, Andrzej 8 Godo, Lluís 8 Grabowski, Adam 8 Hetzl, Stefan 8 Hu, Baoqing 8 Järvinen, Jouni 8 Katoen, Joost-Pieter 8 Middeldorp, Aart 8 Moniz Pereira, Luís 8 Przymusinski, Teodor C. 8 Radeleczki, Sándor 8 Ribeiro, Leila 8 Rodríguez, Ricardo Oscar 8 Silva, Alexandra 8 Subrahmanian, V. S. 8 Truszczyński, Mirosław 8 Vogler, Walter 7 Arieli, Ofer 7 Aubert, Clément 7 Avron, Arnon 7 Barequet, Gill 7 Bonacina, Maria Paola 7 Bonchi, Filippo 7 Drewes, Frank 7 Endrullis, Jörg 7 Engelfriet, Joost 7 Giesl, Jürgen 7 Janicki, Ryszard 7 Johansen, Christian 7 Kreowski, Hans-Jörg 7 Lasota, Sławomir 7 Li, Zhaowen 7 Lodaya, Kamal 7 Maggiolo-Schettini, Andrea 7 Meseguer Guaita, José 7 Napoli, Margherita 7 Qian, Yuhua 7 Rivieccio, Umberto 7 Ronchi Della Rocca, Simona ...and 2,934 more Authors all top 5 Cited in 203 Journals 405 Theoretical Computer Science 131 Information Sciences 118 Information and Computation 95 International Journal of Approximate Reasoning 71 Artificial Intelligence 60 Studia Logica 53 Fuzzy Sets and Systems 47 Annals of Mathematics and Artificial Intelligence 45 Information Processing Letters 45 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 18 Logical Methods in Computer Science 17 Journal of Symbolic Computation 17 Computational Geometry 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 11 Algorithmica 10 Discrete Applied Mathematics 10 Fundamenta Informaticae 10 Theory and Practice of Logic Programming 10 Journal of Applied Mathematics 9 Computers & Mathematics with Applications 8 Formal Methods in System Design 8 Journal of Logic, Language and Information 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 103 more Journals all top 5 Cited in 41 Fields 2,080 Computer science (68-XX) 842 Mathematical logic and foundations (03-XX) 139 Order, lattices, ordered algebraic structures (06-XX) 89 Category theory; homological algebra (18-XX) 69 General topology (54-XX) 57 Operations research, mathematical programming (90-XX) 55 Combinatorics (05-XX) 42 General algebraic systems (08-XX) 42 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) 24 History and biography (01-XX) 19 Convex and discrete geometry (52-XX) 17 Biology and other natural sciences (92-XX) 16 Statistics (62-XX) 14 Numerical analysis (65-XX) 12 Associative rings and algebras (16-XX) 12 Probability theory and stochastic processes (60-XX) 6 Functional analysis (46-XX) 6 Geometry (51-XX) 6 Quantum theory (81-XX) 5 Real functions (26-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 Measure and integration (28-XX) 4 Algebraic topology (55-XX) 3 Field theory and polynomials (12-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 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year