AMS classification | Sciweavers

AML
2004

92views more AML 2004»

Adding Skolem functions to simple theories

13 years 4 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 4 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