Jump to main content

yr 〜
yr

Search results 3

KATの完全性定理と項の還元可能性の決定可能性

KATの完全性定理と項の還元可能性の決定可能性
Digital博士論文
浦本, 武雄京都大学 (Kyoto University)2014-03-24
Available onlineOther Libraries in Japan
  • Subject HeadingKleene algebra with tests completeness theorem decidability regular language syntactic semiring

Automata in mathematics and selected applications

Automata in mathematics and selected applications
Paper図書
edited by Jean-Éric PinEMS Pressc2021
Other Libraries in Japan
  • Subject Heading...sion processes regular languages algorithmic learning
  • Subject Heading (ID)...sion processes regular languages algorithmic learning

Theoretical foundations

Theoretical foundations
Paper図書
edited by Jean-Éric PinEMS Pressc2021
Other Libraries in Japan
  • Subject Heading...sion processes regular languages algorithmic learning
  • Subject Heading (ID)...sion processes regular languages algorithmic learning

Reached to the end of result.

RSS