Sciweavers

57 search results - page 2 / 12

» birthday 2009

17

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

13 years 10 months ago

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

Download www.schemeworkshop.org

Malgorzata Biernacka, Olivier Danvy

claim paper

Read More »

8

BIRTHDAY
2009
Springer

120views Applied Computing» more BIRTHDAY 2009»

A Complete, Co-inductive Syntactic Theory of Sequential Control and State

14 years 1 months ago

A Complete, Co-inductive Syntactic Theory of Sequential Control and State

Download www.brics.dk

Kristian Støvring, Søren B. Lassen

claim paper

Read More »

9

BIRTHDAY
2009
Springer

86views Applied Computing» more BIRTHDAY 2009»

Scope Dominance with Generalized Quantifiers

13 years 10 months ago

Scope Dominance with Generalized Quantifiers

Download www.phil.uu.nl

Gilad Ben-Avi, Yoad Winter

claim paper

Read More »

11

BIRTHDAY
2009
Springer

85views Applied Computing» more BIRTHDAY 2009»

Ten Reasons to Metamodel ASMs

13 years 4 months ago

Ten Reasons to Metamodel ASMs

Download www.unibg.it

Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...

claim paper

Read More »

8

BIRTHDAY
2009
Springer

116views Applied Computing» more BIRTHDAY 2009»

Path-Bicolorable Graphs

14 years 1 months ago

Path-Bicolorable Graphs

Download www.informatik.uni-rostock.de

Andreas Brandstädt, Martin Charles Golumbic, ...

claim paper

Read More »

« Prev « First page 2 / 12 Last » Next »