42 search results - page 4 / 9 » An introduction to logical spreadsheets |
229
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
101
click to vote
TLCA
2007
Springer
15 years 3 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...
ICYCS
2008
IEEE
15 years 3 months ago
2008
IEEE
ICLP
1991
Springer
15 years 27 days ago
1991
Springer
ICLP
2010
Springer
14 years 11 months ago
2010
Springer