Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 262
Titolo Data di pubblicazione Autore(i) File
Symbolic Semantics and Program Reduction 1-gen-1985 Ambriola, Vincenzo; Giannotti, F; Pedreschi, Dino; Turini, F.
Symbolic Evaluation with Structural Recursive Symbolic Constants 1-gen-1987 Giannotti, Fosca; Matteucci, A; Pedreschi, Dino; Turini, Franco
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES 1-gen-1987 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
COMPLETE LOGIC PROGRAMS WITH DOMAIN-CLOSURE AXIOM 1-gen-1988 Mancarella, PAOLO MARIA; Martini, S; Pedreschi, Dino
A Progress Report on the LML Project 1-gen-1988 Bertolino, B.; Mancarella, PAOLO MARIA; Meo, L.; Nini, L.; Pedreschi, D.; Turini, F.
An Algebra of Logic Programs 1-gen-1988 Mancarella, PAOLO MARIA; Pedreschi, D.
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING 1-gen-1990 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
Universal Quantification by Case Analysis 1-gen-1990 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
Algebraic Properties of a Class of Logic Programs 1-gen-1990 Mancarella, PAOLO MARIA; Pedreschi, D; Rondinelli, M.; Tagliatti, M.
LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK 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.
Reasoning about Termination of Pure Prolog Programs 1-gen-1993 Krzysztof R., Apt; Pedreschi, Dino
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.
Declarative Semantics for Pruning Operators in Logic Programming 1-gen-1994 Giannotti, Fosca; Pedreschi, Dino; Zaniolo, C.
A closer look at declarative interpretations 1-gen-1996 Apt, K. R.; Gabbrielli, M.; Pedreschi, Dino
Logic in databases. International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings. 1-gen-1996 Pedreschi, Dino; Zaniolo, C.
Datalog: a basis for Active Object-Oriented Databases 1-gen-1997 Giannotti, Fosca; Nanni, Mirco; G., Manco; Pedreschi, Dino
Non-determinism in Deductive Databases - Preface. 1-gen-1997 Pedreschi, Dino; Subrahmanian, V. S.
Mostra risultati da 1 a 20 di 262
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