Sfoglia per Autore
A fexilble environment for program development based on symbolic interpreter
1979-01-01 Asirelli, P; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Montanari, UGO GIOVANNI ERASMO; Pacini, G; Sirovich, F; Turini, Franco
A note on the power of backtracking
1980-01-01 Degano, Pierpaolo; Pacini, G.; Turini, Franco
A High Level Analysis Tool for Concurrent Programs
1983-01-01 Mancarella, PAOLO MARIA; Turini, Franco
Cooperating Logic Theories
1986-01-01 Barbuti, Roberto; D'Ascanio, C; Turini, Franco
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES
1987-01-01 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
Symbolic Evaluation with Structural Recursive Symbolic Constants
1987-01-01 Giannotti, Fosca; Matteucci, A; Pedreschi, Dino; Turini, Franco
A Progress Report on the LML Project
1988-01-01 Bertolino, B.; Mancarella, PAOLO MARIA; Meo, L.; Nini, L.; Pedreschi, D.; Turini, F.
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING
1990-01-01 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK
1990-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
RSF: A Formalism for Executable Requirement Specifications
1990-01-01 Michela degli, Innocenti; Ferrari, GIAN-LUIGI; Giuliano, Pacini; Turini, Franco
Universal Quantification by Case Analysis
1990-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
Theory Construction in Computational Logic
1991-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D.; Turini, F.
META FOR MODULARIZING LOGIC PROGRAMMING
1992-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
MODULAR LOGIC PROGRAMMING
1994-01-01 Brogi, Antonio; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
Implementations of Program Composition Operations
1994-01-01 Brogi, A; Chiarelli, A; Mancarella, PAOLO MARIA; Mazzotta, V.; Pedreschi, D.; Renso, C.; Turini, F.
Fully Abstract Compositional Semantics for an Algebra of Logic Programs
1995-01-01 Brogi, Antonio; Turini, Franco
Towards Declarative GIS Analysis
1996-01-01 Aquilino, D.; Renso, C; Turini, Franco
Language Extensions for Semantic Integration of Deductive Databases
1996-01-01 P., Asirelli; C., Renso; Turini, Franco
Meta-Logics and Logic Programming
1996-01-01 Apt, K; Turini, Franco
Using Temporary Integrity Constraints to Optimize Databases
1996-01-01 Montesi, C; Renso, C; Turini, Franco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A fexilble environment for program development based on symbolic interpreter | 1-gen-1979 | Asirelli, P; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Montanari, UGO GIOVANNI ERASMO; Pacini, G; Sirovich, F; Turini, Franco | |
A note on the power of backtracking | 1-gen-1980 | Degano, Pierpaolo; Pacini, G.; Turini, Franco | |
A High Level Analysis Tool for Concurrent Programs | 1-gen-1983 | Mancarella, PAOLO MARIA; Turini, Franco | |
Cooperating Logic Theories | 1-gen-1986 | Barbuti, Roberto; D'Ascanio, C; Turini, Franco | |
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES | 1-gen-1987 | Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco | |
Symbolic Evaluation with Structural Recursive Symbolic Constants | 1-gen-1987 | Giannotti, Fosca; Matteucci, A; Pedreschi, Dino; Turini, Franco | |
A Progress Report on the LML Project | 1-gen-1988 | Bertolino, B.; Mancarella, PAOLO MARIA; Meo, L.; Nini, L.; Pedreschi, D.; Turini, F. | |
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING | 1-gen-1990 | Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco | |
LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK | 1-gen-1990 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F. | |
RSF: A Formalism for Executable Requirement Specifications | 1-gen-1990 | Michela degli, Innocenti; Ferrari, GIAN-LUIGI; Giuliano, Pacini; Turini, Franco | |
Universal Quantification by Case Analysis | 1-gen-1990 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F. | |
Theory Construction in Computational Logic | 1-gen-1991 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D.; Turini, F. | |
META FOR MODULARIZING LOGIC PROGRAMMING | 1-gen-1992 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F. | |
MODULAR LOGIC PROGRAMMING | 1-gen-1994 | Brogi, Antonio; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco | |
Implementations of Program Composition Operations | 1-gen-1994 | Brogi, A; Chiarelli, A; Mancarella, PAOLO MARIA; Mazzotta, V.; Pedreschi, D.; Renso, C.; Turini, F. | |
Fully Abstract Compositional Semantics for an Algebra of Logic Programs | 1-gen-1995 | Brogi, Antonio; Turini, Franco | |
Towards Declarative GIS Analysis | 1-gen-1996 | Aquilino, D.; Renso, C; Turini, Franco | |
Language Extensions for Semantic Integration of Deductive Databases | 1-gen-1996 | P., Asirelli; C., Renso; Turini, Franco | |
Meta-Logics and Logic Programming | 1-gen-1996 | Apt, K; Turini, Franco | |
Using Temporary Integrity Constraints to Optimize Databases | 1-gen-1996 | Montesi, C; Renso, C; Turini, Franco |
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