Nicoletta Cocco

Available identifiers

Publication	Date of Publication	Type
Petri Nets for Modelling and Analysing Trophic Networks	2018-07-18	Paper
Comparing Metabolic Pathways through Reactions and Potential Fluxes	2013-09-17	Paper
Petri nets for modelling metabolic pathways: a survey	2010-11-30	Paper
Program Development in Computational Logic	2005-12-23	Paper
On modular termination proofs of general logic programs	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4707738	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4537519	2002-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q2736363	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q2723923	2001-07-08	Paper
Termination of well-moded programs	1999-07-20	Paper
Simultaneous Replacement in Normal Programs	1996-03-17	Paper
Norms on terms and their use in proving universal termination of a logic program	1994-04-05	Paper
Basic transformation operations which preserve computed answer substitutions of logic programs	1994-01-13	Paper
A divide-and-conquer approach to general context-free parsing	1983-01-01	Paper
A mechanism for exception handling and its verification rules	1982-01-01	Paper

This page was built for person: Nicoletta Cocco