Search Sciweavers | Sciweavers

4617 search results - page 40 / 924

» Automation of Diagrammatic Reasoning

click to vote

CSL
1994
Springer

89views Automated Reasoning» more CSL 1994»

Logics For Context-Free Languages

15 years 6 months ago

Download www.thi.uni-hannover.de

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

claim paper

Read More »

108

click to vote

CSL
1994
Springer

108views Automated Reasoning» more CSL 1994»

Canonical Forms for Data-Specifications

15 years 6 months ago

Download people.cs.kuleuven.be

Frank Piessens, Eric Steegmans

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 6 months ago

Download www.d.umn.edu

Hudson Turner

claim paper

Read More »

click to vote

ICLP
1994
Springer

93views Automated Reasoning» more ICLP 1994»

Implementation of Andorra-based Languages

15 years 6 months ago

Download www.sics.se

Sverker Janson

claim paper

Read More »

101

click to vote

ICTL
1994

227views Automated Reasoning» more ICTL 1994»

Temporal Logic with Reference Pointers

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers