A Linear Logic of Authorization and Knowledge (Q5862524): Difference between revisions

@@ Property / author @@
-Frank Pfenning
@@ Property / author: Frank Pfenning / rank @@
-Normal rank
@@ Property / author @@
+Frank Pfenning
@@ Property / author: Frank Pfenning / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1535318411
@@ Property / OpenAlex ID: W1535318411 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4433624
@@ Property / cites work: Q4433624 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural cut elimination. I: Intuitionistic and classical logic
+Normal rank
@@ Property / cites work @@
+Q4415096
@@ Property / cites work: Q4415096 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Access Control
@@ Property / cites work: A Logic of Access Control / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5862524