Sciweavers

65 search results - page 1 / 13

» logcom 2006

7

LOGCOM
2006

50views more LOGCOM 2006»

An Independence Result for Intuitionistic Bounded Arithmetic

13 years 4 months ago

An Independence Result for Intuitionistic Bounded Arithmetic

Download math.ipm.ac.ir

Morteza Moniri

claim paper

Read More »

12

LOGCOM
2000

63views more LOGCOM 2000»

Similarity relations in concept lattices

13 years 4 months ago

Similarity relations in concept lattices

Download irafm.osu.cz

Radim Belohlávek

claim paper

Read More »

10

LOGCOM
2000

60views more LOGCOM 2000»

A linearization of the Lambda-calculus and consequences

13 years 4 months ago

A linearization of the Lambda-calculus and consequences

Download www.church-project.org

A. J. Kfoury

claim paper

Read More »

6

LOGCOM
2002

68views more LOGCOM 2002»

µ-Calculus with Explicit Points and Approximations

13 years 4 months ago

µ-Calculus with Explicit Points and Approximations

Download www.csc.kth.se

Mads Dam, Dilian Gurov

claim paper

Read More »

12

LOGCOM
2002

69views more LOGCOM 2002»

Continuous Additive Algebras and Injective Simulations of Synchronization Trees

13 years 4 months ago

Continuous Additive Algebras and Injective Simulations of Synchronization Trees

Download www.brics.dk

Zoltán Ésik

claim paper

Read More »

« Prev « First page 1 / 13 Last » Next »