19 results on '"Falaschi, Moreno"'
Search Results
2. A logical and graphical framework for reaction systems
3. Verification of Spatial and Temporal Modalities in Biochemical Systems
4. Functional and (Constraint) Logic Programming
5. Rewriting-based repairing strategies for XML repositories
6. Simulating Signalling Pathways With BioWayS
7. Foreword
8. Preface
9. Rules + strategies for transforming lazy functional logic programs
10. Preface
11. Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
12. Demand transformation analysis for concurrent constraint programs
13. Confluence in concurrent constraint programming
14. Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators
15. A confluent semantic basis for the analysis of concurrent constraint logic programs
16. A compositional semantic basis for the analysis of equational Horn programs
17. Incremental constraint satisfaction for equational logic programming
18. Analyses of unsatisfiability for equational logic programming
19. Finite failures and partial computations in concurrent logic languages
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.