Multi-Dimensional Interpretations for Termination of Term Rewriting

von Yamada, Akihisa
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

Term Orderings for Non-reachability of (Conditional) Rewriting

von Yamada, Akihisa
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Firms with adaptability lead a way to innovative development

von Yamada, Akihisa
Veröffentlicht in Challenges in the management of new technologies (2007)

An empirical analysis of the coevolution of China's institutional system and rapidly growing PC sector

Veröffentlicht in Technological innovation across nations (2009)

Relational Differential Dynamic Logic.

von Kolcák, Juraj
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Architecture-Guided Test Resource Allocation via Logic

von Eberhart, Clovis
Veröffentlicht in TAP (15. : 2021 : Online) Tests and Proofs (2021)