1993 | ||
---|---|---|
2 | Per Lindström: On Sigma1 and Pi1 Sentences and Degrees of Interpretability. Ann. Pure Appl. Logic 61(1-2): 175-193 (1993) | |
1986 | ||
1 | Lennart Jansson, Bengt Akesson, Per Lindström, Christer Eng: A General Basic System for POS-Transactions. ICCC 1986: 131-135 |
1 | Bengt Akesson | [1] |
2 | Christer Eng | [1] |
3 | Lennart Jansson | [1] |