BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Japan
1 × Korea
1 × Taiwan
1 × The Netherlands
1 × United Kingdom
2 × USA
Collaborated with:
A.Middeldorp T.Suzuki H.Takahashi S.Okui A.Kasem F.Ghourabi M.Marin K.Nakagawa K.Nakahara E.Goto T.Soma N.Inada M.Idesawa K.Hiraki M.Suzuki K.Shimizu B.Philipov
Talks about:
narrow (5) origami (4) higher (4) order (4) lazi (4) variabl (3) complet (3) logic (3) function (2) calculus (2)

Person: Tetsuo Ida

DBLP DBLP: Ida:Tetsuo

Contributed to:

SAC 20112011
SAC 20092009
SAC 20072007
FLOPS 19991999
ALP/HOA 19971997
PPDP 19951995
RTA 19951995
LFP 19821982
TAPSOFT 19951996

Wrote 10 papers:

SAC-2011-KasemGI #axiom
Origami axioms and circle extension (AK, FG, TI), pp. 1106–1111.
SAC-2009-IdaT #algebra #graph grammar
Origami fold as algebraic graph rewriting (TI, HT), pp. 1132–1137.
SAC-2007-GhourabiITMK #algebra #axiom #logic
Logical and algebraic view of Huzita’s origami axioms with applications to computational origami (FG, TI, HT, MM, AK), pp. 767–772.
FLOPS-1999-MarinIS #higher-order #lazy evaluation #on the
On Reducing the Search Space of Higher-Order Lazy Narrowing (MM, TI, TS), pp. 319–334.
ALP-1997-SuzukiNI #calculus #functional #higher-order #lazy evaluation #logic
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language (TS, KN, TI), pp. 99–113.
PLILP-1995-NakaharaMI #calculus #functional #higher-order #logic programming
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming (KN, AM, TI), pp. 97–114.
RTA-1995-SuzukiMI #term rewriting
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides (TS, AM, TI), pp. 179–193.
LFP-1982-GotoSIIIHSSP #design #lisp
Design of a Lisp Machine — FLATS (EG, TS, NI, TI, MI, KH, MS, KS, BP), pp. 208–215.
TAPSOFT-1995-OkuiMI #lazy evaluation
Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract) (SO, AM, TI), pp. 394–408.
TAPSOFT-J-1995-MiddeldorpOI96 #lazy evaluation
Lazy Narrowing: Strong Completeness and Eager Variable Elimination (AM, SO, TI), pp. 95–130.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.