Structural Extensions of Display Calculi: A General Recipe.

Agata Ciabattoni Revantha Ramanayake

Published in: WoLLIC (2013)

Keyphrases

special case
closely related
structural features
database
information retrieval
learning algorithm
website