Search Sciweavers | Sciweavers

265 search results - page 11 / 53

» entcs 2007

click to vote

ENTCS
2007

159views more ENTCS 2007»

Almost Every Domain is Universal

14 years 9 months ago

Download www.labri.fr

We endow the collection of ω-biﬁnite domains with the structure of a probability space, and we will show

Manfred Droste, Dietrich Kuske

claim paper

Read More »

click to vote

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

14 years 10 months ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Juan Rodr&i...

claim paper

Read More »

click to vote

ENTCS
2007

94views more ENTCS 2007»

Membrane Systems with Marked Membranes

14 years 10 months ago

Download www.cosbi.eu

Robert Brijder, Matteo Cavaliere, Agustin Riscos-N...

claim paper

Read More »

click to vote

ENTCS
2007

88views more ENTCS 2007»

A Linear-time Tissue P System Based Solution for the 3-coloring Problem

14 years 10 months ago

Download www.cs.us.es

Daniel Díaz-Pernil, Miguel A. Gutiér...

claim paper

Read More »

click to vote

ENTCS
2007

91views more ENTCS 2007»

A Cappable Almost Everywhere Dominating Computably Enumerable Degree

14 years 10 months ago

Download www.math.uchicago.edu

We show that there exists an almost everywhere (a.e.) dominating computably enumerable (c.e.) degree which is half of a minimal pair.

George Barmpalias, Antonio Montalbán

claim paper

Read More »

« Prev « First page 11 / 53 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers