Sciweavers

7213 search results - page 9 / 1443

» Automated model grouping

98

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

15 years 7 months ago

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

Download www.mathstat.dal.ca

Peter Selinger

claim paper

Read More »

109

LICS
1996
IEEE

121views Automated Reasoning» more LICS 1996»

A Fully Abstract Domain Model for the pi-Calculus

15 years 7 months ago

A Fully Abstract Domain Model for the pi-Calculus

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

81

KR
1994
Springer

101views Automated Reasoning» more KR 1994»

Belief Ascription and Mental-Level Modelling

15 years 7 months ago

Belief Ascription and Mental-Level Modelling

Download u.cs.biu.ac.il

Ronen I. Brafman, Moshe Tennenholtz

claim paper

Read More »

128

TPHOL
1992
IEEE

110views Automated Reasoning» more TPHOL 1992»

Modelling Generic Hardware Structures by Abstract Datatypes

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

86

LICS
1990
IEEE

73views Automated Reasoning» more LICS 1990»

A Per Model of Polymorphism and Recursive Types

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

« Prev « First page 9 / 1443 Last » Next »