Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Hallnas, Lars
48  Ergebnisse:
Personensuche X
?
1

On the Structure of Proofs:

, In: Peter Schroeder-Heister on Proof-Theoretic Semantics; Outstanding Contributions to Logic,
Hallnäs, Lars - p. 375-389 , 2024
Link: https://doi.org/10.1007/..
 
?
2

On the Proof-Theoretic Foundations of Set Theory:

, In: Advances in Proof-Theoretic Semantics; Trends in Logic,
Hallnäs, Lars - p. 161-171 , 2015
Link: https://doi.org/10.1007/..
 
?
3

Introduction to special issue on the aesthetics of interact..:

Petersen, Marianne Graves ; Hallnäs, Lars ; Jacob, Robert J.K.
ACM Transactions on Computer-Human Interaction.  15 (2008)  3 - p. 1-5 , 2008
Link: https://doi.org/10.1145/..
 
?
4

Introduction to special issue on the aesthetics of interact..:

Petersen, Marianne Graves ; Hallnäs, Lars ; Jacob, Robert J.K.
ACM Transactions on Computer-Human Interaction (TOCHI).  15 (2008)  3 - p. 1-5 , 2008
Link: https://dl.acm.org/doi/1..
 
?
5

Design process : design rationale the Affective Diary:

, In: Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges,
Hallnäs, Lars - p. 565-566 , 2008
Link: https://dl.acm.org/doi/1..
 
?
6

Introduction to special issue on the aesthetics of interact..:

Petersen, Marianne Graves ; Hallnäs, Lars ; Jacob, Robert J.K.
ACM Transactions on Computer-Human Interaction (TOCHI).  15 (2008)  4 - p. 1-5 , 2008
Link: https://dl.acm.org/doi/1..
 
?
7

Introduction to special issue on the aesthetics of interact..:

Petersen, Marianne Graves ; Hallnäs, Lars ; Jacob, Robert J.K.
ACM Transactions on Computer-Human Interaction.  15 (2008)  4 - p. 1-5 , 2008
Link: https://doi.org/10.1145/..
 
?
8

On the Proof-Theoretic Foundation of General Definition The..:

Hallnäs, Lars
Synthese.  148 (2006)  3 - p. 589-602 , 2006
Link: https://www.jstor.org/st..
 
?
9

On the Proof-theoretic Foundation of General Definition The..:

Hallnäs, Lars
Synthese.  148 (2006)  3 - p. 589-602 , 2006
Link: https://doi.org/10.1007/..
 
?
10

Textile displays : using textiles to investigate computa..:

, In: Proceedings of the second Nordic conference on Human-computer interaction,
Hallnäs, Lars ; Melin, Linda ; Redström, Johan - p. 157-166 , 2002
Link: https://dl.acm.org/doi/1..
 
?
11

From use to presence : on the expressions and aesthetics..:

Hallnäs, Lars ; Redström, Johan
ACM Transactions on Computer-Human Interaction (TOCHI).  9 (2002)  2 - p. 106-124 , 2002
Link: https://dl.acm.org/doi/1..
 
?
12

From use to presence: on the expressions and aesthetics of ..:

Hallnäs, Lars ; Redström, Johan
ACM Transactions on Computer-Human Interaction.  9 (2002)  2 - p. 106-124 , 2002
Link: https://doi.org/10.1145/..
 
?
13

Abstract information appliances : methodological exercis..:

, In: Proceedings of the 4th conference on Designing interactive systems: processes, practices, methods, and techniques,
Hallnäs, Lars ; Redström, Johan - p. 105-116 , 2002
Link: https://dl.acm.org/doi/1..
 
?
14

Informative art : using amplified artworks as informatio..:

, In: Proceedings of DARE 2000 on Designing augmented reality environments,
Redström, Johan ; Skog, Tobias ; Hallnäs, Lars - p. 103-114 , 2000
Link: https://dl.acm.org/doi/1..
 
?
15

Extensions of Logic Programming 

Second International Workshop, ELP '91, Stockholm, Sweden, ...  Lecture Notes in Computer Science ; 596;SpringerLink, Bücher
Eriksson, Lars-Henrik ; Hallnäs, Lars ; Schroeder-Heister, Peter , 1992
Link: https://doi.org/10.1007/..
 
1-15