Search Sciweavers | Sciweavers

2722 search results - page 23 / 545

» The Model Evolution Calculus

161

click to vote

CTCS
1997
Springer

185views Programming Languages» more CTCS 1997»

Presheaf Models for the pi-Calculus

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Gian Luca Cattani, Ian Stark, Glynn Winskel

claim paper

Read More »

131

Voted

LICS
1996
IEEE

121views Automated Reasoning» more LICS 1996»

A Fully Abstract Domain Model for the pi-Calculus

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

136

click to vote

OOIS
1994
Springer

184views Information Technology» more OOIS 1994»

OPUS: A Calculus for Modelling Object-Oriented Concepts

15 years 9 months ago

Download www.info.ucl.ac.be

Tom Mens, Kim Mens, Patrick Steyaert

claim paper

Read More »

136

Voted

TABLEAUX
1992
Springer

83views Artificial Intelligence» more TABLEAUX 1992»

A Model Elimination Calculus for Generalized Clauses

15 years 9 months ago

Download dli.iiit.ac.in

Toni Bollinger

claim paper

Read More »

106

click to vote

LICS
1987
IEEE

80views Automated Reasoning» more LICS 1987»

Kripke-Style models for typed lambda calculus

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers