Takuya Kuwahara

From MaRDI portal
Person:1702896

Available identifiers

zbMath Open kuwahara.takuyaMaRDI QIDQ1702896

List of research outcomes





PublicationDate of PublicationType
Predicate abstraction and CEGAR for disproving termination of higher-order functional programs2018-03-01Paper
Automatic Termination Verification for Higher-Order Functional Programs2014-04-16Paper
Bubble velocity measurement using magnetic fluid and electromagnetic induction2010-03-18Paper

Research outcomes over time

This page was built for person: Takuya Kuwahara

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1702896&oldid=6350315"
Powered by MediaWiki