Search Sciweavers | Sciweavers

5506 search results - page 195 / 1102

» Minimal Logic Programs

159

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

16 years 17 hour ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

102

click to vote

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

16 years 8 hour ago

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

140

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 12 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

140

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

15 years 12 months ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

130

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers