関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
basics tools » basic tools, tactics tools, based tools
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
basics tools » basic tools, tactics tools, based tools
1
出版事項 2005
目次:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”全文の入手
電子媒体
eBook
2
出版事項 2006
目次:
“...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...”全文の入手
電子媒体
eBook