FALASCHI, MORENO

FALASCHI, MORENO  

Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche  

Mostra records
Risultati 1 - 20 di 67 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autore(i) File Abstract
A compact Fixpoint Semantics for Term Rewriting Systems 1-gen-2010 Alpuente, M.; Comini, M.; Falaschi, Moreno; Escobar, S.; Iborra, J. -
A Debugging Scheme for Functional Logic Programs 1-gen-2002 M., Alpuente; F., Correa; Falaschi, Moreno -
A Declarative View of Signaling Pathways 1-gen-2015 Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia -
A Fast Algebraic Web Verification Service 1-gen-2007 Alpuente, M; Ballis, D; Falaschi, Moreno; Ojeda, P; Romero, D. -
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT 1-gen-2010 Alpuente, M.; Baggi, M.; Ballis, D.; Falaschi, Moreno -
A framework for abstract interpretation of timed concurrent constraint programs 1-gen-2009 Falaschi, Moreno; Olarte, C; Palamidessi, C. -
A framework for modelling spatially dependent interactions of biological systems in CCP. 1-gen-2014 Chiarugi, D.; Falaschi, Moreno; HERMITH RAMIREZ, DIANA PATRICIA; Olarte, C. -
A Logic Programming Approach to Reaction Systems 1-gen-2020 Falaschi, Moreno; Palma, Giulia -
A logical and graphical framework for reaction systems 1-gen-2021 Brodo, L.; Bruni, R.; Falaschi, M. -
A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs 1-gen-1993 Falaschi, Moreno; Levi, G.; Martelli, M.; Palamidessi, C. -
A New Declarative Semantics for Logic Languages 1-gen-1988 Falaschi, Moreno; Levi, G.; Martelli, M.; Palamidessi, C. -
A process algebraic approach to reaction systems 1-gen-2021 Brodo, L.; Bruni, R.; Falaschi, M. -
A proof theoretic view of spatial and temporal dependencies in biochemical systems 1-gen-2016 Olarte, Carlos; Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana -
A Rewriting-based Framework for Web sites Verification 1-gen-2005 Alpuente, M.; Ballis, D.; Falaschi, Moreno -
A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses 1-gen-1984 Falaschi, Moreno; Levi, G.; Martelli, M.; Palamidessi, C. -
A Transformation System for Lazy Functional Logic Programs 1-gen-1999 Alpuente, M.; Falaschi, Moreno; Moreno, G.; Vidal, G. -
A Unifying View of Functional and Logic Program Specialization 1-gen-1998 Alpuente, M.; Falaschi, Moreno; Vidal, G. -
Abstract Correction of first-order Functional Programs 1-gen-2003 Alpuente, M.; Ballis, D.; Escobar, S.; Falaschi, Moreno; Lucas, S. -
Abstract Diagnosis of Functional Programs 1-gen-2003 Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Lucas, S. -
Abstract interpretation of temporal concurrent constraint programs 1-gen-2015 Falaschi, Moreno; Carlos, Olarte; Catuscia, Palamidessi -