- Tytuł:
- Operationally-based program equivalence proofs using LCTRSs
- Autorzy:
- Źródło:
- In Journal of Logical and Algebraic Methods in Programming October 2023 135
Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.