The logic-termal equivalence is polynomial-time decidable
Autor: | Viktor K. Sabelfeld |
---|---|
Rok vydání: | 1980 |
Předmět: | |
Zdroj: | Information Processing Letters. 10:57-62 |
ISSN: | 0020-0190 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Viktor K. Sabelfeld |
---|---|
Rok vydání: | 1980 |
Předmět: | |
Zdroj: | Information Processing Letters. 10:57-62 |
ISSN: | 0020-0190 |
Databáze: | OpenAIRE |
Externí odkaz: |