Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Toshiki Sakabe

Implementing Visualization of Term Rewriting Computation in Standard ML

IEEJ Transactions on Electronics, Information and Systems
Electronic EngineeringElectrical
1996English

Related publications

A Critique of Standard ML

Journal of Functional Programming
Software
1993English

A Standard ML Compiler

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1987English

Critical Pairs in Term Graph Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Confluence of Curried Term-Rewriting Systems

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1995English

Transfinite Reductions in Orthogonal Term Rewriting Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

Context Term Calculus for Rewriting Systems

PROBLEMS IN PROGRAMMING
2018English

Simplification Orders for Term Graph Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Hardware Synthesis From Term Rewriting Systems

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Term-Graph Rewriting via Explicit Paths

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy