Sciweavers

131 search results - page 7 / 27

» On Monadic Theories of Monadic Predicates

65

BIRTHDAY
1997
Springer

99views Applied Computing» more BIRTHDAY 1997»

Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words

15 years 1 months ago

Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words

Download www-i7.informatik.rwth-aachen.de

Wolfgang Thomas

claim paper

Read More »

50

FAC
2002

44views more FAC 2002»

Variations on Algebra: Monadicity and Generalisations of Equational Theories

14 years 9 months ago

Variations on Algebra: Monadicity and Generalisations of Equational Theories

Download www.dcs.qmul.ac.uk

Edmund Robinson

claim paper

Read More »

91

MLQ
2011

231views Machine Learning» more MLQ 2011»

Simple monadic theories and indiscernibles

14 years 4 months ago

Simple monadic theories and indiscernibles

Download www.mathematik.tu-darmstadt.de

Achim Blumensath

claim paper

Read More »

78

CORR
2008
Springer

93views Education» more CORR 2008»

A computer verified, monadic, functional implementation of the integral

14 years 9 months ago

A computer verified, monadic, functional implementation of the integral

Download map.disi.unige.it

We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...

Russell O'Connor, Bas Spitters

claim paper

Read More »

78

ACS
2010

83views Distributed And Parallel Com...» more ACS 2010»

Lawvere Completion and Separation Via Closure

14 years 9 months ago

Lawvere Completion and Separation Via Closure

Download www.math.yorku.ca

For a quantale V, first a closure-theoretic approach to completeness and separation in V-categories is presented. This approach is then generalized to T-categories, where T is a to...

Dirk Hofmann, Walter Tholen

claim paper

Read More »

« Prev « First page 7 / 27 Last » Next »