Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

PODS
1992
ACM

favoriteEmaildiscussreport

96views Database» more PODS 1992»

The Valid Model Semantics for Logic Programs

13 years 9 months ago

The Valid Model Semantics for Logic Programs

Download www.cse.iitb.ac.in

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta

Real-time Traffic

Database | PODS 1992 |

claim paper

Related Content

» Optimisation Validation

» Induction of Stable Models

» TypeBased Static and Dynamic Website Verification

» Evaluating valuegraph translation validation for LLVM

» Validating a Web Service Security Abstraction by Typing

» Relational semantics for effectbased program transformations higherorder store

» Fixpoint Characterizations for ManyValued Disjunctive Logic Programs with Probabilistic Se...

» Level Mapping Characterizations of Selector Generated Models for Logic Programs

» Formal verification of translation validators a case study on instruction scheduling optim...

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	PODS
Authors	Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan

Comments (0)