A rewriting approach to binary decision diagrams (Q1349250): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q2767014
@@ Property / cites work: Q2767014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817590
@@ Property / cites work: Q3817590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4388806
@@ Property / cites work: Q4388806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945220
@@ Property / cites work: Q4945220 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q4536397
@@ Property / cites work: Q4536397 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62047505
@@ Property / Wikidata QID: Q62047505 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1567-8326(01)00013-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2135723187
@@ Property / OpenAlex ID: W2135723187 / rank @@
+Normal rank