Local Bigraphs and Confluence: Two Conjectures (Q2866344): Difference between revisions

@@ Property / author @@
-Arthur J. Milner
@@ Property / author: Arthur J. Milner / rank @@
-Normal rank
@@ Property / author @@
+Arthur J. Milner
@@ Property / author: Arthur J. Milner / 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.entcs.2006.07.035
+Normal rank
@@ Property / OpenAlex ID @@
+W2157460885
@@ Property / OpenAlex ID: W2157460885 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q123165446
@@ Property / Wikidata QID: Q123165446 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q2852048
@@ Property / cites work: Q2852048 / rank @@
+Normal rank
@@ Property / cites work @@
+Bigraphs and transitions
@@ Property / cites work: Bigraphs and transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Transition systems, link graphs and Petri nets
@@ Property / cites work: Transition systems, link graphs and Petri nets / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2866344