| |
| 2009 | ||
|---|---|---|
| 7 | EE | Yves Bertot, Ekaterina Komendantskaya: Using Structural Recursion for Corecursion CoRR abs/0903.3850: (2009) |
| 6 | EE | Ekaterina Komendantskaya, Anthony Karel Seda: Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. Electr. Notes Theor. Comput. Sci. 225: 141-159 (2009) |
| 2008 | ||
| 5 | EE | Ekaterina Komendantskaya, John Power: Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. JELIA 2008: 258-271 |
| 4 | EE | Yves Bertot, Ekaterina Komendantskaya: Inductive and Coinductive Components of Corecursive Functions in Coq CoRR abs/0807.1524: (2008) |
| 3 | EE | Yves Bertot, Ekaterina Komendantskaya: Inductive and Coinductive Components of Corecursive Functions in Coq. Electr. Notes Theor. Comput. Sci. 203(5): 25-47 (2008) |
| 2007 | ||
| 2 | EE | Ekaterina Komendantskaya: A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation. TABLEAUX 2007: 165-182 |
| 1 | EE | Ekaterina Komendantskaya, Máire Lane, Anthony Karel Seda: Connectionist Representation of Multi-Valued Logic Programs. Perspectives of Neural-Symbolic Integration 2007: 283-313 |
| 1 | Yves Bertot | [3] [4] [7] |
| 2 | Máire Lane | [1] |
| 3 | John Power (A. John Power) | [5] |
| 4 | Anthony Karel Seda | [1] [6] |