Per Lindström

According to our database, Per Lindström authored at least 15 papers between 1968 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Predicting Player Trajectories in Shot Situations in Soccer.

Per Lindström, Ludwig Jacobsson, Niklas Carlsson, Patrick Lambrix

Proceedings of the Machine Learning and Data Mining for Sports Analytics, 2020

2017

Aspects of Incompleteness

Per Lindström

Lecture Notes in Logic 10, Cambridge University Press, ISBN: 9781316716854, 2017

2011

A theorem on partial conservativity in arithmetic.

Per Lindström

J. Symb. Log., 2011

2008

Imaging of odor perception delineates functional disintegration of the limbic circuits in mesial temporal lobe epilepsy.

Carolina Ciumas, Per Lindström, Bernard Aoun, Ivanka Savic

NeuroImage, 2008

The ∀∃ Theory of Peano σ₁ Sentences.

Per Lindström, V. Yu. Shavrukov

J. Math. Log., 2008

2006

Remarks on Penrose's "New Argument".

Per Lindström

J. Philos. Log., 2006

Note on Some Fixed Point Constructions in Provability Logic.

Per Lindström

J. Philos. Log., 2006

2001

Penrose's New Argument.

Per Lindström

J. Philos. Log., 2001

1995

A parallel interval method implementation for global optimization using dynamic load balancing.

Jerry Eriksson, Per Lindström

Reliab. Comput., 1995

1993

On Sigma₁ and Pi₁ Sentences and Degrees of Interpretability.

Per Lindström

Ann. Pure Appl. Log., 1993

1988

Partially generic formulas in arithmetic.

Per Lindström

Notre Dame J. Formal Log., 1988

1986

A General Basic System for POS-Transactions.

Lennart Jansson, Bengt Akesson, Per Lindström, Christer Eng

Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986

1984

On certain lattices of degrees of interpretability.

Per Lindström

Notre Dame J. Formal Log., 1984

A new linesearch algorithm for nonlinear least squares problems.

Per Lindström, Per-Åke Wedin

Math. Program., 1984

1968

Remarks on Some Theorems of Keisler.

Per Lindström

J. Symb. Log., 1968