|
Search the dblp DataBase
Nathalie Chetcuti-Sperandio:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A Decision Method for Duration Calculus. [Citation Graph (0, 0)][DBLP] RelMiCS, 2000, pp:31-44 [Conf]
- Nathalie Chetcuti-Sperandio
Tableau-Based Automated Deduction for Duration Calculus. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2002, pp:53-69 [Conf]
- Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A Decision Method for Duration Calculus. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:11, pp:743-764 [Journal]
- Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A mixed decision method for duration calculus. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:6, pp:877-895 [Journal]
How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|