Search Sciweavers | Sciweavers

5482 search results - page 207 / 1097

» Logic Programming and Databases

160

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

16 years 2 days 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 1 days ago

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

142

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

16 years 1 days 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

16 years 4 hour 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