Articles with public access mandates - Takahito AotoLearn more
Available somewhere: 2
Equational theories and validity for logically constrained term rewriting
T Aoto, N Nishida, J Schöpf
9th International Conference on Formal Structures for Computation and …, 2024
Mandates: Austrian Science Fund
Confluence Competition 2019
J NAGELE, A Middeldorp, K Shintani
Springer, 2019
Mandates: Austrian Science Fund
Publication and funding information is determined automatically by a computer program