Back to Results
First PageMeta Content
Π-calculus / Fold / Tree / Signed graph / Comparability graph / Graph theory / Mathematics / Graph


Structural Recursion for Querying Ordered Graphs Soichiro Hidaka Zhenjiang Hu Kazuyuki Asada ∗ Hiroyuki Kato
Add to Reading List

Document Date: 2013-08-08 04:22:59

Open Document

File Size: 363,08 KB

Share Result on Facebook

City

Boston / /

Company

Let us / /

Country

Japan / United States / /

/

Facility

The University of Tokyo / Keisuke Nakano University of Electro-Communications / Hiroyuki Kato National Institute of Informatics / /

IndustryTerm

computing / type systems / e-graphs / e-graph / polymorphic/dependent type systems / /

Organization

Hiroyuki Kato National Institute of Informatics / University of Tokyo / Organization of the Paper We / University of Electro-Communications / /

Person

Kazuyuki Asada / Soichiro Hidaka Zhenjiang Hu Kazuyuki / Hiroyuki Kato / /

Position

author / interpreter / /

Technology

functional programming / Dom / /

URL

http /

SocialTag