Search Sciweavers | Sciweavers

852 search results - page 39 / 171

» entcs 2010

click to vote

ENTCS
2006

106views more ENTCS 2006»

Probabilistic Observations and Valuations: (Extended Abstract)

14 years 10 months ago

Download homepages.inf.ed.ac.uk

d Abstract) 1 Matthias Schr

Matthias Schröder, Alex Simpson

claim paper

Read More »

click to vote

ENTCS
2006

214views more ENTCS 2006»

A Generalization of ACP Using Belnap's Logic

14 years 10 months ago

Download staff.science.uva.nl

ACP is combined with Belnap's four-valued logic via conditional composition (if

Alban Ponse, Mark van der Zwaag

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

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers