Per Lindström

15 papers C 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2020 — conf
Predicting Player Trajectories in Shot Situations in Soccer.
MLSA@PKDD/ECML
Per Lindström, Ludwig Jacobsson, Niklas Carlsson, Patrick Lambrix
2017 — book
Aspects of Incompleteness
Per Lindström
2011 J jnl
A theorem on partial conservativity in arithmetic.
J. Symb. Log.
Per Lindström
2008 J jnl
Imaging of odor perception delineates functional disintegration of the limbic circuits in mesial temporal lobe epilepsy.
NeuroImage
Carolina Ciumas, Per Lindström, Bernard Aoun, Ivanka Savic
2008 J jnl
The ∀∃ Theory of Peano σ
J. Math. Log.
Per Lindström, V. Yu. Shavrukov
2006 J jnl
Note on Some Fixed Point Constructions in Provability Logic.
J. Philos. Log.
Per Lindström
2006 J jnl
Remarks on Penrose's "New Argument".
J. Philos. Log.
Per Lindström
2001 J jnl
Penrose's New Argument.
J. Philos. Log.
Per Lindström
1995 J jnl
A parallel interval method implementation for global optimization using dynamic load balancing.
Reliab. Comput.
Jerry Eriksson, Per Lindström
1993 J jnl
On Sigma
Ann. Pure Appl. Log.
Per Lindström
1988 J jnl
Partially generic formulas in arithmetic.
Notre Dame J. Formal Log.
Per Lindström
1986 C conf
A General Basic System for POS-Transactions.
ICCC
Lennart Jansson, Bengt Akesson, Per Lindström, Christer Eng
1984 J jnl
A new linesearch algorithm for nonlinear least squares problems.
Math. Program.
Per Lindström, Per-Åke Wedin
1984 J jnl
On certain lattices of degrees of interpretability.
Notre Dame J. Formal Log.
Per Lindström
1968 J jnl
Remarks on Some Theorems of Keisler.
J. Symb. Log.
Per Lindström