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: 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 434 Publications have been cited 2,669 times in 2,201 Documents Cited by ▼ Year ▼ Tolerance approximation spaces. Zbl 0868.68103Skowron, Andrzej; Stepaniuk, Jaroslaw 187 1996 On partial languages. Zbl 0468.68088Grabowski, Jan 62 1981 Many-valued modal logics. Zbl 0745.03018Fitting, Melvin C. 61 1991 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 52 1990 Many-valued modal logics. II. Zbl 0772.03006Fitting, Melvin 51 1992 Kleene’s three valued logics and their children. Zbl 0804.03016Fitting, Melvin 50 1994 Behavior strutures and nets. Zbl 0657.68068Rabinovich, A.; Trakhtenbrot, B. A. 47 1988 Termination of term rewriting by semantic labelling. Zbl 0839.68050Zantema, H. 43 1995 A non-interleaving semantics for CCS based on proved transitions. Zbl 0657.68066Boudol, Gérard; Castellani, Ilaria 37 1988 Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul 34 1998 An algebraic approach to the approximation of information. Zbl 0727.68114Comer, Stephen D. 33 1991 Graph processes. Zbl 0854.68054Corradini, A.; Montanari, U.; Rossi, F. 32 1996 The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021Arnold, Andre; Nivat, Maurice 32 1980 Rough sets through algebraic logic. Zbl 0864.03041Banerjee, Mohua; Chakraborty, Mihir K. 31 1996 Equational term graph rewriting. Zbl 0854.68049Ariola, Zena M.; Klop, Jan Willem 29 1996 Graph grammars with negative application conditions. Zbl 0854.68055Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele 28 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 24 1994 Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044Montanari, Ugo; Sassone, Vladimiro 23 1992 The rough sets theory and evidence theory. Zbl 0752.94023Skowron, Andrzej 22 1990 A new version of the rule induction system LERS. Zbl 0882.68122Grzymala-Busse, Jerzy W. 22 1997 Regular tree languages and rewrite systems. Zbl 0839.68053Gilleron, Rémy; Tison, Sophie 20 1995 Rough concept analysis: A synthesis of rough sets and formal concept analysis. Zbl 0861.68098Kent, Robert E. 19 1996 Finite Markov chain results in evolutionary computation: A tour d’horizon. Zbl 0943.68060Rudolph, Günter 19 1998 Timed possibilistic logic. Zbl 0745.03019Dubois, Didier; Lang, Jérôme; Prade, Henri 18 1991 On the algebraization of some Gentzen systems. Zbl 0788.03006Rebagliato, Jordi; Verdú, Ventura 17 1993 Lambda calculus characterizations of poly-time. Zbl 0781.68059Leivant, Daniel; Marion, Jean-Yves 17 1993 Operational, denotational and logical descriptions: A case study. Zbl 0762.68042Egidi, Lavinia; Honsell, Furio; Ronchi Della Rocca, Simona 17 1992 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 16 1997 Abstract relations between restricted termination and confluence properties of rewrite systems. Zbl 0839.68047Gramlich, Bernhard 16 1995 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 Tentative prune-and-search for computing fixed-points with applications to geometric computation. Zbl 0815.68119Kirkpatrick, David; Snoeyink, Jack 16 1995 A classification theory of semantics of normal logic programs. II: Weak properties. Zbl 0829.68022Dix, Jürgen 16 1995 Logic programming on a topological bilattice. Zbl 0647.68096Fitting, Melvin 16 1988 Modelling nondeterministic concurrent processes with event structures. Zbl 0717.68028Loogen, Rita; Goltz, Ursula 15 1991 A modal logic for similarity relations in Pawlak knowledge representation systems. Zbl 0737.68078Vakarelov, Dimiter 14 1991 Ulam games, Łukasiewicz logic, and AF \(C^*\)-algebras. Zbl 0780.03030Mundici, Daniele 14 1993 On some equivalence relations for probabilistic processes. Zbl 0766.68099Huynh, Dung T.; Tian, Lu 14 1992 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 Coinductive axiomatization of recursive type equality and subtyping. Zbl 0902.68105Brandt, Michael; Henglein, Fritz 14 1998 Quasi-metrics and the semantics of logic programs. Zbl 0868.68021Seda, Anthony Karel 14 1997 Convex distance functions in 3-space are different. Zbl 0815.68117Icking, Christian; Klein, Rolf; Lê, Ngoc-Minh; Ma, Lihong 13 1995 Two streamlined depth-first search algorithms. Zbl 0591.68069Tarjan, Robert Endre 13 1986 The weakest prespecification, part II. Zbl 0627.68011Hoare, C. A. R.; He, Jifeng 12 1986 Simplification orderings: History of results. Zbl 0839.68049Steinbach, Joachim 12 1995 Comparison of rough-set and interval-set models for uncertain reasoning. Zbl 0858.68107Yao, Y. Y.; Li, Xining 12 1996 Formalization of inheritance reasoning in autoepistemic logic. Zbl 0846.03011Gelfond, Michael; Przymusinska, Halina 12 1990 Towards a new algebraic foundation of flowchart scheme theory. Zbl 0705.68071Căzănescu, Virgil Emil; Ştefănescu, Gheorghe 12 1990 Finite automata on transfinite sequences and regular expressions. Zbl 0573.68045Wojciechowski, Jerzy 12 1985 A simple algorithm and proof for type inference. Zbl 0645.03014Wand, Mitchell 12 1987 On two-dimensional data organization. II. Zbl 0447.68110Lipski, Witold jun.; Lodi, Elena; Luccio, Fabrizio; Mugnai, Cristina; Pagli, Linda 12 1979 On the amount of nondeterminism in pushdown automata. Zbl 0528.68034Vermeir, Dirk; Savitch, W. J. 12 1981 Topological model set deformations in logic programming. Zbl 0686.03013Batarekh, Aida; Subrahmanian, V. S. 12 1989 Two-dimensional finite state recognizability. Zbl 0843.68054Giammarresi, Dora; Restivo, Antonio 11 1996 Jungle evaluation. Zbl 0706.68069Habel, A.; Kreowski, H.-J.; Plump, D. 11 1991 Arithmetic classification of perfect models of stratified programs. Zbl 0699.68112Apt, Krzysztof R.; Blair, Howard A. 11 1990 Rough sets and Nelson algebras. Zbl 0858.68110Pagliani, Piero 10 1996 Substitution up to isomorphism. Zbl 0806.03043Curien, P.-L. 10 1993 Termination of graph rewriting is undecidable. Zbl 0903.68108Plump, Detlef 10 1998 On evolutionary exploration and exploitation. Zbl 0942.68548Eiben, A. E.; Schippers, C. A. 10 1998 Metamathematics of contexts. Zbl 0844.03014Buvač, Saša; Buvač, Vanja; Mason, Ian A. 9 1995 A classification theory of semantics of normal logic programs. I: Strong properties. Zbl 0829.68021Dix, Jürgen 9 1995 Satisfiability of inequalities in a poset. Zbl 0863.68073Pratt, Vaughan; Tiuryn, Jerzy 9 1996 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 Completions of ordered magmas. Zbl 0463.06005Courcelle, Bruno; Raoult, Jean-Claude 9 1980 Towards an algebraic theory of context-free languages. Zbl 0843.68050Berstel, J.; Boasson, L. 8 1996 Deciding clause classes by semantic clash resolution. Zbl 0789.03016Leitsch, Alexander 8 1993 Stationary default extensions. Zbl 0835.68111Przymusinska, Halina; Przymusinski, Teodor 8 1994 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 Linear logic, comonads and optimal reductions. Zbl 0818.03007Asperti, Andrea 8 1995 Cut elimination for classical bilinear logic. Zbl 0817.03027Lambek, J. 8 1995 Epistemic entrenchment in autoepistemic logic. Zbl 0772.68089Boutilier, Craig 8 1992 Easy terms in the lambda calculus. Zbl 0574.03005Jacopini, Giuseppe; Venturini Zilli, Marisa 8 1985 Unique decipherability for partially commutative alphabets. Zbl 0634.94014Chrobak, Marek; Rytter, Wojciech 8 1987 Stable theories in autoepistemic logic. Zbl 0673.03016Marek, W. 8 1989 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 The algebra of synchronous processes. Zbl 0683.68024Weijland, W. P. 8 1989 Fork algebras in algebra, logic and computer science. Zbl 0890.03036Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M. 7 1997 A default logic based on epistemic states. Zbl 0838.03021Meyer, J.-J. Ch.; van der Hoek, W. 7 1995 Computation of reducts of composed information systems. Zbl 0854.68097Kryszkiewicz, Marzena; Rybinski, Henryk 7 1996 On the classification and existence of structures in default logic. Zbl 0810.03019Zhang, Aidong; Marek, Wiktor 7 1990 A three-valued logic for software specification and validation. Zbl 0771.68087Konikowska, Beata; Tarlecki, Andrzej; Blikle, Andrzej 7 1991 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 What is a nonmonotonic consequence relation? Zbl 0809.68107Stalnaker, Robert 7 1994 Long non-crossing configurations in the plane. Zbl 0830.68001Alon, Noga; Rajagopalan, Sridhar; Suri, Subhash 7 1995 Reflexive autoepistemic logic. Zbl 0772.68091Schwarz, Grigori 7 1992 A temporal logic for event structures. Zbl 0677.03012Penczek, Wojciech 7 1988 Classes of transfinite sequences accepted by nondeterministic finite automata. Zbl 0553.68048Wojciechowski, Jerzy 7 1984 Disjunctive signed logic programs. Zbl 0927.68020Khamsi, Mohamed A.; Misane, Driss 7 1997 Fixed-points and algebras with infinitely long expressions. II. \(\mu\)- clones of regular algebras. Zbl 0436.68015Tiuryn, Jerzy 7 1979 Algorithmic logic and its applications in the theory of programs. I. Zbl 0358.68036Mirkowska, Grazyna 7 1977 Algebraic theory of independence in information systems. Zbl 0727.68118Novotný, Miroslav; Pawlak, Zdzizław 7 1991 Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul 34 1998 Finite Markov chain results in evolutionary computation: A tour d’horizon. Zbl 0943.68060Rudolph, Günter 19 1998 Coinductive axiomatization of recursive type equality and subtyping. Zbl 0902.68105Brandt, Michael; Henglein, Fritz 14 1998 Termination of graph rewriting is undecidable. Zbl 0903.68108Plump, Detlef 10 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 6 1998 Lambda abstraction algebras: Coordinatizing models of lambda calculus. Zbl 0909.03018Pigozzi, Don; Salibra, Antonino 5 1998 From optimal hyperplanes to optimal decision trees. Zbl 0903.68161Nguyen, Hung Son 5 1998 On Scott consequence systems. Zbl 0904.03038Dimov, Georgi; Vakarelov, Dimiter 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 Synchronization of a line of identical processors at a given time. Zbl 0908.68005La Torre, Salvatore; Napoli, Margherita; Parente, Domenico. 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 Building constraint satisfaction problem solvers using rewrite rules and strategies. Zbl 0943.68095Castro, Carlos 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 Processes of contextual nets and their characteristics. Zbl 0935.68078Winkowski, Józef 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 Parameterized structured operational semantics. Zbl 0904.68132Ferrari, Gian Luigi; Montanari, Ugo 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. 22 1997 Rough sets and 3-valued Lukasiewicz logic. Zbl 0895.03007Banerjee, Mohua 16 1997 Quasi-metrics and the semantics of logic programs. Zbl 0868.68021Seda, Anthony Karel 14 1997 Fork algebras in algebra, logic and computer science. Zbl 0890.03036Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M. 7 1997 Disjunctive signed logic programs. Zbl 0927.68020Khamsi, Mohamed A.; Misane, Driss 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 6 1997 Decision algorithms: A survey of rough set - theoretic methods. Zbl 0881.68053Skowron, Andrzej; Polkowski, Lech 5 1997 Rough set approximations of languages. Zbl 0891.68054Pǎun, Gheorge; Polkowski, Lech; Skowron, Andrzej 4 1997 Proposal for a theory of belief revision along the lines of Lindström and Rabinowicz. Zbl 0890.03011Segerberg, Krister 4 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 Graded consequence and some metalogical notions generalized. Zbl 0926.68065Chakraborty, Mihir K.; Basu, Sanjukta 3 1997 Deriving invariants and constraints from action theories. Zbl 0882.68139Zhang, Yan; Foo, Norman Y. 3 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 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 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 Directions and foldings on generalized trees. Zbl 0888.68091Basarab, Şerban A. 1 1997 Pattern ambiguities for pure context-free grammars. Zbl 0881.68076Mäkinen, Erkki; Ţiplea, Ferucio Laurenţiu 1 1997 Contingency tables as the foundation for concepts, concept hierarchies, and rules: The 49er system approach. Zbl 0881.68042Żytkow, Jan M.; Zembowicz, Robert 1 1997 Bounds on average weighted depth of decision trees. Zbl 0888.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 Modal logics for local and global similarity relations. Zbl 0906.03014Deneva, Ana; Vakarelov, Dimiter 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 On definitional transformations to normal form for intuitionistic logic. Zbl 0871.03042Egly, Uwe 1 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 On the power of compositional proofs for nets: Relationships between completeness and modularity. Zbl 0883.68060Trakhtenbrot, B. A. 1 1997 From dissemilattices to snack algebras. Zbl 0882.68057Romanowska, Anna 1 1997 Tolerance approximation spaces. Zbl 0868.68103Skowron, Andrzej; Stepaniuk, Jaroslaw 187 1996 Graph processes. Zbl 0854.68054Corradini, A.; Montanari, U.; Rossi, F. 32 1996 Rough sets through algebraic logic. Zbl 0864.03041Banerjee, Mohua; Chakraborty, Mihir K. 31 1996 Equational term graph rewriting. Zbl 0854.68049Ariola, Zena M.; Klop, Jan Willem 29 1996 Graph grammars with negative application conditions. Zbl 0854.68055Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele 28 1996 Rough concept analysis: A synthesis of rough sets and formal concept analysis. Zbl 0861.68098Kent, Robert E. 19 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 Comparison of rough-set and interval-set models for uncertain reasoning. Zbl 0858.68107Yao, Y. Y.; Li, Xining 12 1996 Two-dimensional finite state recognizability. Zbl 0843.68054Giammarresi, Dora; Restivo, Antonio 11 1996 Rough sets and Nelson algebras. Zbl 0858.68110Pagliani, Piero 10 1996 Satisfiability of inequalities in a poset. Zbl 0863.68073Pratt, Vaughan; Tiuryn, Jerzy 9 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 7 1996 Text languages in an algebraic framework. Zbl 0843.68058Hoogeboom, Hendrik Jan; ten Pas, Paulien 6 1996 Theoretical foundations of order-based genetic algorithms. Zbl 0866.68043Wróblewski, Jakub 6 1996 Formal conception of rough sets. Zbl 0863.03028Bryniarski, Edward 5 1996 Belief revision in non-monotonic reasoning and logic programming. Zbl 0865.68112Alferes, José Júlio; Moniz Pereira, Luís; Przymusinski, Teodor C. 5 1996 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 5 1996 Recursive models of general inductive types. Zbl 0846.68063Fu, Yuxi 4 1996 First-order rough logic. I: Approximate reasoning via rough sets. Zbl 0853.03007Lin, T. Y.; Liu, Qing 4 1996 Variable precision extension of rough sets. Zbl 0858.90084Katzberg, Jack David; Ziarko, Wojciech 4 1996 A method in linguistic reasoning on a knowledge base representing by sentences with linguistic belief degree. Zbl 0866.68106Nguyen Cat Ho 4 1996 ...and 334 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,677 Authors 22 Ésik, Zoltán 19 Montanari, Ugo G. 18 Corradini, Andrea 16 Bergstra, Jan A. 15 Aceto, Luca 15 Baldan, Paolo 15 Marek, V. Wiktor 14 Gadducci, Fabio 14 Rozenberg, Grzegorz 14 Wu, Weizhi 13 Vágvölgyi, Sándor 12 Chakraborty, Mihir Kumar 12 Chen, Degang 11 Fokkink, Willem Jan 11 Gorrieri, Roberto 11 Orłowska, Ewa S. 11 Zhu, William 10 Baier, Christel 10 Ciucci, Davide 10 Ingólfsdóttir, Anna 10 Klop, Jan Willem 10 Li, Jinjin 10 Luttik, Bas 10 Mi, Jusheng 10 Ponse, Alban 10 Priami, Corrado 10 Yao, Yiyu 9 Baaz, Matthias 9 Eiter, Thomas 9 Li, Qingguo 9 Majster-Cederbaum, Mila E. 9 Orejas, Fernando 9 Remmel, Jeffrey Brian 9 Skowron, Andrzej 9 Struth, Georg 9 van Glabbeek, Robert Jan 9 Xu, Weihua 9 Zhang, Wenxiu 9 Zhang, Yanlan 8 Bloom, Stephen L. 8 Degano, Pierpaolo 8 Dezani-Ciancaglini, Mariangiola 8 Droste, Manfred 8 Düntsch, Ivo 8 Ehrenfeucht, Andrzej 8 Heckel, Reiko 8 Honkala, Juha 8 Khan, Md. Aquil 8 Leitsch, Alexander 8 Peltier, Nicolas 8 Petrukhin, Yaroslav Igorevich 8 Przymusinski, Teodor C. 8 Schröder, Lutz 8 Truszczyński, Mirosław 8 Vogler, Walter 7 Barequet, Gill 7 Bonacina, Maria Paola 7 Dubois, Didier 7 Engelfriet, Joost 7 Godo, Lluís 7 Hetzl, Stefan 7 Hu, Baoqing 7 Katoen, Joost-Pieter 7 König, Barbara 7 Li, Zhaowen 7 Maggiolo-Schettini, Andrea 7 Middeldorp, Aart 7 Napoli, Margherita 7 Qian, Yuhua 7 Ribeiro, Leila 7 Ronchi Della Rocca, Simona 7 Salibra, Antonino 7 Salomaa, Kai T. 7 Silva, Alexandra 7 Subrahmanian, V. S. 7 Vakarelov, Dimiter 7 Valencia, Frank D. 6 Alcântara, João 6 Avron, Arnon 6 Banerjee, Mohua 6 Bedon, Nicolas 6 Benevides, Mario R. F. 6 Bonchi, Filippo 6 Bruni, Roberto 6 Cattaneo, Gianpiero 6 Dai, Jianhua 6 Dickerson, Matthew T. 6 Drewes, Frank 6 Ehrig, Hartmut 6 Endrullis, Jörg 6 Finkel, Olivier 6 Gabbay, Dov M. 6 Giesl, Jürgen 6 Goodrich, Michael Truman 6 Grabowski, Adam 6 Groote, Jan Friso 6 Hoogeboom, Hendrik Jan 6 Järvinen, Jouni 6 Lasota, Sławomir 6 Li, Changqing ...and 2,577 more Authors all top 5 Cited in 194 Journals 394 Theoretical Computer Science 116 Information Sciences 115 Information and Computation 86 International Journal of Approximate Reasoning 65 Artificial Intelligence 57 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 36 Journal of Logical and Algebraic Methods in Programming 33 Soft Computing 32 Acta Informatica 25 Journal of Automated Reasoning 25 The Journal of Logic and Algebraic Programming 24 Formal Aspects of Computing 24 Journal of Applied Non-Classical Logics 17 Journal of Symbolic Computation 17 Computational Geometry 15 Logical Methods in Computer Science 14 Journal of Philosophical Logic 14 RAIRO. Theoretical Informatics and Applications 13 MSCS. Mathematical Structures in Computer Science 13 European Journal of Operational Research 13 RAIRO. Informatique Théorique et Applications 12 Journal of Applied Logic 11 Archive for Mathematical Logic 10 Discrete & Computational Geometry 10 Theory and Practice of Logic Programming 9 Computers & Mathematics with Applications 9 Discrete Applied Mathematics 9 Journal of Applied Mathematics 8 Algorithmica 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 Logic, Language and Information 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 Applicable Algebra in Engineering, Communication and Computing 4 Constraints 4 Logic and Logical Philosophy 4 ACM Transactions on Computational Logic 4 Computer Science Review 3 Programming and Computer Software 3 Real-Time Systems 3 Machine Learning 3 Distributed Computing 3 Applied Categorical Structures 3 Journal of Mathematical Sciences (New York) 3 Mathematical Logic Quarterly (MLQ) 3 Journal of Functional Programming 3 Journal of Heuristics 3 Higher-Order and Symbolic Computation 3 Sādhanā 3 Journal of Discrete Algorithms 3 Fixed Point Theory and Applications 3 The Review of Symbolic Logic 3 Formalized Mathematics 3 RAIRO. Theoretical Informatics and Applications 2 Archiv für Mathematische Logik und Grundlagenforschung 2 International Journal of Computer & Information Sciences 2 Journal of Mathematical Psychology 2 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 Computational and Applied Mathematics 2 Science in China. Series E 2 Abstract and Applied Analysis 2 Journal of Inequalities and Applications 2 Journal of Combinatorial Optimization 2 Erkenntnis 2 International Journal of Applied Mathematics and Computer Science 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems ...and 94 more Journals all top 5 Cited in 38 Fields 1,775 Computer science (68-XX) 725 Mathematical logic and foundations (03-XX) 124 Order, lattices, ordered algebraic structures (06-XX) 69 Category theory; homological algebra (18-XX) 64 General topology (54-XX) 49 Combinatorics (05-XX) 48 Operations research, mathematical programming (90-XX) 39 General algebraic systems (08-XX) 35 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 23 Group theory and generalizations (20-XX) 22 Information and communication theory, circuits (94-XX) 16 Convex and discrete geometry (52-XX) 15 History and biography (01-XX) 13 Statistics (62-XX) 13 Numerical analysis (65-XX) 13 Biology and other natural sciences (92-XX) 11 Associative rings and algebras (16-XX) 9 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) 3 General and overarching topics; collections (00-XX) 3 Field theory and polynomials (12-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Systems theory; control (93-XX) 2 Commutative algebra (13-XX) 2 Operator theory (47-XX) 2 Algebraic topology (55-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