Sciweavers

4513 search results - page 205 / 903

» Logic programming with satisfiability

73

Voted

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

15 years 9 months ago

Specifying, Programming and Verifying with Equational Logic

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

109

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 9 months ago

Probabilistic Description Logic Programs

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

113

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

15 years 9 months ago

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

101

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 9 months ago

Computational Logical Frameworks and Generic Program Analysis Technologies

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

107

Voted

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

15 years 9 months ago

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

« Prev « First page 205 / 903 Last » Next »