Hypersequent and Display Calculi - a Unified Perspective.

Agata Ciabattoni Revantha Ramanayake Heinrich Wansing

Published in: Stud Logica (2014)

Keyphrases

real world
real time
data sets
case study
viewpoint
unified model
genetic algorithm
multiscale
description logics
multi touch