Nominal unification with atom-variables (Q1640638): Difference between revisions

@@ Property / author @@
-Manfred Schmidt-Schauss
@@ Property / author: Manfred Schmidt-Schauss / rank @@
-Normal rank
@@ Property / author @@
+Manfred Schmidt-Schauss
@@ Property / author: Manfred Schmidt-Schauss / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nominal Isabelle
@@ Property / describes a project that uses: Nominal Isabelle / 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.jsc.2018.04.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2795931429
@@ Property / OpenAlex ID: W2795931429 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking overlaps of nominal rewriting rules
@@ Property / cites work: Checking overlaps of nominal rewriting rules / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Nominal Unification
@@ Property / cites work: Unifying Nominal Unification / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial nominal unification algorithm
@@ Property / cites work: A polynomial nominal unification algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Equivariant unification
@@ Property / cites work: Equivariant unification / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint solving in non-permutative nominal abstract syntax
+Normal rank
@@ Property / cites work @@
+Nominal Unification from a Higher-Order Perspective
+Normal rank
@@ Property / cites work @@
+An Efficient Nominal Unification Algorithm
@@ Property / cites work: An Efficient Nominal Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal unification of higher order expressions with recursive let
+Normal rank
@@ Property / cites work @@
+Safety of Nöcker's strictness analysis
@@ Property / cites work: Safety of Nöcker's strictness analysis / rank @@
+Normal rank
@@ Property / cites work @@
+General Bindings and Alpha-Equivalence in Nominal Isabelle
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130021361
@@ Property / Wikidata QID: Q130021361 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1640638