Sciweavers

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

17

CORR
1998
Springer

favoriteEmaildiscussreport

69views Education» more CORR 1998»

Scoping Constructs in Logic Programming: Implementation Problems and their Solution

13 years 10 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)