本文に飛ぶ

年 〜
年

検索結果 6 件

型理論の証明論ならびに計算論的研究

型理論の証明論ならびに計算論的研究
紙図書
寳来, 正子, 東京工業大学1997-1999<Y151-H09640248>
国立国会図書館
  • 著者標目寳来, 正子

Lambda-representable functions over free structures revisited

Lambda-representable functions over free structures revisited
紙図書
寳来, 正子, HORAI, MasakoProc. of 3rd Int. Symp. on Functional and Logic Programming1998Proc. of 3rd Int. Symp. on Functional and Logic Programmingp.1-19
全国の図書館
  • 著者標目寳来, 正子 HORAI, Masako

A primer on proofs and types

A primer on proofs and types
紙図書
寳来, 正子, HORAI, MasakoTheories of Types and Proofs1998Theories of Types and Proofsp.1-44
全国の図書館
  • 著者標目寳来, 正子 HORAI, Masako

オートマトンの理論(共箸)

オートマトンの理論(共箸)
紙図書
寳来, 正子, HORAI, Masako共立出版1983共立出版
全国の図書館
  • 著者標目寳来, 正子 HORAI, Masako

A tree generating system(共箸)

A tree generating system(共箸)
紙図書
寳来, 正子, HORAI, MasakoAutomation Languages,and Programming(Nivat ed,North-Holland)1973Automation Languages,and Programming(Nivat ed,North-Holland)p.453-465
全国の図書館
  • 著者標目寳来, 正子 HORAI, Masako

Primitive transformations of regular sets and recognizable sets

Primitive transformations of regular sets and recognizable sets
紙図書
寳来, 正子, HORAI, MasakoAutomata,Languages,and Programming1973Automata,Languages,and Programmingp.475-480
全国の図書館
  • 著者標目寳来, 正子 HORAI, Masako

検索結果は以上です。

RSS