Login / Signup

Efficient Rule-Matching for Hyper-Tableaux.

Bjarne HolenDag HovlandMartin Giese
Published in: IWIL@LPAR (2012)
Keyphrases