M. Bozzano, G. Delzanno, M. Martelli  Home/Search
Context
Related
| disi.unige.it/pub/person...gulp97.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: disi.unige.it/pers...phdactivity (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Girard's linear logic [18] provides powerful means for studying state transformations and resource consumption in computations within a completely logical framework. The starting point of this work is Forum [22, 23], a presentation of higher order linear logic which is an abstract logic programming language[24], i.e., complete with respect to uniform proofs (cut-free and goal-directed proofs). A subset of Forum's formulas which form the logic programming language E hhf [11, 13], have been... (Update)
Similar documents (at the sentence level):
35.1%: A Linear Logic Specification for Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
20.6%: A Linear Logic Specification of Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
Active bibliography (related documents): More All
0.1: Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
0.1: Trigger Inheritance and Overriding in an Active Object.. - Bertino, Guerrini, Merlo (1997) (Correct)
0.1: A Specification Logic for Concurrent Object-Oriented.. - Delzanno, Galmiche.. (1999) (Correct)
Similar documents based on text: More All
0.4: Proofs as Computations in Linear Logic - Delzanno, Martelli (1996) (Correct)
0.4: Objects in a Higher-Order Linear Logic Setting (Extended.. - Delzanno, Martelli (Correct)
0.3: Logic Programming & Multi-Agent Systems: a.. - Bozzano.. (1999) (Correct)
BibTeX entry: (Update)
@misc{ bozzano-linear,
author = "M. Bozzano and G. Delzanno and M. Martelli",
title = "A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases",
url = "citeseer.ist.psu.edu/252752.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
419 A formulation of the simple theory of types (context) - Church - 1940 DBLP
340 Uniform Proofs as a Foundation for Logic Programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994 ACM DBLP
223 Linear Objects: Logical Processes with Built-In Inheritance - Andreoli, Pareschi - 1990 ACM
223 Linear Objects: Logical Processes with Built-In Inheritance - Andreoli, Pareschi - 1991 ACM
136 Ode as an Active Database: Constraints and Triggers - Gehani, Jagadish - 1991 DBLP
95 Event Specification in Active ObjectOriented Databases - Gehani, Jagadish et al. - 1992
81 A Multiple-Conclusion Meta-Logic - Miller - 1994 DBLP
72 Logic for Computer Science (context) - Gallier - 1986 ACM
46 Forum: A Multiple-Conclusion Specification Logic - Miller - 1996 DBLP
40 Communication as Fair Distribution of Knowledge - Andreoli, Pareschi - 1991 ACM DBLP
37 Active rule management in Chimera (context) - Ceri, Fraternali et al. - 1994 DBLP
30 Objects in Forum - Delzanno, Martelli - 1995 DBLP
25 Designing Database Applications with Objects and Rules: the .. (context) - Ceri, Fraternali - 1997
19 Object-Oriented Programming in Linear Logic (context) - Delzanno - 1996
19 Consolidated specification of Chimera (context) - Ceri, Manthey - 1993
18 A formal definition of the Chimera objectoriented data model (context) - Guerrini, Bertino et al. - 1995
15 Deductive Object Databases - Bertino, Guerrini et al. - 1994 ACM DBLP
12 Object SQL: Language Extensions for Object Data Management (context) - Gallagher - 1992
2 Proofs as computations (context) - Delzanno, Martelli - 1995
1 Draft of the idea methodology (context) - Ceri, Fraternali - 1994
1 Deductive databases in linear logic (context) - Bozzano - 1997
Documents on the same site (http://www.disi.unige.it/person/BozzanoM/phd-activity.html): More
Logic Programming & Multi-Agent Systems: a.. - Bozzano.. (1999) (Correct)
A Linear Logic Specification for Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
A Bottom-up Semantics for LO - Bozzano, Delzanno, Martelli (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC