Jump to main content

yr 〜
yr

Search results 4

項書換えのための合成可能な合流性基準

項書換えのための合成可能な合流性基準
Digital博士論文障害者向け資料あり
新谷, 喜楽2023-09
National Diet Library
  • Subject Headingterm rewriting confluence decreasing diagram...

項書換えのための合成可能な合流性基準

項書換えのための合成可能な合流性基準
Digital博士論文
新谷, 喜楽2023-09
Available onlineOther Libraries in Japan
  • Subject Headingterm rewriting confluence decreasing diagram...

A decidable subclass of term rewriting systems which effectively preserve recognizability

A decidable subclass of term rewriting systems which effectively preserve recognizability
Digital博士論文
高井, 利憲Nara Institute of Science and Technology2002-03-22
Other Libraries in Japan
  • Subject Headingterm rewriting system tree automation decida...

Efficient Access Control and Detection of Security Flaws under Authorizations in Object-Oriented Databases

Efficient Access Control and Detection of Security Flaws under Authorizations in Object-Oriented Databases
Digital博士論文
森多, 俊之Nara Institute of Science and Technology1999-03-24
Available onlineOther Libraries in Japan
  • Subject Headingobject-oriented databases access control authorization security flaw term rewriting system

Reached to the end of result.

RSS