AMS classification | Sciweavers

AML
2004

92views more AML 2004»

Adding Skolem functions to simple theories

13 years 11 months ago

We examine the conditions under which we can keep simplicity or categoricity after adding a Skolem function to the theory. AMS classification: 03C45 , 03C50

Herwig Nübling

claim paper

Read More »

click to vote

DM
2006

60views more DM 2006»

On cycles through specified vertices

13 years 11 months ago

Download www.tu-chemnitz.de

For a set X of vertices of a graph fulfilling local connectedness conditions the existence of a cycle containing X is proved. AMS classification: 05C38, 05C45, 05C35

Tobias Gerlach, Frank Göring, Jochen Harant, ...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers