Sciweavers

65 search results - page 1 / 13

» logcom 2006

29

LOGCOM
2006

50views more LOGCOM 2006»

An Independence Result for Intuitionistic Bounded Arithmetic

13 years 10 months ago

An Independence Result for Intuitionistic Bounded Arithmetic

Download math.ipm.ac.ir

Morteza Moniri

claim paper

Read More »

30

Voted

LOGCOM
2000

63views more LOGCOM 2000»

Similarity relations in concept lattices

13 years 10 months ago

Similarity relations in concept lattices

Download irafm.osu.cz

Radim Belohlávek

claim paper

Read More »

24

LOGCOM
2000

60views more LOGCOM 2000»

A linearization of the Lambda-calculus and consequences

13 years 10 months ago

A linearization of the Lambda-calculus and consequences

Download www.church-project.org

A. J. Kfoury

claim paper

Read More »

22

LOGCOM
2002

68views more LOGCOM 2002»

µ-Calculus with Explicit Points and Approximations

13 years 10 months ago

µ-Calculus with Explicit Points and Approximations

Download www.csc.kth.se

Mads Dam, Dilian Gurov

claim paper

Read More »

28

LOGCOM
2002

69views more LOGCOM 2002»

Continuous Additive Algebras and Injective Simulations of Synchronization Trees

13 years 10 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 »