Search Sciweavers | Sciweavers

835 search results - page 3 / 167

» Geometric Logic in Computer Science

click to vote

IIE
2008

97views more IIE 2008»

Mathematical Logic and Deduction in Computer Science Education

13 years 8 months ago

Download www.mii.lt

Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...

Hashim Habiballa, Tibor Kmet

claim paper

Read More »

click to vote

TCS
2010

92views Theoretical Computer Science» more TCS 2010»

An exact correspondence between a typed pi-calculus and polarised proof-nets

13 years 3 months ago

Download perso.ens-lyon.fr

This paper presents an exact correspondence in typing and dynamics between polarised linear logic and a typed -calculus based on IO-typing. The respective incremental constraints,...

Kohei Honda, Olivier Laurent

claim paper

Read More »

click to vote

STACS
2005
Springer

91views Theoretical Computer Science» more STACS 2005»

Fast Pruning of Geometric Spanners

14 years 2 months ago