Q5207051 (Q5207051): Difference between revisions

@@ Property / author @@
-Khadijeh Keshvardoost
@@ Property / author: Khadijeh Keshvardoost / rank @@
-Normal rank
@@ Property / author @@
+Khadijeh Keshvardoost
@@ Property / author: Khadijeh Keshvardoost / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NLambda
@@ Property / describes a project that uses: NLambda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOIS
@@ Property / describes a project that uses: LOIS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Graph isomorphism in quasipolynomial time [extended abstract]
+Normal rank
@@ Property / cites work @@
+Towards nominal computation
@@ Property / cites work: Towards nominal computation / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory in nominal sets
@@ Property / cites work: Automata theory in nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Machines with Atoms
@@ Property / cites work: Turing Machines with Atoms / rank @@
+Normal rank
@@ Property / cites work @@
+Äquivalenzklassen von <i>n</i>‐Tupeln
@@ Property / cites work: Äquivalenzklassen von <i>n</i>‐Tupeln / rank @@
+Normal rank
@@ Property / cites work @@
+Locally Finite Constraint Satisfaction Problems
@@ Property / cites work: Locally Finite Constraint Satisfaction Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Turing machines with atoms, constraint satisfaction problems, and descriptive complexity
+Normal rank
@@ Property / cites work @@
+Q4636561
@@ Property / cites work: Q4636561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5013828
@@ Property / cites work: Q5013828 / rank @@
+Normal rank
@@ Property / cites work @@
+LOIS: syntax and semantics
@@ Property / cites work: LOIS: syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism of graphs of bounded valence can be tested in polynomial time
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726688
@@ Property / cites work: Q5726688 / rank @@
+Normal rank