877 search results - page 4 / 176 » Full Abstraction for HOPLA |
SIAMADS
2010
14 years 6 months ago
2010
Abstract. This paper investigates travelling wave solutions of the FitzHugh
107
click to vote
ENTCS
2006
14 years 11 months ago
2006
Families of Categorial Languages Makoto Kanazawa 1 National Institute of Informatics Tokyo, Japan We show that the class of string languages generated by abstract categorial gramm...
78
Voted
MOC
2000
14 years 11 months ago
2000
Abstract. The main problem when solving a Thue equation is the computation of the unit group of a certain number field. In this paper we show that the knowledge of a subgroup of fi...
102
click to vote
CANS
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. In this paper we analyze the recently proposed light-weight block cipher PRINTCipher. Applying algebraic methods and SAT-solving we are able to break 8 rounds of PRINTCip...
LICS
1994
IEEE
15 years 3 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...