Search Sciweavers | Sciweavers

3891 search results - page 44 / 779

» A logic for strategic reasoning

click to vote

CSL
1994
Springer

89views Automated Reasoning» more CSL 1994»

Logics For Context-Free Languages

13 years 11 months ago

Download www.thi.uni-hannover.de

Clemens Lautemann, Thomas Schwentick, Denis Th&eac...

claim paper

Read More »

click to vote

ICLP
1993
Springer

79views Automated Reasoning» more ICLP 1993»

A Monotonicity Theorem for Extended Logic Programs

13 years 11 months ago

Download www.d.umn.edu

Hudson Turner

claim paper

Read More »

click to vote

ICTL
1994

227views Automated Reasoning» more ICTL 1994»

Temporal Logic with Reference Pointers

13 years 11 months ago

Download staff.science.uva.nl

Valentin Goranko

claim paper

Read More »

click to vote

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

13 years 11 months ago

Download web.cecs.pdx.edu

Barton C. Massey, Evan Tick

claim paper

Read More »

click to vote

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers