The following pages link to Moreno Falaschi (Q671508):
Displaying 48 items.
- (Q604476) (redirect page) (← links)
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- Declarative modeling of the operational behavior of logic languages (Q913530) (← links)
- Finite failures and partial computations in concurrent logic languages (Q915476) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Constraint logic programming with dynamic scheduling: A semantics based on closure operators (Q1368380) (← links)
- Confluence in concurrent constraint programming (Q1391102) (← links)
- A model-theoretic reconstruction of the operational semantics of logic programs (Q1803658) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- A logical and graphical framework for reaction systems (Q2034775) (← links)
- A process algebraic approach to reaction systems (Q2044947) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Rewriting-based repairing strategies for XML repositories (Q2436514) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- (Q2766777) (← links)
- Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424. (Q2841221) (← links)
- A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenci (Q2841284) (← links)
- (Q2844058) (← links)
- (Q2844059) (← links)
- An Access Control Language Based on Term Rewriting and Description Logic (Q3003515) (← links)
- Abstract Diagnosis of Functional Programs (Q3079916) (← links)
- NESTED GUARDED HORN CLAUSES (Q3358219) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Transformation and Debugging of Functional Logic Programs (Q3578400) (← links)
- Declarative Diagnosis of Temporal Concurrent Constraint Programs (Q3608660) (← links)
- A synchronization logic: Axiomatics and formal semantics of generalized horn clauses (Q3719821) (← links)
- (Q3742694) (← links)
- (Q4217931) (← links)
- (Q4281615) (← links)
- (Q4287469) (← links)
- Analyses of unsatisfiability for equational logic programming (Q4327430) (← links)
- A confluent semantic basis for the analysis of concurrent constraint logic programs (Q4364205) (← links)
- (Q4364365) (← links)
- (Q4417882) (← links)
- Uniform Lazy Narrowing (Q4461934) (← links)
- (Q4471989) (← links)
- (Q4537508) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- Efficient analysis of concurrent constraint logic programs (Q4630298) (← links)
- (Q4858579) (← links)
- Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I (Q4923526) (← links)
- Demand transformation analysis for concurrent constraint programs (Q4943435) (← links)
- Confluence in concurrent constraint programming (Q5096405) (← links)
- Automatic verification of timed concurrent constraint programs (Q5476390) (← links)
- Process calculi for biological processes (Q6062000) (← links)
