R-Calculi $$\textbf{R}^{Q_1iQ_2j}/\textbf{R}_{Q_1iQ_2j}$$
Autor: | Wei Li, Yuefei Sui |
---|---|
Rok vydání: | 2023 |
Zdroj: | R-Calculus, IV: Propositional Logic ISBN: 9789811986321 |
DOI: | 10.1007/978-981-19-8633-8_5 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Wei Li, Yuefei Sui |
---|---|
Rok vydání: | 2023 |
Zdroj: | R-Calculus, IV: Propositional Logic ISBN: 9789811986321 |
DOI: | 10.1007/978-981-19-8633-8_5 |
Databáze: | OpenAIRE |
Externí odkaz: |