EPTCS 42 - UNIF 2010

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4554
- ask others
Maribel Fernandez (Ed.): Proceedings 24th International Workshop on Unification. 2010 EPTCS 42 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4890
- ask others
Christian Urban: Nominal Unification Revisited. ... 1-11
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4891
- ask others
Deepak Kapur, Andrew M. Marshall, Paliath Narendran: Unification modulo a partial theory of exponentiation. ... 12-23
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4892
- ask others
Sunil Kothari, James Caldwell: A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints. ... 24-38
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4893
- ask others
Conrad Rau, Manfred Schmidt-Schauß: Towards Correctness of Program Transformations Through Unification and Critical Pair Computation. ... 39-53
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4894
- ask others
Paliath Narendran, Andrew M. Marshall, Bibhu Mahapatra: On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity. ... 54-63