# Skolem problem

## Papers overview

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

2017

2017

- MFCS
- 2017

Given a linear recurrence sequence (LRS), the Skolem problem, asks whether it ever becomes zero. The decidability of this problem… (More)

Is this relevant?

2016

2016

- 2016

The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given… (More)

Is this relevant?

2015

2015

- ArXiv
- 2015

The Continuous Skolem Problem asks whether a real-valued function satisfying an ordinary linear differential equation has a zero… (More)

Is this relevant?

2015

2015

- ICALP
- 2015

The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given… (More)

Is this relevant?

2015

2015

- Inf. Process. Lett.
- 2015

We consider the following decision problem: given a finite Markov chain with distinguished source and target states, and given a… (More)

Is this relevant?

2015

2015

- FICS
- 2015

In this paper, I establish the categorical structure necessary to interpret dependent inductive and coinductive types. It is well… (More)

Is this relevant?

2014

2014

- ACM Trans. Comput. Log.
- 2014

When studying probabilistic dynamical systems, temporal logic has typically been used to analyze path properties. Recently, there… (More)

Is this relevant?

2009

2009

- Theor. Comput. Sci.
- 2009

We study decidability and complexity questions related to a continuous analogue of the Skolem-Pisot problem concerning the zeros… (More)

Is this relevant?

1982

1982

- 1982

An expressibility result is proved for infinitary languages.

Is this relevant?

1981

1981

- Discrete Mathematics
- 1981

A new relation between extended Skolem sequences (i.e., Skolem sequences with one zero element) and additive permutations is… (More)

Is this relevant?