Search Sciweavers | Sciweavers

4217 search results - page 45 / 844

» Computational indistinguishability logic

144

click to vote

SAS
1994
Springer

77views Formal Methods» more SAS 1994»

Estimating the Computational Cost of Logic Programs

15 years 10 months ago

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

Saumya K. Debray, Pedro López-García...

claim paper

Read More »

137

click to vote

ICLP
1992
Springer

86views Automated Reasoning» more ICLP 1992»

Complexity of Computing with Extended Propositional Logic Programs

15 years 10 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...

claim paper

Read More »

128

click to vote

SIGCSE
1990
ACM

121views Education» more SIGCSE 1990»

The central role of mathematical logic in computer science

15 years 10 months ago

Download www.maa.org

J. Paul Myers Jr.

claim paper

Read More »

134

click to vote

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

Logical and Computational Aspects of Programming with Sets/Bags/Lists

15 years 9 months ago

Download www.ircs.upenn.edu

Val Tannen, Ramesh Subrahmanyam

claim paper

Read More »

173

click to vote

CLIMA
2006

96views Intelligent Agents» more CLIMA 2006»

The Second Contest on Multi-Agent Systems Based on Computational Logic

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers