Travelled to:1 × France
1 × Italy
1 × Portugal
1 × Spain
Collaborated with:E.Nantajeewarawat H.Koike
Talks about:problem (4) transform (2) equival (2) answer (2) queri (2) solv (2) synthesi (1) program (1) preserv (1) formula (1)
Person: Kiyoshi Akama
DBLP: Akama:Kiyoshi
Contributed to:
201420132011
2002Wrote 4 papers:
- KEOD-2014-AkamaN #problem
- Solving Query-answering Problems with If-and-Only-If Formulas (KA, EN), pp. 333–344.
- KEOD-2013-AkamaN #problem #proving
- Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation (KA, EN), pp. 253–260.
- KEOD-2011-AkamaN
- Meaning-preserving Skolemization (KA, EN), pp. 322–327.
- LOPSTR-2002-AkamaNK #synthesis
- Program Synthesis Based on the Equivalent Transformation Computation Model (KA, EN, HK), pp. 278–279.