Completeness and Herbrand theorems for nominal logic (Q5477637): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1140641176
+Normal rank
@@ Property / OpenAlex ID @@
+W2161033077
@@ Property / OpenAlex ID: W2161033077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301150
@@ Property / cites work: Q4301150 / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+An attack on the Needham-Schroeder public-key authentication protocol
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus
@@ Property / cites work: Infinitary lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301602
@@ Property / cites work: Q4301602 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names.
+Normal rank
@@ Property / cites work @@
+Q2748497
@@ Property / cites work: Q2748497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Orienting rewrite rules with the Knuth-Bendix order.
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4671219
@@ Property / cites work: Q4671219 / rank @@
+Normal rank