Search Sciweavers | Sciweavers

3973 search results - page 176 / 795

» Records for Logic Programming

129

click to vote

LPNMR
2001
Springer

99views Automated Reasoning» more LPNMR 2001»

An Update Front-End for Extended Logic Programs

15 years 10 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...

claim paper

Read More »

135

click to vote

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

15 years 10 months ago

Download www.springer.com

Lunjin Lu

claim paper

Read More »

123

click to vote

EUROMICRO
2000
IEEE

77views Software Engineering» more EUROMICRO 2000»

Logic Representation of Programs to Detect Arithmetic Anomalies

15 years 10 months ago

Download adt.et.upb.de

Fevzi Belli, Thomas Illgen

claim paper

Read More »

144

click to vote

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

15 years 10 months ago

Download www.ep.liu.se

Gyöngyi Szilágyi, Tibor Gyimóth...

claim paper

Read More »

125

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers