Justification logic as a foundation for certifying mobile computation (Q408548): Difference between revisions

@@ Property / describes a project that uses @@
+MiniML
@@ Property / describes a project that uses: MiniML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2011.09.007
+Normal rank
@@ Property / OpenAlex ID @@
+W1974142908
@@ Property / OpenAlex ID: W1974142908 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of proofs
@@ Property / cites work: Logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692429
@@ Property / cites work: Q5692429 / rank @@
+Normal rank
@@ Property / cites work @@
+The Intensional Lambda Calculus
@@ Property / cites work: The Intensional Lambda Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Justification Logic and History Based Computation
@@ Property / cites work: Justification Logic and History Based Computation / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Proofs as a Foundation for Certifying Mobile Computation
+Normal rank
@@ Property / cites work @@
+A Constructive Logic for Services and Information Flow in Computer Networks
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Mobility and Locality Types
@@ Property / cites work: Logical Mobility and Locality Types / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank