default search action

combined dblp search
author search
venue search
publication search

ask others

6th UNIF@IJCAR 2012: Manchester, UK - UNIF

> Home > Conferences and Workshops > UNIF

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ easychair.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/2012unif
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2012unif
Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov:
UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012. EPiC Series in Computing 24, EasyChair 2014
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/BaaderBM12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BaaderBM12a
Franz Baader, Stefan Borgwardt, Barbara Morawska:
Recent Advances in Unification for the EL Family. 1-6
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/ErbaturEN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ErbaturEN12
Serdar Erbatur, Santiago Escobar, Paliath Narendran:
The use of types in designing unification algorithms: two case studies. 7-16
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/GeroBN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GeroBN12
Kimberly A. Gero, Christopher Bouchard, Paliath Narendran:
Some Notes on Basic Syntactic Mutation. 17-27
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/Libal12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Libal12
Tomer Libal:
Bounded Higher-order Unification using Regular Terms. 28-49

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.