877 search results - page 22 / 176 » Full Abstraction for HOPLA |
COMMA
2008
13 years 9 months ago
2008
Abstract. We present a variant of AB-dispute derivations for assumption-based argumentation (ABA), that can be used for determining the admissibility of claims. ABA reduces the pro...
JASIS
2008
13 years 7 months ago
2008
The old Asian legend about the blind men and the elephant comes to mind when looking at how different authors of scientific papers describe a piece of related prior work. It turns...
BIRTHDAY
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
GW
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. This paper deals with the gestural language of instrumentalists playing wind instruments. It discusses the role of non-obvious performer gestures that may nevertheless in...
ESOP
1994
Springer
13 years 11 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...