E. Castedo Ellerman (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Nachum Dershowitz, E. Castedo Ellerman: Leanest quasi-orderings. Inf. Comput. 205(4): 535-556 (2007)

1 Nachum Dershowitz, E. Castedo Ellerman: Leanest Quasi-orderings. RTA 2005: 32-45

Selection of 2 from 2 records - E. Castedo Ellerman has 1 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

2		Nachum Dershowitz, E. Castedo Ellerman: Leanest quasi-orderings. Inf. Comput. 205(4): 535-556 (2007)
1		Nachum Dershowitz, E. Castedo Ellerman: Leanest Quasi-orderings. RTA 2005: 32-45