Sciweavers

2162 search results - page 4 / 433

» Automated Reasoning on Feature Models

25

LICS
1996
IEEE

121views Automated Reasoning» more LICS 1996»

A Fully Abstract Domain Model for the pi-Calculus

13 years 11 months ago

A Fully Abstract Domain Model for the pi-Calculus

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

12

KR
1994
Springer

101views Automated Reasoning» more KR 1994»

Belief Ascription and Mental-Level Modelling

13 years 11 months ago

Belief Ascription and Mental-Level Modelling

Download u.cs.biu.ac.il

Ronen I. Brafman, Moshe Tennenholtz

claim paper

Read More »

23

TPHOL
1992
IEEE

110views Automated Reasoning» more TPHOL 1992»

Modelling Generic Hardware Structures by Abstract Datatypes

13 years 11 months ago

Modelling Generic Hardware Structures by Abstract Datatypes

Download rsg.informatik.uni-kl.de

Klaus Schneider, Ramayya Kumar, Thomas Kropf

claim paper

Read More »

16

LICS
1990
IEEE

73views Automated Reasoning» more LICS 1990»

A Per Model of Polymorphism and Recursive Types

13 years 11 months ago

A Per Model of Polymorphism and Recursive Types

Download www.era.lib.ed.ac.uk

Martín Abadi, Gordon D. Plotkin

claim paper

Read More »

14

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

13 years 11 months ago

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

« Prev « First page 4 / 433 Last » Next »