Masami Hagiya

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1992
Publication period end
1995
Number of co-authors
1

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

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

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.