42 search results - page 4 / 9 » An introduction to logical spreadsheets |
268
Voted
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
121
click to vote
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
110
Voted
ICYCS
2008
IEEE
15 years 6 months ago
2008
IEEE
ICLP
1991
Springer
15 years 3 months ago
1991
Springer
ICLP
2010
Springer
15 years 1 months ago
2010
Springer