bibliographer - Toshinori Takai

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property Hiroyuki Seki Toshinori Takai Youhei Fujinaka Yuichi Kaji [github]

Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable Toshinori Takai Yuichi Kaji Hiroyuki Seki [github]

A Decidable Subclass of Term Rewriting Systems which Effectively Preserves Regonizability Toshinori Takai [github]

Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability Toshinori Takai Yuichi Kaji Hiroyuki Seki [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]