Search Sciweavers | Sciweavers

290 search results - page 8 / 58

» entcs 2006

click to vote

ENTCS
2006

97views more ENTCS 2006»

A Type-Safe Embedding of XDuce into ML

14 years 10 months ago

Download www.itu.dk

Martin Sulzmann, Kenny Zhuo Ming Lu

claim paper

Read More »

click to vote

ENTCS
2006

116views more ENTCS 2006»

Generic Pickling and Minimization

14 years 10 months ago

Download www.st.cs.uni-saarland.de

Guido Tack, Leif Kornstaedt, Gert Smolka

claim paper

Read More »

click to vote

ENTCS
2006

131views more ENTCS 2006»

A Coalgebraic Representation of Reduction by Cone of Influence

14 years 10 months ago

Download unit.aist.go.jp

Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki

claim paper

Read More »

click to vote

ENTCS
2006

89views more ENTCS 2006»

Soft Constraints for Security

14 years 10 months ago

Download www.cs.ucc.ie

Giampaolo Bella, Stefano Bistarelli, Simon N. Fole...

claim paper

Read More »

click to vote

ENTCS
2006

98views more ENTCS 2006»

A Petri Net Semantics of a Simple Process Algebra for Mobility

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers