Subsequence Invariants (Q3541017): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-85361-9_17
+Normal rank
@@ Property / OpenAlex ID @@
+W2911382519
@@ Property / OpenAlex ID: W2911382519 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic generation of invariants and intermediate assertions
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3409998
@@ Property / cites work: Q3409998 / rank @@
+Normal rank
@@ Property / cites work @@
+Subsequence Invariants
@@ Property / cites work: Subsequence Invariants / rank @@
+Normal rank
@@ Property / cites work @@
+.1162/153244302760200687
@@ Property / cites work: 10.1162/153244302760200687 / rank @@
+Normal rank
@@ Property / cites work @@
+Subword histories and Parikh matrices
@@ Property / cites work: Subword histories and Parikh matrices / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Subword conditions and subword histories
@@ Property / cites work: Subword conditions and subword histories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769581
@@ Property / cites work: Q2769581 / rank @@
+Normal rank