Beata Konikowska
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1974–2012
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | LICS | Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. | Arnon Avron, Beata Konikowska, Anna Zamansky |
| 2002 | CONCUR | Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}. | Beata Konikowska, Wojciech Penczek |
| 1998 | JELIA | Relative Similarity Logics are Decidable: Reduction to FO | Stphane Demri, Beata Konikowska |
| 1991 | MFCS | Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus. | Beata Konikowska |
| 1988 | FM | A Three-Valued Logic for Software Specification and Validation. | Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle |
| 1974 | MFCS | On Some Approximation Problems of Continuous Computation. | Beata Konikowska |