Felix Distel

List of publications from the DBLP Bibliography Server - FAQ

2008

1 EE Franz Baader, Felix Distel: A Finite Basis for the Set of EL-Implications Holding in a Finite Model. ICFCA 2008: 46-61

2008
1	EE	Franz Baader, Felix Distel: A Finite Basis for the Set of EL-Implications Holding in a Finite Model. ICFCA 2008: 46-61

Coauthor Index