Jump to main content

yr 〜
yr

Search results 19

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

Essentially algebraic structure for Kleene algebra with tests and its application to semantics of while programs (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.8)

Essentially algebraic structure for Kleene algebra with tests and its application to semantics of while programs (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.8)
Paper図書
[by]Hitoshi Furusawa, Yoshiki KinoshitaCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2002.9<MA67-B5>
National Diet Library

Beyond regularity : equational tree automata for associative and commutative theories (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.2)

Beyond regularity : equational tree automata for associative and commutative theories (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.2)
Paper図書
[by]Hitoshi, OhsakiCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2001.4<M159-B3>
National Diet Library

Searching for mutual exclusion algorithms using BDDs : preliminary version (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.3)

Searching for mutual exclusion algorithms using BDDs : preliminary version (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.3)
Paper図書
[by]Koichi Takahashi, Masami HagiyaCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2001.4<M159-B5>
National Diet Library

Termination property of inverse finite path overlapping term rewriting system is decidable (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.5)

Termination property of inverse finite path overlapping term rewriting system is decidable (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.5)
Paper図書
[by]Toshinori Takai, Yuichi Kaji, Hiroyuki SekiCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2001.11<M159-B6>
National Diet Library

Proceedings of the workshop on refinement and abstraction : preliminary version : Amagasaki,Japan November 15-17,1999 (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.1)

Proceedings of the workshop on refinement and abstraction : preliminary version : Amagasaki,Japan November 15-17,1999 (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.1)
Paper図書
[edited by]Masami Hagiya, Yoshiki Kinoshita, A.John PowerCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2001.4<M18-B37>
National Diet Library

Reached to the end of result.

RSS