Satoshi Okui

From MaRDI portal
Person:671676

Available identifiers

zbMath Open okui.satoshiMaRDI QIDQ671676

List of research outcomes





PublicationDate of PublicationType
Lazy narrowing: strong completeness and eager variable elimination (extended abstract)2022-08-18Paper
Disambiguation in regular expression matching via position automata with augmented transitions2011-02-11Paper
Hedge Pattern Partial Derivative2009-07-09Paper
A deterministic lazy narrowing calculus2002-04-29Paper
Lazy narrowing: strong completeness and eager variable elimination1997-02-27Paper

Research outcomes over time

This page was built for person: Satoshi Okui

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