Sciweavers

16206 search results - page 162 / 3242

» Software Engineering is Not Enough

107

TACS
2001
Springer

99views Software Engineering» more TACS 2001»

Nominal Logic: A First Order Theory of Names and Binding

15 years 9 months ago

Nominal Logic: A First Order Theory of Names and Binding

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

129

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

15 years 9 months ago

Model-Checking LTL with Regular Valuations for Pushdown Systems

Download www.fmi.uni-stuttgart.de

Javier Esparza, Antonín Kucera, Stefan Schw...

claim paper

Read More »

124

Voted

TACS
2001
Springer

93views Software Engineering» more TACS 2001»

Resource-Passing Concurrent Programming

15 years 9 months ago

Resource-Passing Concurrent Programming

Download www.ueda.info.waseda.ac.jp

Kazunori Ueda

claim paper

Read More »

143

Voted

TACS
2001
Springer

112views Software Engineering» more TACS 2001»

The Girard-Reynolds Isomorphism

15 years 9 months ago

The Girard-Reynolds Isomorphism

Download homepages.inf.ed.ac.uk

Philip Wadler

claim paper

Read More »

118

WADT
2001
Springer

65views Software Engineering» more WADT 2001»

Presentations for Abstract Context Institutions

15 years 9 months ago

Presentations for Abstract Context Institutions

Download www.ipipan.gda.pl

Wieslaw Pawlowski

claim paper

Read More »

« Prev « First page 162 / 3242 Last » Next »