|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 5 van 5 gevonden artikelen
| Titel: |
Reasoning about Resources and Information: A Linear Logic Approach |
| Auteur: |
Kamide, Norihiro Kaneiwa, Ken |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 125 (2013) nr. 1 pagina's 51-70 |
| Jaar: |
2013-07-19 |
| Inhoud: |
A logic called sequence-indexed linear logic (SLL) is proposed to appropriately formalize resource-sensitive reasoning with sequential information. The completeness and cut-elimination theorems for SLL are proved, and SLL and a fragment of SLL are shown to be undecidable and decidable, respectively. As an application of SLL, some specifications of secure password authentication systems are discussed. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 5 van 5 gevonden artikelen
| << vorige |