Yoshihito Toyama

From MaRDI portal
Person:1107974

Available identifiers

zbMath Open toyama.yoshihitoMaRDI QIDQ1107974

List of research outcomes

PublicationDate of PublicationType
Termination for the direct sum of left-linear term rewriting systems2022-12-09Paper
Completeness of combinations of constructor systems2022-12-09Paper
Semantics and strong sequentially of priority term rewriting systems2022-12-09Paper
Improving rewriting induction approach for proving ground confluence2020-05-26Paper
Automated proofs of unique normal forms w.r.t. conversion for term rewriting systems2020-05-13Paper
Parallel closure theorem for left-linear nominal rewriting systems2018-01-04Paper
https://portal.mardi4nfdi.de/entity/Q53694972017-10-17Paper
Ground Confluence Prover based on Rewriting Induction2017-10-17Paper
Confluence of orthogonal nominal rewriting systems revisited2017-07-12Paper
Correctness of Context-Moving Transformations for Term Rewriting Systems2016-02-05Paper
Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams2014-07-24Paper
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems2012-04-24Paper
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems2012-04-03Paper
Proving Confluence of Term Rewriting Systems Automatically2009-06-30Paper
Rewriting Techniques and Applications2009-04-30Paper
Rewriting Techniques and Applications2009-04-30Paper
On the Church-Rosser property for the direct sum of term rewriting systems2009-01-13Paper
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations2008-08-28Paper
Processes, Terms and Cycles: Steps on the Road to Infinity2006-11-13Paper
Term Rewriting and Applications2005-11-11Paper
https://portal.mardi4nfdi.de/entity/Q45364552002-11-25Paper
Decidability for left-linear growing term rewriting systems.2002-01-01Paper
https://portal.mardi4nfdi.de/entity/Q45205282001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q44943662000-08-10Paper
https://portal.mardi4nfdi.de/entity/Q49386092000-02-23Paper
https://portal.mardi4nfdi.de/entity/Q49371902000-02-03Paper
https://portal.mardi4nfdi.de/entity/Q47056081999-12-20Paper
https://portal.mardi4nfdi.de/entity/Q47056221999-12-20Paper
https://portal.mardi4nfdi.de/entity/Q42533241999-11-08Paper
Semantics and strong sequentiality of priority term rewriting systems1999-01-12Paper
Termination for direct sums of left-linear complete term rewriting systems1998-01-28Paper
https://portal.mardi4nfdi.de/entity/Q43643731997-11-17Paper
Modularity of confluence: A simplified proof1994-04-04Paper
Completeness of combinations of constructor systems1993-08-22Paper
How to prove equivalence of term rewriting systems without induction1992-06-28Paper
Fast Knuth-Bendix completion with a term rewriting system compiler1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38092291988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38199911988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38305251988-01-01Paper
Counterexamples to termination for the direct sum of term rewriting systems1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37198251986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37835181986-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Yoshihito Toyama