Search Sciweavers | Sciweavers

2585 search results - page 16 / 517

» Automating Coherent Logic

click to vote

ICLP
1990
Springer

139views Automated Reasoning» more ICLP 1990»

Logic Programming and Databases

13 years 11 months ago

Download sp.cmc.msu.ru

Catriel Beeri

claim paper

Read More »

click to vote

ICLP
1990
Springer

123views Automated Reasoning» more ICLP 1990»

Logic Programs with Classical Negation

13 years 11 months ago

Download www.cs.uni-potsdam.de

Michael Gelfond, Vladimir Lifschitz

claim paper

Read More »

click to vote

ICLP
1990
Springer

94views Automated Reasoning» more ICLP 1990»

Parallel Logic Programming Systems

13 years 11 months ago

Download www.dcc.fc.up.pt

Jacques Chassin de Kergommeaux

claim paper

Read More »

click to vote

LICS
1989
IEEE

104views Automated Reasoning» more LICS 1989»

A Fully Abstract Semantics for a Functional Language with Logic Variables

13 years 11 months ago

Download iss.ices.utexas.edu

Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...

claim paper

Read More »

click to vote

LICS
1990
IEEE

81views Automated Reasoning» more LICS 1990»

Real-time Logics: Complexity and Expressiveness

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers