Yoshihito Toyama

Available identifiers

zbMath Open toyama.yoshihitoMaRDI QIDQ1107974

List of research outcomes

Publication	Date of Publication	Type
Termination for the direct sum of left-linear term rewriting systems	2022-12-09	Paper
Completeness of combinations of constructor systems	2022-12-09	Paper
Semantics and strong sequentially of priority term rewriting systems	2022-12-09	Paper
Improving rewriting induction approach for proving ground confluence	2020-05-26	Paper
Automated proofs of unique normal forms w.r.t. conversion for term rewriting systems	2020-05-13	Paper
Parallel closure theorem for left-linear nominal rewriting systems	2018-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5369497	2017-10-17	Paper
Ground Confluence Prover based on Rewriting Induction	2017-10-17	Paper
Confluence of orthogonal nominal rewriting systems revisited	2017-07-12	Paper
Correctness of Context-Moving Transformations for Term Rewriting Systems	2016-02-05	Paper
Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams	2014-07-24	Paper
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems	2012-04-24	Paper
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems	2012-04-03	Paper
Proving Confluence of Term Rewriting Systems Automatically	2009-06-30	Paper
Rewriting Techniques and Applications	2009-04-30	Paper
Rewriting Techniques and Applications	2009-04-30	Paper
On the Church-Rosser property for the direct sum of term rewriting systems	2009-01-13	Paper
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations	2008-08-28	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
Term Rewriting and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4536455	2002-11-25	Paper
Decidability for left-linear growing term rewriting systems.	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4520528	2001-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4494366	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4938609	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4937190	2000-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4705608	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4705622	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4253324	1999-11-08	Paper
Semantics and strong sequentiality of priority term rewriting systems	1999-01-12	Paper
Termination for direct sums of left-linear complete term rewriting systems	1998-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4364373	1997-11-17	Paper
Modularity of confluence: A simplified proof	1994-04-04	Paper
Completeness of combinations of constructor systems	1993-08-22	Paper
How to prove equivalence of term rewriting systems without induction	1992-06-28	Paper
Fast Knuth-Bendix completion with a term rewriting system compiler	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3809229	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819991	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830525	1988-01-01	Paper
Counterexamples to termination for the direct sum of term rewriting systems	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3719825	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783518	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yoshihito Toyama