Search Sciweavers | Sciweavers

2067 search results - page 27 / 414

» Logics of propositional control

121

click to vote

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals

15 years 11 months ago

Download www.cl.cam.ac.uk

Ben C. Moszkowski

claim paper

Read More »

128

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 10 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

161

click to vote

NEUROSCIENCE
2001
Springer

257views Applied Computing» more NEUROSCIENCE 2001»

Connectionist Propositional Logic

15 years 10 months ago

Download www.aaai.org

Daniel Kustrin, Jim Austin

claim paper

Read More »

130

click to vote

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

15 years 10 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

161

click to vote

KDD
1994
ACM

92views Data Mining» more KDD 1994»

The Discovery of Logical Propositions in Numerical Data

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers