Ewa Palka

According to our database1, Ewa Palka authored at least 4 papers between 2005 and 2008.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Infinitary Action Logic: Complexity, Models and Grammars.
Stud Logica, 2008

2007
An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices.
Fundam. Informaticae, 2007

2005
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, 2005

On Finite Model Property of the Equational Theory of Kleene Algebras.
Fundam. Informaticae, 2005


  Loading...