Sciweavers

3776 search results - page 33 / 756

» Partition-Based Logical Reasoning

15

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

14 years 1 months ago

Sequentialization of Parallel Logic Programs with Mode Analysis

Download web.cecs.pdx.edu

Barton C. Massey, Evan Tick

claim paper

Read More »

34

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

14 years 1 months ago

Projection in Temporal Logic Programming

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

24

LICS
1992
IEEE

104views Automated Reasoning» more LICS 1992»

Horn Programming in Linear Logic Is NP-Complete

14 years 1 months ago

Horn Programming in Linear Logic Is NP-Complete

Download www.csl.sri.com

Max I. Kanovich

claim paper

Read More »

27

PLILP
1992
Springer

86views Programming Languages» more PLILP 1992»

UCG-E: An Equational Logic Programming System

14 years 1 months ago

UCG-E: An Equational Logic Programming System

Download homepage.cs.uri.edu

Lutz H. Hamel

claim paper

Read More »

25

ICLP
1990
Springer

139views Automated Reasoning» more ICLP 1990»

Logic Programming and Databases

14 years 29 days ago

Logic Programming and Databases

Download sp.cmc.msu.ru

Catriel Beeri

claim paper

Read More »

« Prev « First page 33 / 756 Last » Next »