Author: Masami Hagiya

Publications

Publication period start: 1995
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
Tomoki Shiratori
1

Productive Colleagues

Most productive colleagues in number of publications
Tomoki Shiratori
1

Publications

Hagiya, Masami (1992): A Formal Approach to Visual Proving Based on Logic Programming. In: Proceedings of the 1992 IEEE Workshop on Visual Languages September 15-18, 1992, Seattle, Washington, USA. pp. 234-236.

Hagiya, Masami, Shiratori, Tomoki (1995): Programming by Example in Computing-as-Editing Paradigm. In: VL 1995 , 1995, . pp. 275-283. https://csdl.computer.org/comp/proceedings/vl/1995/7045/00/70450275abs.htm