Search Sciweavers | Sciweavers

69 search results - page 8 / 14

» mscs 2006

click to vote

MSCS
2000

51views more MSCS 2000»

Introduction to linear bicategories

14 years 9 months ago

Download www.math.mcgill.ca

J. Robin B. Cockett, Jürgen Koslowski, R. A. ...

claim paper

Read More »

Voted

MSCS
2002

53views more MSCS 2002»

String and Graph Reduction Systems for Gene Assembly in Ciliates

14 years 9 months ago

Download combio.abo.fi

Andrzej Ehrenfeucht, Ion Petre, David M. Prescott,...

claim paper

Read More »

click to vote

MSCS
2007

85views more MSCS 2007»

Constructive analysis, types and exact real numbers

14 years 9 months ago

Download www.cs.ru.nl

Herman Geuvers, Milad Niqui, Bas Spitters, Freek W...

claim paper

Read More »

click to vote

MSCS
2010

67views more MSCS 2010»

Bitopological duality for distributive lattices and Heyting algebras

14 years 7 months ago

Download www.doc.ic.ac.uk

Guram Bezhanishvili, Nick Bezhanishvili, David Gab...

claim paper

Read More »

click to vote

MSCS
2010

86views more MSCS 2010»

Realisability semantics of parametric polymorphism, general references and recursive types

14 years 7 months ago

Download www.itu.dk

tations of imperative abstract data types.

Lars Birkedal, Kristian Støvring, Jacob Tha...

claim paper

Read More »

« Prev « First page 8 / 14 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers