Ewa Orlowska Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Ewa Orlowska: An Algebraic Approach to Preference Relations. RAMICS 2011: 141-147
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanna Golinska-Pilarek, Ewa Orlowska: Dual tableau for monoidal triangular norm logic MTL. Fuzzy Sets and Systems 162(1): 39-52 (2011)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska: Dual tableau-based decision procedures for relational logics with restricted composition operator. Journal of Applied Non-Classical Logics 21(2): 177-200 (2011)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Book Reviews. Studia Logica 97(3): 415-419 (2011)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Ewa Orlowska: Discrete Dualities for Double Stone Algebras. Studia Logica 99(1-3): 127-142 (2011)
2010
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Ewa Orlowska, Ingrid Rewitzky: Structures with Multirelations, their Discrete Dualities and Applications. Fundam. Inform. 100(1-4): 77-98 (2010)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Ingrid Rewitzky: Algebras for Galois-style connections and their discrete duality. Fuzzy Sets and Systems 161(9): 1325-1342 (2010)
2009
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Ingrid Rewitzky: Discrete Duality for Relation Algebras and Cylindric Algebras. RelMiCS 2009: 291-305
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Burrieza, Angel Mora, Manuel Ojeda-Aciego, Ewa Orlowska: An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. 86(10&11): 1852-1866 (2009)
2008
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Anna Maria Radzikowska: Representation theorems for some fuzzy logics based on residuated non-distributive lattices. Fuzzy Sets and Systems 159(10): 1247-1259 (2008)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Ewa Orlowska: A discrete duality between apartness algebras and apartness frames. Journal of Applied Non-Classical Logics 18(2-3): 213-227 (2008)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Ingrid Rewitzky: Context Algebras, Context Frames, and Their Discrete Duality. T. Rough Sets 9: 212-229 (2008)
2007
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames F. Peters, Andrzej Skowron, Ivo Düntsch, Jerzy W. Grzymala-Busse, Ewa Orlowska, Lech Polkowski: Transactions on Rough Sets VI, Commemorating the Life and Work of Zdzislaw Pawlak, Part I Springer 2007
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko: Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II Springer 2007
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanna Golinska-Pilarek, Ewa Orlowska: Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE 2007: 1-6
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Ingrid Rewitzky: Discrete Duality and Its Applications to Reasoning with Incomplete Information. RSEISP 2007: 51-56
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, James F. Peters, Grzegorz Rozenberg, Andrzej Skowron: In Memory of Professor Zdzislaw Pawlak. Fundam. Inform. 75(1-4): (2007)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Demri, Ewa Orlowska: Relative Nondeterministic Information Logic is EXPTIME-complete. Fundam. Inform. 75(1-4): 163-178 (2007)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna B. Romanowska, Jonathan D. H. Smith, Ewa Orlowska: Abstract Barycentric Algebras. Fundam. Inform. 81(1-3): 257-273 (2007)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Ingrid Rewitzky: Discrete Dualities for Heyting Algebras with Operators. Fundam. Inform. 81(1-3): 275-295 (2007)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanna Golinska-Pilarek, Ewa Orlowska: Tableaux and Dual Tableaux: Transformation of Proofs. Studia Logica 85(3): 283-302 (2007)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Günther Gediga, Ewa Orlowska: Relational Attribute Systems II: Reasoning with Relations in Information Structures. T. Rough Sets 7: 16-35 (2007)
2006
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens: Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers Springer 2006
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Dzik, Ewa Orlowska, Clint J. van Alten: Relational Representation Theorems for General Lattices with Negations. RelMiCS 2006: 162-176
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska: Relational Approach to Order-of-Magnitude Reasoning. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 105-124
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanna Golinska-Pilarek, Ewa Orlowska: Relational Logics and Their Applications. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 125-161
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Dzik, Ewa Orlowska, Clint J. van Alten: Relational Representation Theorems for Lattices with Negations: A Survey. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 245-266
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Ewa Orlowska, Anna Maria Radzikowska: Lattice-Based Relation Algebras II. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 267-289
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Formisano, Eugenio G. Omodeo, Ewa Orlowska: An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 89-104
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWendy MacCaull, Ewa Orlowska: A Logic of Type Relations and its Applications to Relational Databases. J. Log. Comput. 16(6): 789-815 (2006)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska: Relational dual tableaux for interval temporal logics. Journal of Applied Non-Classical Logics 16(3-4): 251-278 (2006)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanna Golinska-Pilarek, Ewa Orlowska: Relational proof systems for spatial reasoning. Journal of Applied Non-Classical Logics 16(3-4): 409-432 (2006)
2005
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJouni Järvinen, Ewa Orlowska: Relational Correspondences for Lattices with Operators. RelMiCS 2005: 134-146
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Ingrid Rewitzky, Ivo Düntsch: Relational Semantics Through Duality. RelMiCS 2005: 17-32
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Anna Maria Radzikowska: Relational Representability for Algebras of Substructural Logics. RelMiCS 2005: 212-224
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Andrzej Szalas: Quantifier Elimination in Elementary Set Theory. RelMiCS 2005: 237-248
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Ingrid Rewitzky: Duality via Truth: Semantic frameworks for lattice-based logics. Logic Journal of the IGPL 13(4): 467-490 (2005)
2004
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski: Editorial. Ann. Pure Appl. Logic 126(1-3): 3-4 (2004)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Ewa Orlowska: Boolean algebras arising from information systems. Ann. Pure Appl. Logic 127(1-3): 77-98 (2004)
2003
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens: Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers Springer 2003
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWendy MacCaull, Ewa Orlowska: A Calculus of Typed Relations. RelMiCS 2003: 191-201
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio G. Omodeo, Ewa Orlowska, Alberto Policriti: Rasiowa-Sikorski Style Relational Elementary Set Theory. RelMiCS 2003: 215-226
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Ewa Orlowska, Ullrich Hustadt: Two Proof Systems for Peirce Algebras. RelMiCS 2003: 238-251
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Ewa Orlowska, Anna Maria Radzikowska: Lattice-Based Relation Algebras and Their Representability. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 231-255
2002
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Demri, Ewa Orlowska: Incomplete Information: Structure, Inference, Complexity Springer 2002
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWendy MacCaull, Ewa Orlowska: Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. Studia Logica 71(3): 389-414 (2002)
2001
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Anna Maria Radzikowska: Double Residuated Lattices and Their Applications. RelMiCS 2001: 171-189
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Ewa Orlowska, Hui Wang: Algebras of Approximating Regions. Fundam. Inform. 46(1-2): 71-82 (2001)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Günther Gediga, Ewa Orlowska: Relational attribute systems. Int. J. Hum.-Comput. Stud. 55(3): 293-309 (2001)
2000
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Wendy MacCaull, Ewa Orlowska: Structures with Many-Valued Information and Their Relational Proof Theory. ISMVL 2000: 293-
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Ewa Orlowska, Hui Wang: An Algebraic and Logical Approach to the Approximation of Regions. RelMiCS 2000: 65-74
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Ewa Orlowska: A Proof System for Contact Relation Algebras. J. Philosophical Logic 29(3): 241-262 (2000)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo Düntsch, Ewa Orlowska: Logics of Complementarity in Information Systems. Math. Log. Q. 46(2): 267-288 (2000)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStanislaw Balcerzyk, Wiktor Bartol, Ewa Orlowska, Andrzej Wieczorek, Agnieszka Wojciechowska-Waszkiewicz: Jerzy Los 1920-1998; Elements of Biography. Studia Logica 65(3): 301-314 (2000)
1999
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Ewa Orlowska: A hierarchy of modal logics with relative accessibility relations. Journal of Applied Non-Classical Logics 9(2-3): (1999)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Demri, Ewa Orlowska: Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae. Studia Logica 62(2): 177-200 (1999)
1998
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Andrzej Szalas: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998 RelMiCS 1998
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBeata Konikowska, Charles G. Morgan, Ewa Orlowska: Relational semantics for arbitrary finite valued logics. RelMiCS 1998: 138-143
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Demri, Ewa Orlowska: Classes of modal frames definable by closure relational operations. RelMiCS 1998: 48-52
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo F. Frias, Ewa Orlowska: Equational Reasoning in Non--Classical Logics. Journal of Applied Non-Classical Logics 8(1-2): (1998)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBeata Konikowska, Charles G. Morgan, Ewa Orlowska: A Relational Formalisation of Arbitrary Finite Valued Logics. Logic Journal of the IGPL 6(5): 755-774 (1998)
1997
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Many-Valuedness and Uncertainty. ISMVL 1997: 153-
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo F. Frias, Ewa Orlowska: Equational Reasoning in Non-Classical Logics. RelMiCS 1997: 321-329
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Demri, Ewa Orlowska: Reasoning with Relational Demonic Operators. RelMiCS 1997: 331-340
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMihir K. Chakraborty, Ewa Orlowska: Substitutivity Principles in Some Theories of Uncertainty. Fundam. Inform. 32(2): 107-120 (1997)
1996
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska: Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings Springer 1996
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Relational Environment for Semigroup Logics. Logic, Action, and Information 1996: 351-391
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Green, Neil Horne, Ewa Orlowska, Paul Siemens: A Rough Set Model of Information Retrieval. Fundam. Inform. 28(3-4): 273-296 (1996)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Demri, Ewa Orlowska: Logical Analysis of Demonic Nondeterministic Programs. Theor. Comput. Sci. 166(1&2): 173-202 (1996)
1995
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Information Algebras. AMAST 1995: 50-65
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Herment, Ewa Orlowska: Handling Information Logics in a Graphical Proof Editor. Computational Intelligence 11: 297-322 (1995)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Andrzej Skowron: In Memoriam Helena Rasiowa. Studia Logica 54(1): 1-2 (1995)
1994
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Two Logical Dimensions. JELIA 1994: 231
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Demri, Ewa Orlowska, Ingrid Rewitzky: Towards Reasoning about Hoare Relations. Ann. Math. Artif. Intell. 12(3-4): 265-289 (1994)
1993
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Rough Set Semantics for Non-classical Logics. RSKD 1993: 143-148
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Reasoning with Incomplete Information: Rough Set Based Information Logics. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems 1993: 16-33
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Dynamic logic with program specifications and its relational proof system. Journal of Applied Non-Classical Logics 3(2): (1993)
1992
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Relational Proof System for Relevant Logics. J. Symb. Log. 57(4): 1425-1440 (1992)
1991
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Relational proof systems for some AI logics. FAIR 1991: 33-47
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Post Relation Algebras and Their Proof System. ISMVL 1991: 298-305
1990
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras. Nonclassical Logics and Information Processing 1990: 1-22
1988
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Proof System for Weakest Prespecification and its Applications. MFCS 1988: 463-471
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Proof System for Weakest Prespecification. Inf. Process. Lett. 27(6): 309-313 (1988)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Representation of vague information. Inf. Syst. 13(2): 167-174 (1988)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Logical aspects of learning concepts. Int. J. Approx. Reasoning 2(4): 349-364 (1988)
1986
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Semantic Analysis of Inductive Reasoning. Theor. Comput. Sci. 43: 81-89 (1986)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Ewa Orlowska: Corrigendum: DAL-A Logic for Data Analysis. Theor. Comput. Sci. 47(3): 345 (1986)
1985
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Ewa Orlowska: DAL - A Logic for Data Analysis. Theor. Comput. Sci. 36: 251-264 (1985)
1984
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Ewa Orlowska: DAL: A Logic for Data Analysis. ECAI 1984: 337-346
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Ewa Orlowska: DAL - A Logic for Data Analysis. FGCS 1984: 254-261
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: A logic of indiscernibility relations. Symposium on Computation Theory 1984: 177-186
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Zdzislaw Pawlak: Expressive Power of Knowledge Representation Systems. International Journal of Man-Machine Studies 20(5): 485-500 (1984)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska, Zdzislaw Pawlak: Representation of Nondeterministic Information. Theor. Comput. Sci. 29: 27-39 (1984)
1982
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Representation of temporal information. International Journal of Parallel Programming 11(6): 397-408 (1982)
1980
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: On some extensions of dynamic logic. Logic of Programs 1980: 205-212
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Resolution problem and their applications I. Fundam. Inform. 3(2): 235- (1980)
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwa Orlowska: Resolution systems and their applications II. Fundam. Inform. 3(3): 333-362 (1980)

Coauthor Index

1Zofia Adamowicz [60]
2José Júlio Alferes [32]
3Clint J. van Alten [71] [74]
4Sergei N. Artëmov [60]
5Marianna Nicolosi Asmundo [95]
6Philippe Balbiani [43]
7Stanislaw Balcerzyk [44]
8Wiktor Bartol [44]
9Davide Bresolin [67]
10Alfredo Burrieza [73] [89]
11Domenico Cantone [95]
12Luis Fariñas del Cerro [8] [9] [10] [11]
13Mihir K. Chakraborty [33]
14Stéphane Demri [24] [29] [34] [39] [42] [53] [80]
15Ivo Düntsch [45] [46] [47] [48] [49] [50] [54] [59] [64] [70] [76] [85] [87] [92] [93] [97]
16Wojciech Dzik [71] [74]
17Andrea Formisano [69]
18Marcelo F. Frias (Marcelo Fabiùn Frias) [35] [38]
19Günther Gediga [49] [76]
20Joanna Golinska-Pilarek [66] [67] [72] [77] [83] [96]
21John Green [30]
22Jerzy W. Grzymala-Busse [85]
23Michel Herment [27]
24Neil Horne [30]
25Ullrich Hustadt [55]
26Jouni Järvinen [65]
27Beata Konikowska [37] [40]
28Wendy MacCaull [48] [52] [57] [68]
29Victor W. Marek (V. Wiktor Marek) [84]
30Angel Mora (Angel Mora Bonilla) [89]
31Charles G. Morgan [37] [40]
32Damian Niwinski [60]
33Manuel Ojeda-Aciego [73] [89]
34Eugenio G. Omodeo [56] [69]
35Zdzislaw Pawlak [5] [6]
36Luís Moniz Pereira (Luíz Moniz Pereira) [32]
37James F. Peters [81] [84] [85]
38Alberto Policriti [56]
39Lech Polkowski [85]
40Anna Maria Radzikowska (Anna Radzikowska) [51] [54] [63] [70] [88]
41Ingrid Rewitzky [24] [61] [64] [78] [82] [86] [90] [91] [92]
42Anna B. Romanowska [60] [79]
43Marc Roubens [58] [75]
44Grzegorz Rozenberg [81]
45Gunther Schmidt [58] [75]
46Renate A. Schmidt [55]
47Paul Siemens [30]
48Andrzej Skowron [26] [81] [84] [85]
49Roman Slowinski [84]
50Jonathan D. H. Smith [79]
51Harrie C. M. de Swart [58] [75]
52Andrzej Szalas [41] [62]
53Hui Wang [47] [50]
54Andrzej Wieczorek [44]
55Agnieszka Wojciechowska-Waszkiewicz [44]
56Jan Wolenski [60]
57Wojciech Ziarko [84]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page