Sciweavers

VL
2007
IEEE
116views Visual Languages» more  VL 2007»
13 years 11 months ago
A Sequent Based Logic for Coincidence Grids
Information is often represented in tabular format in everyday documents such as balance sheets, sales figures, and so on. Tables represent an interesting point in the spectrum o...
Dave Barker-Plummer, Nik Swoboda