Search Sciweavers | Sciweavers

5090 search results - page 34 / 1018

» Constructing Strategies for Programming

click to vote

ISPE
2003

84views Distributed And Parallel Com...» more ISPE 2003»

European joint program in construction IT - early experiences

15 years 4 months ago

Download zuse.ucc.ie

Karsten Menzel, Danijel Rebolj

claim paper

Read More »

click to vote

IGPL
2008

66views more IGPL 2008»

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

15 years 3 months ago

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

117

click to vote

ENTCS
2000

60views more ENTCS 2000»

Writing Constructive Proofs Yielding Efficient Extracted Programs

15 years 2 months ago

Download www.nuprl.org

The NuPRL system [3] was designed for interactive writing of machine

Aleksey Nogin

claim paper

Read More »

click to vote

CORR
1998
Springer

69views Education» more CORR 1998»

Scoping Constructs in Logic Programming: Implementation Problems and their Solution

15 years 2 months ago

Download folli.loria.fr

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

claim paper

Read More »

click to vote

ORL
2007

62views more ORL 2007»

A constructive characterization of the split closure of a mixed integer linear program

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers