Sciweavers

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

6

CORR
1998
Springer

favoriteEmaildiscussreport

69views Education» more CORR 1998»

Scoping Constructs in Logic Programming: Implementation Problems and their Solution

13 years 4 months ago

Scoping Constructs in Logic Programming: Implementation Problems and their Solution

Download folli.loria.fr

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

Real-time Traffic

CORR 1998 | Education |

claim paper

Related Content

» Scoping Constructs for Software Generators

» Extending Definite Clause Grammars with Scoping Constructs

» Properties and scopes in web model checking

» A Comparison of CLPFD and ASP Solutions to NPComplete Problems

» Scoped Types and Aspects for RealTime Java

» Formal compiler construction in a logical framework

» Closures and Modules Within Linear Logic Concurrent Constraint Programming

» ProofTheoretic and HigherOrder Extensions of Logic Programming

» A fresh look at programming with names and binders

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	1998
Where	CORR
Authors	Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

Comments (0)