#### Filter Results:

- Full text PDF available (2)

#### Publication Year

1997

2013

- This year (0)
- Last 5 years (1)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Arnaud Durand, Ronald Fagin, Bernd Loescher
- CSL
- 1997

The spectrum of a first-order sentence is the set of cardinalities of its finite models. This paper is concerned with spectra of sentences over languages that contain only unary function symbols. In particular, it is shown that a set S of natural numbers is the spectrum of a sentence over the language of one unary function symbol precisely if S is an… (More)

- Bernd Loescher
- Inf. Process. Lett.
- 1997

We show that the set of square numbers is the spectrum of an F 1 1;1-sentence (existential second order logic with quantiication over unary function variables) with two unary function variables, but it is not the spectrum of F 1 1;1-sentences with only one unary function variable.

- J V Headley, K M Peru, +42 authors F J Wrona
- Journal of environmental science and health. Part…
- 2013

This article provides a review of the routine methods currently utilized for total naphthenic acid analyses. There is a growing need to develop chemical methods that can selectively distinguish compounds found within industrially derived oil sands process affected waters (OSPW) from those derived from the natural weathering of oil sands deposits. Attention… (More)

- ‹
- 1
- ›