The following pages link to Nicoletta Cocco (Q609027):
Displayed 16 items.
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- Item:Q609027 (redirect page) (← links)
- Norms on terms and their use in proving universal termination of a logic program (Q1318707) (← links)
- A divide-and-conquer approach to general context-free parsing (Q1836996) (← links)
- (Q2723923) (← links)
- (Q2736363) (← links)
- Comparing Metabolic Pathways through Reactions and Potential Fluxes (Q2849439) (← links)
- Petri Nets for Modelling and Analysing Trophic Networks (Q3174735) (← links)
- A mechanism for exception handling and its verification rules (Q3951521) (← links)
- Termination of well-moded programs (Q4245930) (← links)
- On modular termination proofs of general logic programs (Q4452617) (← links)
- (Q4537519) (← links)
- (Q4707738) (← links)
- Simultaneous Replacement in Normal Programs (Q4870068) (← links)
- Basic transformation operations which preserve computed answer substitutions of logic programs (Q5286917) (← links)
- Program Development in Computational Logic (Q5712545) (← links)