Tetsuo Yokoyama

Available identifiers

zbMath Open yokoyama.tetsuoWikidataQ71007166 ScholiaQ71007166MaRDI QIDQ896905

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6197211	2024-02-16	Paper
Reversible computing from a programming language perspective	2023-03-24	Paper
Reversible Programs Have Reversible Semantics	2022-12-07	Paper
From reversible programming languages to reversible metalanguages	2022-05-17	Paper
Complete transition diagrams of generic Hamiltonian flows with a few heteroclinic orbits	2021-11-25	Paper
Clean Reversible Simulations of Ranking Binary Trees	2020-05-28	Paper
Constructing a binary tree from its traversals by reversible recursion and iteration	2019-05-10	Paper
Programming Techniques for Reversible Comparison Sorts	2016-01-08	Paper
Fundamentals of reversible flowchart languages	2015-12-15	Paper
Towards a Reversible Functional Language	2012-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q5389329	2012-04-26	Paper
Deterministic second-order patterns	2009-07-09	Paper
Reversible Flowchart Languages and the Structured Reversible Program Theorem	2008-08-19	Paper
Reversible Machine Code and Its Abstract Processor Architecture	2008-06-03	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	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: Tetsuo Yokoyama