Sciweavers

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

6

SAC
2004
ACM

favoriteEmaildiscussreport

99views Applied Computing» more SAC 2004»

Constructive negation by bottom-up computation of literal answers

13 years 10 months ago

Constructive negation by bottom-up computation of literal answers

Download www.ecs.fullerton.edu

Javier Álvez, Paqui Lucio, Fernando Orejas

Real-time Traffic

Applied Computing | SAC 2004 |

claim paper

Related Content

» A New Perspective on Stable Models

» Generic Tableaux for Answer Set Programming

» A Study of Feedback Strategies in Foreign Language Classrooms and Tutorials with Implicati...

» On the Round Complexity of ZeroKnowledge Proofs Based on OneWay Permutations

» Normalization and optimization of schema mappings

» A Simple and Efficient Implementation of Concurrent Local Tabling

» On Some Transformation Invariants Under Retiming and Resynthesis

Post Info
More Details (n/a)

Added	30 Jun 2010
Updated	30 Jun 2010
Type	Conference
Year	2004
Where	SAC
Authors	Javier Álvez, Paqui Lucio, Fernando Orejas

Comments (0)