- Tytuł:
- Reasoning about resources and information : a linear logic approach
- Autorzy:
-
Kamide, N.
Kaneiwa, K. - Data publikacji:
- 2013
- Słowa kluczowe:
-
completeness theorem
informational interpretation
linear logic
resource-sensitive reasoning
secure password authentication system
sequence modal operator - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł