Search Sciweavers | Sciweavers

4217 search results - page 45 / 844

» Computational indistinguishability logic

click to vote

SAS
1994
Springer

77views Formal Methods» more SAS 1994»

Estimating the Computational Cost of Logic Programs

15 years 1 months ago

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

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

claim paper

Read More »

click to vote

ICLP
1992
Springer

86views Automated Reasoning» more ICLP 1992»

Complexity of Computing with Extended Propositional Logic Programs

15 years 1 months ago

Download www.cs.uky.edu

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

claim paper

Read More »

click to vote

SIGCSE
1990
ACM

121views Education» more SIGCSE 1990»

The central role of mathematical logic in computer science

15 years 1 months ago

Download www.maa.org

J. Paul Myers Jr.

claim paper

Read More »

click to vote

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

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

15 years 1 months ago

Download www.ircs.upenn.edu

Val Tannen, Ramesh Subrahmanyam

claim paper

Read More »

click to vote

CLIMA
2006

96views Intelligent Agents» more CLIMA 2006»

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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers