Search Sciweavers | Sciweavers

1151 search results - page 18 / 231

» Collaborative Programming: Applications of Logic and Automat...

click to vote

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

15 years 8 months ago

Download www.cs.yale.edu

Carsten Schürmann

claim paper

Read More »

127

click to vote

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

15 years 8 months ago

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

110

click to vote

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

Computing Answer Sets of a Logic Program via-enumeration of SAT certificates

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

claim paper

Read More »

111

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 8 months ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

click to vote

LPNMR
2004
Springer

69views Automated Reasoning» more LPNMR 2004»

Verifying the Equivalence of Logic Programs in the Disjunctive Case

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers