Solving parameterised Boolean equation systems with infinite data through quotienting
Autor: | Neele, T.S., Willemse, T.A.C., Groote, J.F. |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2018 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Neele, T.S., Willemse, T.A.C., Groote, J.F. |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2018 |
Databáze: | OpenAIRE |
Externí odkaz: |