Sfoglia per Autore
Enhancing Configuration Facilities in Software Development: A Logic Approach
1987-01-01 Inverardi, Paola; Patrizia, Asirelli
An Executon Environment for the Formal Definiton of Ada
1987-01-01 Inverardi, Paola; Alessandro, Fantechi; Stefania, Gnesi; Ugo, Montanari
Improving Integrity Constraint Checking in Deductive Databases
1988-01-01 Inverardi, Paola; Patrizia, Asirelli; A, Mustaro
EDBLOG: A Kernel for Configuration Environments
1988-01-01 Inverardi, Paola; Asirelli, P.
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences
1988-01-01 Gnesi, S; Inverardi, Paola; Nesi, Monica
Is Type Checking Practical for System Configuration?
1989-01-01 Inverardi, Paola; Simone, Martini; Carlo, Montangero
Selective Refutation of Integrity Constraints in Deductive Databases
1989-01-01 Inverardi, Paola; Patrizia, Asirelli; C, Billi
Using Logic Databases in Software Development Environments
1989-01-01 Inverardi, Paola; Patrizia, Asirelli
A Rewriting Strategy to Verify Observational Congruence
1990-01-01 Inverardi, Paola; Nesi, Monica
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications
1990-01-01 DE NICOLA, R; Inverardi, Paola; Nesi, Monica
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications
1990-01-01 Inverardi, Paola; De Nicola, Rocco; Nesi, Monica
Equational Reasoning about LOTOS Specifications: A Rewriting Approach
1991-01-01 Nicola, De; Inverardi, Paola; Nesi, Monica
Infinite Normal Forms for Non-linear Term Rewriting Systems
1991-01-01 Inverardi, Paola; Nesi, Monica
On Rewriting Behavioural Semantics in Process Algebras
1991-01-01 Inverardi, Paola; Nesi, Monica
Combining Interaction and Automation in Process Algebra Verification
1991-01-01 Camilleri, Aj; Inverardi, Paola; Nesi, Monica
On Dealing with Divergent Rewrite Systems
1992-01-01 Inverardi, Paola; Nesi, Monica
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences
1992-01-01 Boreale, M; Inverardi, Paola; Nesi, Monica
A Semantic Driven Method to Check the Finiteness of CCS Processes
1992-01-01 Inverardi, Paola; Nicoletta, De Francesco
Extended Transition Systems for Parametric Bisimulation
1993-01-01 Inverardi, Paola; Corrado, Priami; Daniel, Yankelevich
A Strategy to Deal with Divergent Rewrite Systems
1993-01-01 Inverardi, Paola; Nesi, Monica
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile