Search results

Articles (4)

Journals (0)

1-4 of 4 results for detour conversion

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2019

Strong Normalization for Truth Table Natural Deduction

Herman Geuvers, Iris van der Giessen, Tonny Hurkens

Fundamenta Informaticae

Open access

Research article

First published 2022-1

Sunxin Wang, Yuhua Li, Shaohua Zhang [...]

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2024-8

Jianhui Zhao, Shuo Chen, Guichun Yang [...]

International Journal of Engine Research

Retricted access

Research article

First published 2023-8

Katherine “Katie” Clonan-Roy, Rhiannon Maton, Charlotte E. Jacobs [...]

Teachers College Record: The Voice of Scholarship in Education