Search results for "産業技術総合研究所算譜科学グループ研究速報" | NDL Search

Search results 27

Group by title

Modal logics for Coalgebras : a survey (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-3)

Paper図書

[by] Laboratory for Verification and Semantics AIST Kansai, Amagasaki Site National Institute of Advanced Industrial Science and Technology (AIST), [by] Ichiro HasuoLaboratory for Verification and Semantics AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2004.2<MA67-B13>

National Diet Library

抽象化を用いた検証ツールの調査 (産業技術総合研究所算譜科学グループ研究速報)

Paper図書

産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ編, 田辺良則, 高井利憲, 高橋孝一 [著]産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ2003.12<Y251-H242>

National Diet Library

情報産業とシステム検証 (産業技術総合研究所算譜科学グループ研究速報 ; v.3 no.2)

Paper図書

木下佳樹 [著]産業技術総合研究所関西センター尼崎事業所情報科学連携研究体2003.2<Y251-H15>

National Diet Library

第二種基礎研究の方法 (産業技術総合研究所算譜科学グループ研究速報 ; v.3 no.4)

Paper図書

木下佳樹 [著]産業技術総合研究所関西センター尼崎事業所情報科学連携研究体2003.3<Y251-H75>

National Diet Library

ACTAS: associative and commutative tree automata simulator (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-6)

Paper図書

[by] Toshinori Takai, Hitoshi OhsakiLaboratory for Verification and Semantics AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2004.3<M159-B29>

National Diet Library

ACTAS: a system design for associative and commutative tree automata theory (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-7)

Paper図書

[by] Hitoshi Ohsaki, Toshinori TakaiResearch Center for Verification and Semantics, Amagasaki Site-AIST Kansai, National Institute of Advanced Industrial Science and Technology2004.7<M159-B30>

National Diet Library

A free construction of Kleene algebras with tests : preliminary version (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-4)

Paper図書

[by] Hitoshi FurusawaLaboratory for Verification and Semantics AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2004.3<MA67-B14>

National Diet Library

A verification technique using term rewriting systems and abstract interpretation (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-5)

Paper図書

[by] Toshinori TakaiLaboratory for Verification and Semantics AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2004.3<M159-B28>

National Diet Library

Recognizable A-tree languages are boolean closed (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.3 no.1)

Paper図書

[by]Hitoshi Ohsaki, Hiroyuki Seki, Toshinori TakaiInformatics Group, Information Technology Research institute, National Institute of Advanced Industrial Science and Technology2003.1<M159-B11>

National Diet Library

モデル検査器を用いた自動検針システムの仕様検証 (産業技術総合研究所算譜科学グループ研究速報)

Paper図書

早水公二 [ほか著]産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ2003.6<Y251-H106>

National Diet LibraryOther Libraries in Japan

The categories of Kleene algebras, action algebras and action lattices are related by adjunctions (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報)

Paper図書

[by] Hitosi FurusawaLaboratory for Verification and Semantics AIST Kansai, Amagasaki site National Institute of Advanced Industrial Science and Technology2003.6<MA67-B8>

National Diet Library

Abstraction and search in verification by state exploration (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.3)

Paper図書

[by]Koichi TakahashiCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2002.5<M159-B9>

National Diet Library

不動点をめぐる代数構造たち (産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.5)

Paper図書

産業技術総合研究所関西センター尼崎事業所情報科学連携研究体編産業技術総合研究所関西センター尼崎事業所情報科学連携研究体2002.5<M159-G4509>

National Diet Library

Formal proof of abstract model checking of concurrent garbage collection (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.2)

Paper図書

[by]Koichi Takahashi, Masami HagiyaCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2002.5<M159-B8>

National Diet Library

Decidability and closure properties of equational tree languages (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.4)

Paper図書

[by]Hitoshi Ohsaki, Toshinori TakaiCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2002.5<M159-B4>

National Diet Library

Right-linear finite path overlapping rewrite systems effectively preserve recognizability (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.9)

Paper図書

[by]Toshinori Takai, Hiroyuki Seki, Yuichi KajiInformatics Group, Information Technology Research Institute, National Institute of Advanced Industrial Science and Technology2002.12<M159-B13>

National Diet Library

Layered transducing term rewriting system and its recognizability preserving property (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.10)

Paper図書

[by]Toshinori Takai[et al.]Informatics Group, Information Technology Research Institute, National Institute of Advanced Industrial Science and Technology2002.12<M159-B12>

National Diet Library

Decidability and closure properties for computation on equational tree languages (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.1)

Paper図書

[by]Hitoshi Ohsaki, Toshinori TakaiCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2002.3<M159-B7>

National Diet Library

A tree automata theory for unification modulo equational rewriting (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.6)

Paper図書

[by]Hitoshi Ohsaki, Toshinori TakaiCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2002.7<MA41-B3>

National Diet Library

テスト付きクリーニ代数の準代数構造 (産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.7)

Paper図書

産業技術総合研究所関西センター尼崎事業所情報科学連携研究体編産業技術総合研究所関西センター尼崎事業所情報科学連携研究体2002.8<MA67-H4>

National Diet Library

RSS