Bonsai: Cutting Models Down to Size (Q3455087): Difference between revisions

@@ Property / author @@
-W. J. Fokkink
@@ Property / author: W. J. Fokkink / rank @@
-Normal rank
@@ Property / author @@
+W. J. Fokkink
@@ Property / author: W. J. Fokkink / 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.1007/978-3-662-46823-4_29
+Normal rank
@@ Property / OpenAlex ID @@
+W1201358746
@@ Property / OpenAlex ID: W1201358746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818796
@@ Property / cites work: Q4818796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattices and the theory of truth
@@ Property / cites work: Bilattices and the theory of truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q3060979
@@ Property / cites work: Q3060979 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3455087