Skip to search formSkip to main content

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

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

2015

2015

In the logic and automata community, Robert McNaughton is perhaps best known for his determinisation result for automata on… Expand

Is this relevant?

2011

2011

Varoujan Gorjian – 1, Kate Meredith – 2, Helen Petach 3, Elizabeth Ramseyer 4, Tim Spuck 5, Mark Abajian 1, Kevin Hale -3, Rozina… Expand

Is this relevant?

Highly Cited

2010

Highly Cited

2010

Abstract Although accumulating research suggests that acute physical exercise ameliorates cognitive function in adults, little is… Expand

Is this relevant?

1999

1999

For all intents and purposes, catastrophic interference, the sudden and complete forgetting of previously stored information upon… Expand

Is this relevant?

1999

1999

ABSTRACT In this paper we study consequence relations on the set of many sided sequents over a propositional language. We deal… Expand

Is this relevant?

Highly Cited

1997

Highly Cited

1997

In order to solve the 'sensitivity-stability' problem-and its immediate correlate, the problem of sequential learning-it is… Expand

Is this relevant?

1993

1993

This paper is concerned with decision proceedures for the ℵ0-valued Łukasiewicz logics,. It is shown how linear algebra can be… Expand

Is this relevant?

1991

1991

We give a new, purely algebraic proof of McNaughton's theorem on infinite words, which states that each recognizable set X of… Expand

Is this relevant?

1987

1987

Most computing systems are shared between users of various kinds. This thesis treats such systems as mathematical objects, and… Expand

Is this relevant?

1982

1982

We present some properties of non-algebraic adherences of languages, which can be consistently called context-sensitive… Expand

Is this relevant?