Search Sciweavers | Sciweavers

2272 search results - page 131 / 455

» A Calculus for

click to vote

BIRTHDAY
2007
Springer

117views Applied Computing» more BIRTHDAY 2007»

Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus

15 years 10 months ago

Download www.iist.unu.edu

Dang Van Hung

claim paper

Read More »

170

Voted

CEFP
2007
Springer

393views Programming Languages» more CEFP 2007»

An Introduction to the Lambda Calculus

15 years 10 months ago

Download www.dcc.uchile.cl

Zoltán Csörnyei, Gergely Dévai

claim paper

Read More »

115

click to vote

CEFP
2007
Springer

155views Programming Languages» more CEFP 2007»

Abstract lambda-Calculus Machines

15 years 10 months ago

Download www.informatik.uni-kiel.de

Werner E. Kluge

claim paper

Read More »

114

click to vote

CONCUR
2007
Springer

93views Distributed And Parallel Com...» more CONCUR 2007»

Compositional Event Structure Semantics for the Internal pi -Calculus

15 years 10 months ago

Download www.math.unipd.it

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

claim paper

Read More »

107

click to vote

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers