Search Sciweavers | Sciweavers

4218 search results - page 11 / 844

» Complete sets of cooperations

121

click to vote

SOFSEM
2007
Springer

100views Theoretical Computer Science» more SOFSEM 2007»

Partial vs. Complete Domination: t-Dominating Set

16 years 1 months ago

Download www.sofsem.cz

Joachim Kneis, Daniel Mölle, Peter Rossmanith

claim paper

Read More »

346

Voted

ACMMPC
2000
Springer

238views Mathematics» more ACMMPC 2000»

Ordered Sets and Complete Lattices

15 years 12 months ago

Download profs.sci.univr.it

Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...

Hilary A. Priestley

claim paper

Read More »

161

Voted

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

15 years 11 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

123

click to vote

LICS
1997
IEEE

84views Automated Reasoning» more LICS 1997»

Complete Cuboidal Sets in Axiomatic Domain Theory

15 years 11 months ago

Download homepages.inf.ed.ac.uk

Marcelo P. Fiore, Gordon D. Plotkin, A. John Power

claim paper

Read More »

167

click to vote

ISMVL
1994
IEEE

109views Hardware» more ISMVL 1994»

Completeness Criteria in Many-Valued Set Logic under Compositions with Boolean Functions

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers