Ewa Palka

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Wojciech Buszkowski, Ewa Palka
Infinitary Action Logic: Complexity, Models and Grammars. Stud Logica 89 (1) (2008)
Ewa Palka
An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices. Fundam. Informaticae 78 (2) (2007)
Ewa Palka
On Finite Model Property of the Equational Theory of Kleene Algebras. Fundam. Informaticae 68 (3) (2005)
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. Stud Logica 81 (2) (2005)