Search Sciweavers | Sciweavers

3776 search results - page 32 / 756

» Partition-Based Logical Reasoning

click to vote

LICS
1996
IEEE

99views Automated Reasoning» more LICS 1996»

A Temporal-Logic Approach to Binding-Time Analysis

15 years 4 months ago

Download www.brics.dk

Rowan Davies

claim paper

Read More »

click to vote

ILP
1997
Springer

116views Automated Reasoning» more ILP 1997»

Normal Forms for Inductive Logic Programming

15 years 4 months ago

Download www.cs.bris.ac.uk

Peter A. Flach

claim paper

Read More »

click to vote

CSL
1994
Springer

89views Automated Reasoning» more CSL 1994»

Logics For Context-Free Languages

15 years 3 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

15 years 3 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers