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 661 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 440 Publications have been cited 2,836 times in 2,342 Documents Cited by ▼ Year ▼ Tolerance approximation spaces. Zbl 0868.68103Skowron, Andrzej; Stepaniuk, Jaroslaw 202 1996 On partial languages. Zbl 0468.68088Grabowski, Jan 66 1981 Many-valued modal logics. Zbl 0745.03018Fitting, Melvin C. 65 1991 Many-valued modal logics. II. Zbl 0772.03006Fitting, Melvin 57 1992 Syntax and defining equations for an interrupt mechanism in process algebra. Zbl 0617.68027Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W. 54 1986 Well-founded semantics coincides with three-valued stable semantics. Zbl 0706.68029Przymusinski, Teodor 53 1990 Kleene’s three valued logics and their children. Zbl 0804.03016Fitting, Melvin 51 1994 Behavior strutures and nets. Zbl 0657.68068Rabinovich, A.; Trakhtenbrot, B. A. 49 1988 Termination of term rewriting by semantic labelling. Zbl 0839.68050Zantema, H. 48 1995 Graph processes. Zbl 0854.68054Corradini, A.; Montanari, U.; Rossi, F. 42 1996 Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul 38 1998 A non-interleaving semantics for CCS based on proved transitions. Zbl 0657.68066Boudol, Gérard; Castellani, Ilaria 38 1988 Rough sets through algebraic logic. Zbl 0864.03041Banerjee, Mohua; Chakraborty, Mihir K. 38 1996 Graph grammars with negative application conditions. Zbl 0854.68055Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele 35 1996 The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021Arnold, Andre; Nivat, Maurice 34 1980 An algebraic approach to the approximation of information. Zbl 0727.68114Comer, Stephen D. 33 1991 Equational term graph rewriting. Zbl 0854.68049Ariola, Zena M.; Klop, Jan Willem 32 1996 Petri nets, commutative context-free grammars, and basic parallel processes. Zbl 0882.68101Esparza, Javier 26 1997 On Skolemization and proof complexity. Zbl 0815.03003Baaz, Matthias; Leitsch, Alexander 25 1994 A new version of the rule induction system LERS. Zbl 0882.68122Grzymala-Busse, Jerzy W. 25 1997 Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044Montanari, Ugo; Sassone, Vladimiro 24 1992 The rough sets theory and evidence theory. Zbl 0752.94023Skowron, Andrzej 23 1990 Regular tree languages and rewrite systems. Zbl 0839.68053Gilleron, Rémy; Tison, Sophie 22 1995 On the algebraization of some Gentzen systems. Zbl 0788.03006Rebagliato, Jordi; Verdú, Ventura 21 1993 Rough concept analysis: A synthesis of rough sets and formal concept analysis. Zbl 0861.68098Kent, Robert E. 21 1996 Finite Markov chain results in evolutionary computation: A tour d’horizon. Zbl 0943.68060Rudolph, Günter 20 1998 Operational, denotational and logical descriptions: A case study. Zbl 0762.68042Egidi, Lavinia; Honsell, Furio; Ronchi Della Rocca, Simona 18 1992 Timed possibilistic logic. Zbl 0745.03019Dubois, Didier; Lang, Jérôme; Prade, Henri 18 1991 Tentative prune-and-search for computing fixed-points with applications to geometric computation. Zbl 0815.68119Kirkpatrick, David; Snoeyink, Jack 17 1995 Abstract relations between restricted termination and confluence properties of rewrite systems. Zbl 0839.68047Gramlich, Bernhard 17 1995 The weakest prespecification. I. Zbl 0603.68009Hoare, C. A. R.; He, Jifeng 17 1986 Rough sets and 3-valued Lukasiewicz logic. Zbl 0895.03007Banerjee, Mohua 17 1997 Logic programming on a topological bilattice. Zbl 0647.68096Fitting, Melvin 17 1988 A classification theory of semantics of normal logic programs. II: Weak properties. Zbl 0829.68022Dix, Jürgen 17 1995 Lambda calculus characterizations of poly-time. Zbl 0781.68059Leivant, Daniel; Marion, Jean-Yves 16 1993 Rough sets, rough relations and rough functions. Zbl 0854.04008Pawlak, Zdzislaw 16 1996 Rough-set reasoning about uncertain data. Zbl 0854.68098Slowiński, Roman; Stefanowski, Jerzy 16 1996 Modelling nondeterministic concurrent processes with event structures. Zbl 0717.68028Loogen, Rita; Goltz, Ursula 16 1991 A modal logic for similarity relations in Pawlak knowledge representation systems. Zbl 0737.68078Vakarelov, Dimiter 16 1991 On some equivalence relations for probabilistic processes. Zbl 0766.68099Huynh, Dung T.; Tian, Lu 15 1992 Coinductive axiomatization of recursive type equality and subtyping. Zbl 0902.68105Brandt, Michael; Henglein, Fritz 15 1998 Ulam games, Łukasiewicz logic, and AF \(C^*\)-algebras. Zbl 0780.03030Mundici, Daniele 14 1993 A process specification formalism. Zbl 0705.68075Mauw, S.; Veltink, G. J. 14 1990 Rough tolerance equality and tolerance black boxes. Zbl 0649.68115Nieminen, Juhani 14 1988 Convex distance functions in 3-space are different. Zbl 0815.68117Icking, Christian; Klein, Rolf; Lê, Ngoc-Minh; Ma, Lihong 13 1995 Simplification orderings: History of results. Zbl 0839.68049Steinbach, Joachim 13 1995 Two streamlined depth-first search algorithms. Zbl 0591.68069Tarjan, Robert Endre 13 1986 Two-dimensional finite state recognizability. Zbl 0843.68054Giammarresi, Dora; Restivo, Antonio 13 1996 Comparison of rough-set and interval-set models for uncertain reasoning. Zbl 0858.68107Yao, Y. Y.; Li, Xining 13 1996 A simple algorithm and proof for type inference. Zbl 0645.03014Wand, Mitchell 13 1987 On the amount of nondeterminism in pushdown automata. Zbl 0528.68034Vermeir, Dirk; Savitch, W. J. 13 1981 Towards a new algebraic foundation of flowchart scheme theory. Zbl 0705.68071Căzănescu, Virgil Emil; Ştefănescu, Gheorghe 13 1990 On two-dimensional data organization. II. Zbl 0447.68110Lipski, Witold jun.; Lodi, Elena; Luccio, Fabrizio; Mugnai, Cristina; Pagli, Linda 13 1979 Termination of graph rewriting is undecidable. Zbl 0903.68108Plump, Detlef 13 1998 Quasi-metrics and the semantics of logic programs. Zbl 0868.68021Seda, Anthony Karel 13 1997 Substitution up to isomorphism. Zbl 0806.03043Curien, P.-L. 12 1993 Finite automata on transfinite sequences and regular expressions. Zbl 0573.68045Wojciechowski, Jerzy 12 1985 The weakest prespecification, part II. Zbl 0627.68011Hoare, C. A. R.; He, Jifeng 12 1986 Topological model set deformations in logic programming. Zbl 0686.03013Batarekh, Aida; Subrahmanian, V. S. 12 1989 Formalization of inheritance reasoning in autoepistemic logic. Zbl 0846.03011Gelfond, Michael; Przymusinska, Halina 12 1990 Arithmetic classification of perfect models of stratified programs. Zbl 0699.68112Apt, Krzysztof R.; Blair, Howard A. 11 1990 Jungle evaluation. Zbl 0706.68069Habel, A.; Kreowski, H.-J.; Plump, D. 11 1991 Metamathematics of contexts. Zbl 0844.03014Buvač, Saša; Buvač, Vanja; Mason, Ian A. 10 1995 Rough sets and Nelson algebras. Zbl 0858.68110Pagliani, Piero 10 1996 On evolutionary exploration and exploitation. Zbl 0942.68548Eiben, A. E.; Schippers, C. A. 10 1998 Satisfiability of inequalities in a poset. Zbl 0863.68073Pratt, Vaughan; Tiuryn, Jerzy 10 1996 A classification theory of semantics of normal logic programs. I: Strong properties. Zbl 0829.68021Dix, Jürgen 10 1995 Completions of ordered magmas. Zbl 0463.06005Courcelle, Bruno; Raoult, Jean-Claude 9 1980 Algorithmic logic and its applications in the theory of programs. II. Zbl 0384.68010Mirkowska, Grazyna 9 1977 Distributed concurrent constraint programming. Zbl 0943.68025Réty, Jean-Hugues 9 1998 What is a nonmonotonic consequence relation? Zbl 0809.68107Stalnaker, Robert 9 1994 Epistemic entrenchment in autoepistemic logic. Zbl 0772.68089Boutilier, Craig 8 1992 Deciding clause classes by semantic clash resolution. Zbl 0789.03016Leitsch, Alexander 8 1993 Model finding in semantically guided instance-based theorem proving. Zbl 0938.68818Chu, Heng; Plaisted, David A. 8 1994 The complexity of local stratification. Zbl 0938.68567Cholak, Peter; Blair, Howard A. 8 1994 Easy terms in the lambda calculus. Zbl 0574.03005Jacopini, Giuseppe; Venturini Zilli, Marisa 8 1985 Towards an algebraic theory of context-free languages. Zbl 0843.68050Berstel, J.; Boasson, L. 8 1996 Computation of reducts of composed information systems. Zbl 0854.68097Kryszkiewicz, Marzena; Rybinski, Henryk 8 1996 Unique decipherability for partially commutative alphabets. Zbl 0634.94014Chrobak, Marek; Rytter, Wojciech 8 1987 The algebra of synchronous processes. Zbl 0683.68024Weijland, W. P. 8 1989 Weakly stratified logic programs. Zbl 0699.68109Przymusinska, Halina; Przymusinski, Teodor C. 8 1990 Formalising abilities and opportunities of agents. Zbl 0903.68045van 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.68042Dovier, Agostino; Policriti, Alberto; Rossi, Gianfranco 8 1998 Stationary default extensions. Zbl 0835.68111Przymusinska, Halina; Przymusinski, Teodor 8 1994 A temporal logic for event structures. Zbl 0677.03012Penczek, Wojciech 8 1988 Stable theories in autoepistemic logic. Zbl 0673.03016Marek, W. 8 1989 Linear logic, comonads and optimal reductions. Zbl 0818.03007Asperti, Andrea 8 1995 Cut elimination for classical bilinear logic. Zbl 0817.03027Lambek, J. 8 1995 History preserving, causal and mixed-ordering equivalence over stable event structures. Zbl 0767.68074Aceto, Luca 7 1992 Reflexive autoepistemic logic. Zbl 0772.68091Schwarz, Grigori 7 1992 On the undecidability of partial polymorphic type reconstruction. Zbl 0789.03017Pfenning, Frank 7 1993 Time and duration in noninterleaving concurrency. Zbl 0785.68035Murphy, David 7 1993 Long non-crossing configurations in the plane. Zbl 0830.68001Alon, Noga; Rajagopalan, Sridhar; Suri, Subhash 7 1995 A default logic based on epistemic states. Zbl 0838.03021Meyer, J.-J. Ch.; van der Hoek, W. 7 1995 Classes of transfinite sequences accepted by nondeterministic finite automata. Zbl 0553.68048Wojciechowski, Jerzy 7 1984 Formal conception of rough sets. Zbl 0863.03028Bryniarski, Edward 7 1996 A classification and closure properties of languages for describing concurrent system behaviours. Zbl 0486.68074Szijarto, Miklos 7 1981 Some structural properties of systolic tree automata. Zbl 0687.68036Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiorgi, D. 7 1989 Algebraic theory of independence in information systems. Zbl 0727.68118Novotný, Miroslav; Pawlak, Zdzizław 7 1991 Fork algebras in algebra, logic and computer science. Zbl 0890.03036Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M. 7 1997 Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul 38 1998 Finite Markov chain results in evolutionary computation: A tour d’horizon. Zbl 0943.68060Rudolph, Günter 20 1998 Coinductive axiomatization of recursive type equality and subtyping. Zbl 0902.68105Brandt, Michael; Henglein, Fritz 15 1998 Termination of graph rewriting is undecidable. Zbl 0903.68108Plump, Detlef 13 1998 On evolutionary exploration and exploitation. Zbl 0942.68548Eiben, A. E.; Schippers, C. A. 10 1998 Distributed concurrent constraint programming. Zbl 0943.68025Réty, Jean-Hugues 9 1998 Formalising abilities and opportunities of agents. Zbl 0903.68045van 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.68042Dovier, Agostino; Policriti, Alberto; Rossi, Gianfranco 8 1998 Pattern extraction from data. Zbl 0903.68054Nguyen, Sinh Hoa; Nguyen, Hung Son 7 1998 From optimal hyperplanes to optimal decision trees. Zbl 0903.68161Nguyen, Hung Son 7 1998 Lambda abstraction algebras: Coordinatizing models of lambda calculus. Zbl 0909.03018Pigozzi, Don; Salibra, Antonino 5 1998 On Scott consequence systems. Zbl 0904.03038Dimov, Georgi; Vakarelov, Dimiter 4 1998 Building constraint satisfaction problem solvers using rewrite rules and strategies. Zbl 0943.68095Castro, Carlos 4 1998 An overview of parameter control methods by self-adaptation in evolutionary algorithms. Zbl 0941.68817Bäck, Thomas 4 1998 Computable approximations of reals: An information-theoretic analysis. Zbl 0902.68066Calude, Cristian S.; Hertling, Peter H. 3 1998 Parameterized structured operational semantics. Zbl 0904.68132Ferrari, Gian Luigi; Montanari, Ugo 3 1998 Synchronization of a line of identical processors at a given time. Zbl 0908.68005La Torre, Salvatore; Napoli, Margherita; Parente, Domenico. 3 1998 Processes of contextual nets and their characteristics. Zbl 0935.68078Winkowski, Józef 3 1998 Remarks on operations suggested by mutations in genomes. Zbl 0930.68078Dassow, Jürgen; Păun, Gheorghe 3 1998 Simple and minimal ground term equation systems. Zbl 0930.68071Vágvölgyi, Sándor 3 1998 A proof theoretic view of constraint programming. Zbl 0947.68021Apt, Krzysztof R. 3 1998 An axiomatic system of parametricity. Zbl 0949.03031Takeuti, Izumi 2 1998 Automated deduction techniques for studying rough algebras. Zbl 0902.68182Vigneron, Laurent 2 1998 The ground tree transducer game. Zbl 0903.68124Vágvölgyi, Sándor 2 1998 Adding partial orders to linear temporal logic. Zbl 0930.68063Bhat, Girish; Peled, Doron 2 1998 General domain circumscription and its effective reductions. Zbl 0935.68066Doherty, Patrick; Łukaszewicz, Witold; Szałas, Andrzej 2 1998 Rule-based constraint programming. Zbl 0943.68094Kirchner, Claude; Ringeissen, Christophe 2 1998 An efficient parser for a class of contextual languages. Zbl 0902.68115Gramatovici, Radu 1 1998 Generalized factors of words. Zbl 0902.68152Ilie, Lucian 1 1998 Limits of pure grammars with monotone productions. Zbl 0902.68109Martinek, Pavel 1 1998 Minimal-maximal time cause-effect structures. Zbl 0902.68138Czaja, Ludwik 1 1998 Cause-effect structures – structural and semantic properties revisited. Zbl 0902.68139Czaja, Ludwik 1 1998 CR-structures. Zbl 0908.68112Schmitt, Vincent 1 1998 On the size of stack and synchronization alphabets of tree automata. Zbl 0935.68063Rahonis, George; Salomaa, Kai 1 1998 Truth of duration calculus formulae in timed frames. Zbl 0930.68089Middelburg, Kees A. 1 1998 Optimizations of rough set model. Zbl 0935.68104Stepaniuk, Jaroslaw 1 1998 DNA computing: A review. Zbl 0941.68564Deaton, 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.68101Esparza, Javier 26 1997 A new version of the rule induction system LERS. Zbl 0882.68122Grzymala-Busse, Jerzy W. 25 1997 Rough sets and 3-valued Lukasiewicz logic. Zbl 0895.03007Banerjee, Mohua 17 1997 Quasi-metrics and the semantics of logic programs. Zbl 0868.68021Seda, Anthony Karel 13 1997 Fork algebras in algebra, logic and computer science. Zbl 0890.03036Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M. 7 1997 Algebraic aspects of attribute dependencies in information systems. Zbl 0868.68052Düntsch, Ivo; Gediga, Günther 7 1997 Modal tableaux with propagation rules and structural rules. Zbl 0926.03020Castilho, Marcos A.; Fariñas del Cerro, Luis; Gasquet, Olivier; Herzig, Andreas 7 1997 Disjunctive signed logic programs. Zbl 0927.68020Khamsi, Mohamed A.; Misane, Driss 7 1997 Proposal for a theory of belief revision along the lines of Lindström and Rabinowicz. Zbl 0890.03011Segerberg, Krister 6 1997 Decision algorithms: A survey of rough set - theoretic methods. Zbl 0881.68053Skowron, Andrzej; Polkowski, Lech 5 1997 Tree automata and automated model building. Zbl 0882.68094Peltier, Nicolas 4 1997 Representation of residuated semigroups in some algebras of relations (the method of canonical models). Zbl 0876.03036Buszkowski, Wojciech; Kołowska-Gawiejnowicz, Mirosława 4 1997 Rough set approximations of languages. Zbl 0891.68054Pǎun, Gheorge; Polkowski, Lech; Skowron, Andrzej 4 1997 Graded consequence and some metalogical notions generalized. Zbl 0926.68065Chakraborty, Mihir K.; Basu, Sanjukta 4 1997 Deriving invariants and constraints from action theories. Zbl 0882.68139Zhang, Yan; Foo, Norman Y. 3 1997 How to interpret and establish consistency results for semantics of concurrent programming languages. Zbl 0870.68098Baier, Christel; Majster-Cederbaum, Mila 2 1997 Asking questions versus verifiability. Zbl 0888.68105Gasarch, William; Velauthapillai, Mahendran 2 1997 Some undecidability results for finitely generated Thue congruences on a two-letter alphabet. Zbl 0888.68079Madlener, Klaus; Otto, Friedrich 2 1997 On the power of compositional proofs for nets: Relationships between completeness and modularity. Zbl 0883.68060Trakhtenbrot, B. A. 2 1997 Complexity of recursive normal default logic. Zbl 0937.03038Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. 2 1997 Well-founded semantics for default logic. Zbl 0902.03013Brewka, Gerhard; Gottlob, Georg 2 1997 Modal logics for local and global similarity relations. Zbl 0906.03014Deneva, Ana; Vakarelov, Dimiter 2 1997 Processes in cause-effect systems. Zbl 0892.68036Maggiolo-Schettini, Andrea; Matteucci, Gionata 2 1997 A convex powerdomain over lattices: its logic and \(\lambda\)-calculus. Zbl 0926.68023Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo 2 1997 Unification: Nothing but the solution of a system of linear equations. Zbl 0926.68027Bujosa, Andrés; Criado, Regino; Hernandez-Medina, Miguel A. 2 1997 Atomicity and concurrency control in process calculi. Zbl 0870.68067Ferrari, Gian-Luigi 1 1997 A representation of dependence spaces and some basic algorithms. Zbl 0870.68146Järvinen, Jouni 1 1997 On the decidability of non-interleaving process equivalences. Zbl 0883.68059Kiehn, Astrid; Hennessy, Matthew 1 1997 Controlled H systems and Chomsky hierarchy. Zbl 0883.68080Paun, Gheorghe 1 1997 From dissemilattices to snack algebras. Zbl 0882.68057Romanowska, Anna 1 1997 Directions and foldings on generalized trees. Zbl 0888.68091Basarab, Şerban A. 1 1997 On generalized Ajdukiewicz and Lambek calculi and grammars. Zbl 0881.68075Kandulski, Maciej 1 1997 Pattern ambiguities for pure context-free grammars. Zbl 0881.68076Mäkinen, Erkki; Ţiplea, Ferucio Laurenţiu 1 1997 Machine learning through data classification and reduction. Zbl 0881.68100Ziarko, 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 Bounds on average weighted depth of decision trees. Zbl 0888.68054Moshkov, Mikhail; Chikalov, Igor 1 1997 An abstract approach to some loop detection problems. Zbl 0895.68021Skordev, Dimiter 1 1997 Queries and algorithms computable by polynomial time existential reflective machines. Zbl 0892.68028Tyszkiewicz, Jerzy 1 1997 The \(\zeta\)-semantics: A comprehensive semantics for functional programs. Zbl 0892.68060Chitil, Olaf 1 1997 On definitional transformations to normal form for intuitionistic logic. Zbl 0871.03042Egly, Uwe 1 1997 Bi-models: Relational versus domain-theoretic approaches. Zbl 0926.68024Bucciarelli, Antonio 1 1997 An axiomatization for regular processes in timed branching bisimulation. Zbl 0926.68054Fokkink, Wan 1 1997 Decision problems concerning a power series genealization of DT0L systems. Zbl 0920.68065Honkala, Juha 1 1997 Tolerance approximation spaces. Zbl 0868.68103Skowron, Andrzej; Stepaniuk, Jaroslaw 202 1996 Graph processes. Zbl 0854.68054Corradini, A.; Montanari, U.; Rossi, F. 42 1996 Rough sets through algebraic logic. Zbl 0864.03041Banerjee, Mohua; Chakraborty, Mihir K. 38 1996 Graph grammars with negative application conditions. Zbl 0854.68055Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele 35 1996 Equational term graph rewriting. Zbl 0854.68049Ariola, Zena M.; Klop, Jan Willem 32 1996 Rough concept analysis: A synthesis of rough sets and formal concept analysis. Zbl 0861.68098Kent, Robert E. 21 1996 Rough sets, rough relations and rough functions. Zbl 0854.04008Pawlak, Zdzislaw 16 1996 Rough-set reasoning about uncertain data. Zbl 0854.68098Slowiński, Roman; Stefanowski, Jerzy 16 1996 Two-dimensional finite state recognizability. Zbl 0843.68054Giammarresi, Dora; Restivo, Antonio 13 1996 Comparison of rough-set and interval-set models for uncertain reasoning. Zbl 0858.68107Yao, Y. Y.; Li, Xining 13 1996 Rough sets and Nelson algebras. Zbl 0858.68110Pagliani, Piero 10 1996 Satisfiability of inequalities in a poset. Zbl 0863.68073Pratt, Vaughan; Tiuryn, Jerzy 10 1996 Towards an algebraic theory of context-free languages. Zbl 0843.68050Berstel, J.; Boasson, L. 8 1996 Computation of reducts of composed information systems. Zbl 0854.68097Kryszkiewicz, Marzena; Rybinski, Henryk 8 1996 Formal conception of rough sets. Zbl 0863.03028Bryniarski, Edward 7 1996 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 7 1996 Theoretical foundations of order-based genetic algorithms. Zbl 0866.68043Wróblewski, Jakub 7 1996 Text languages in an algebraic framework. Zbl 0843.68058Hoogeboom, Hendrik Jan; ten Pas, Paulien 6 1996 First-order rough logic. I: Approximate reasoning via rough sets. Zbl 0853.03007Lin, T. Y.; Liu, Qing 6 1996 Variable precision extension of rough sets. Zbl 0858.90084Katzberg, Jack David; Ziarko, Wojciech 6 1996 ...and 340 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,811 Authors 23 Ésik, Zoltán 21 Corradini, Andrea 19 Montanari, Ugo G. 18 Baldan, Paolo 16 Aceto, Luca 16 Bergstra, Jan A. 16 Chakraborty, Mihir Kumar 16 Gadducci, Fabio 16 Marek, V. Wiktor 15 Wu, Weizhi 14 Rozenberg, Grzegorz 13 Chen, Degang 13 Vágvölgyi, Sándor 12 Gorrieri, Roberto 12 König, Barbara 12 Orejas, Fernando 11 Baier, Christel 11 Fokkink, Willem Jan 11 Klop, Jan Willem 11 Orłowska, Ewa S. 11 Skowron, Andrzej 11 Zhu, William 10 Ciucci, Davide 10 Ehrig, Hartmut 10 Ingólfsdóttir, Anna 10 Khan, Md. Aquil 10 Li, Jinjin 10 Luttik, Bas 10 Mi, Jusheng 10 Ponse, Alban 10 Priami, Corrado 10 Yao, Yiyu 9 Baaz, Matthias 9 Droste, Manfred 9 Eiter, Thomas 9 Leitsch, Alexander 9 Li, Qingguo 9 Majster-Cederbaum, Mila E. 9 Remmel, Jeffrey Brian 9 Struth, Georg 9 van Glabbeek, Robert Jan 9 Xu, Weihua 9 Zhang, Wenxiu 9 Zhang, Yanlan 8 Banerjee, Mohua 8 Bloom, Stephen L. 8 Dai, Jianhua 8 Degano, Pierpaolo 8 Dezani-Ciancaglini, Mariangiola 8 Düntsch, Ivo 8 Ehrenfeucht, Andrzej 8 Godo, Lluís 8 Heckel, Reiko 8 Hetzl, Stefan 8 Honkala, Juha 8 Hu, Baoqing 8 Ma, Minghui 8 Middeldorp, Aart 8 Peltier, Nicolas 8 Petrukhin, Yaroslav Igorevich 8 Przymusinski, Teodor C. 8 Ribeiro, Leila 8 Schröder, Lutz 8 Subrahmanian, V. S. 8 Truszczyński, Mirosław 8 Vogler, Walter 7 Avron, Arnon 7 Barequet, Gill 7 Bonacina, Maria Paola 7 Bonchi, Filippo 7 Bruni, Roberto 7 Dubois, Didier 7 Engelfriet, Joost 7 Giesl, Jürgen 7 Grabowski, Adam 7 Järvinen, Jouni 7 Katoen, Joost-Pieter 7 Li, Zhaowen 7 Lodaya, Kamal 7 Maggiolo-Schettini, Andrea 7 Napoli, Margherita 7 Qian, Yuhua 7 Radeleczki, Sándor 7 Rodríguez, Ricardo Oscar 7 Ronchi Della Rocca, Simona 7 Salibra, Antonino 7 Salomaa, Kai T. 7 Silva, Alexandra 7 Szałas, Andrzej 7 Thiemann, René 7 Vakarelov, Dimiter 7 Valencia, Frank D. 7 Zantema, Hans 6 Alcântara, João 6 Arieli, Ofer 6 Bedon, Nicolas 6 Benevides, Mario R. F. 6 Bérard, Béatrice 6 Cattaneo, Gianpiero 6 Chatain, Thomas ...and 2,711 more Authors all top 5 Cited in 197 Journals 395 Theoretical Computer Science 120 Information Sciences 115 Information and Computation 91 International Journal of Approximate Reasoning 67 Artificial Intelligence 59 Studia Logica 47 Annals of Mathematics and Artificial Intelligence 45 Information Processing Letters 44 Fuzzy Sets and Systems 42 Journal of Computer and System Sciences 42 Annals of Pure and Applied Logic 37 Journal of Logical and Algebraic Methods in Programming 33 Acta Informatica 33 Soft Computing 25 Journal of Automated Reasoning 25 Journal of Applied Non-Classical Logics 25 The Journal of Logic and Algebraic Programming 24 Formal Aspects of Computing 17 Journal of Symbolic Computation 17 Computational Geometry 16 Logical Methods in Computer Science 15 Journal of Philosophical Logic 14 MSCS. Mathematical Structures in Computer Science 14 RAIRO. Theoretical Informatics and Applications 13 European Journal of Operational Research 13 RAIRO. Informatique Théorique et Applications 12 Archive for Mathematical Logic 12 Journal of Applied Logic 11 Discrete & Computational Geometry 10 Theory and Practice of Logic Programming 10 Journal of Applied Mathematics 9 Computers & Mathematics with Applications 9 Discrete Applied Mathematics 9 Algorithmica 8 Journal of Logic, Language and Information 8 Fundamenta Informaticae 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 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 Constraints 4 Logic and Logical Philosophy 4 ACM Transactions on Computational Logic 4 The Review of Symbolic Logic 4 Computer Science Review 3 Programming and Computer Software 3 Real-Time Systems 3 Distributed Computing 3 Applied Categorical Structures 3 Journal of Mathematical Sciences (New York) 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 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 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 ...and 97 more Journals all top 5 Cited in 38 Fields 1,889 Computer science (68-XX) 776 Mathematical logic and foundations (03-XX) 129 Order, lattices, ordered algebraic structures (06-XX) 82 Category theory; homological algebra (18-XX) 67 General topology (54-XX) 51 Operations research, mathematical programming (90-XX) 48 Combinatorics (05-XX) 41 General algebraic systems (08-XX) 36 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 24 Group theory and generalizations (20-XX) 23 Information and communication theory, circuits (94-XX) 21 History and biography (01-XX) 18 Convex and discrete geometry (52-XX) 14 Biology and other natural sciences (92-XX) 13 Statistics (62-XX) 13 Numerical analysis (65-XX) 11 Associative rings and algebras (16-XX) 11 Probability theory and stochastic processes (60-XX) 6 Geometry (51-XX) 5 Functional analysis (46-XX) 5 Quantum theory (81-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Real functions (26-XX) 4 Measure and integration (28-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 General and overarching topics; collections (00-XX) 3 Field theory and polynomials (12-XX) 3 Algebraic topology (55-XX) 3 Systems theory; control (93-XX) 2 Commutative algebra (13-XX) 2 Operator theory (47-XX) 2 Manifolds and cell complexes (57-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Ordinary differential equations (34-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral equations (45-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year