MikiBeta : A General GUI Library for Visualizing Proof Trees

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20551-4_6 ◽

2011 ◽

pp. 84-98 ◽

Cited By ~ 2

Author(s):

Kanako Sakurai ◽

Kenichi Asai

Download Full-text