Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

ABSTRACT Increasing the community participation of people with severe mental illness is a primary goal of recovery-oriented… Expand

2009

2009

We introduce the inverted prefix tries (a variation of suffix tries) as a convenient formalism for stating and proving properties… Expand

2009

2009

Oceanic islands freshwater systems are unique due to their volcanic origin, oceanic situation, catchment morphology and the… Expand

2003

2003

We study the disjunctive binary sequence introduced by Ehrenfeucht and Mycielski in [1]. The match length associated to the bits… Expand

2002

2002

This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent… Expand

Highly Cited

1986

Highly Cited

1986

We show a generalization of the Ehrenfeucht Conjecture: For every language there exists a (finite) test set with respect to… Expand

Highly Cited

1983

Highly Cited

1983

Ehrenfeucht's conjecture states that every language L has a finite subset F such that, for any pair (g, h) of morphisms, g and h… Expand

Highly Cited

1981

Highly Cited

1981

We introduce a new complexity measure, QN[f(n)], which measures the size of sentences from predicate calculus needed to express a… Expand

Highly Cited

1976

Highly Cited

1976

This autobiography of mathematician Stanislaw Ulam, one of the great scientific minds of the twentieth century, tells a story… Expand