Ekaterina Komendantskaya (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8 Yves Bertot, Ekaterina Komendantskaya: Using Structural Recursion for Corecursion CoRR abs/0903.3850: (2009)

5 Yves Bertot, Ekaterina Komendantskaya: Using Structural Recursion for Corecursion. TYPES 2008: 220-236

4 Yves Bertot, Ekaterina Komendantskaya: Inductive and Coinductive Components of Corecursive Functions in Coq CoRR abs/0807.1524: (2008)

3 Yves Bertot, Ekaterina Komendantskaya: Inductive and Coinductive Components of Corecursive Functions in Coq. Electr. Notes Theor. Comput. Sci. 203(5): 25-47 (2008)

Selection of 4 from 8 records - Ekaterina Komendantskaya has 4 coauthors

8		Yves Bertot, Ekaterina Komendantskaya: Using Structural Recursion for Corecursion CoRR abs/0903.3850: (2009)
5		Yves Bertot, Ekaterina Komendantskaya: Using Structural Recursion for Corecursion. TYPES 2008: 220-236
4		Yves Bertot, Ekaterina Komendantskaya: Inductive and Coinductive Components of Corecursive Functions in Coq CoRR abs/0807.1524: (2008)
3		Yves Bertot, Ekaterina Komendantskaya: Inductive and Coinductive Components of Corecursive Functions in Coq. Electr. Notes Theor. Comput. Sci. 203(5): 25-47 (2008)