Ewa Palka

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

4 EE Wojciech Buszkowski, Ewa Palka: Infinitary Action Logic: Complexity, Models and Grammars. Studia Logica 89(1): 1-18 (2008)

2007

3 EE Ewa Palka: An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices. Fundam. Inform. 78(2): 295-309 (2007)

2005

2 EE Ewa Palka: On Finite Model Property of the Equational Theory of Kleene Algebras. Fundam. Inform. 68(3): 221-230 (2005)

1 EE Ewa Palka: Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, pp xi + 282, ISBN 0-306-47712-2. Studia Logica 81(2): 283-292 (2005)

2008
4	EE	Wojciech Buszkowski, Ewa Palka: Infinitary Action Logic: Complexity, Models and Grammars. Studia Logica 89(1): 1-18 (2008)
2007
3	EE	Ewa Palka: An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices. Fundam. Inform. 78(2): 295-309 (2007)
2005
2	EE	Ewa Palka: On Finite Model Property of the Equational Theory of Kleene Algebras. Fundam. Inform. 68(3): 221-230 (2005)
1	EE	Ewa Palka: Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, pp xi + 282, ISBN 0-306-47712-2. Studia Logica 81(2): 283-292 (2005)

Coauthor Index

1 Wojciech Buszkowski [4]