三浦克宜

发表

THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS

Katsunori Miura, Hiroshi Mabuchi, Hidekatsu Koike, 2013 .

PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES

Kiyoshi Akama, Katsunori Miura, Hiroshi Mabuchi, 2013 .

Generation of equivalent transformation rules via logical equivalence

三浦克宜, 2009 .

ET-Based Bidirectional Search for Proving Formulas in the Class ES

Kiyoshi Akama, Katsunori Miura, 三浦克宜, 2014 .