default search action

combined dblp search
author search
venue search
publication search

ask others

UNIF 2014, Vienna, Austria

> 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 @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/2014
Temur Kutsia, Christophe Ringeissen:
Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. 2014

Invited Papers

- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/Meseguer14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/Meseguer14
José Meseguer:
Extensible Symbolic System Analysis. 1-4
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/Levy14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/Levy14
Jordi Levy:
On the Limits of Second-Order Unification. 5-14

Contributed Papers

- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/HibbsNM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/HibbsNM14
Peter Hibbs, Paliath Narendran, Shweta Mehto:
Unification Modulo Common List Functions. 15-21
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/BaaderM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/BaaderM14
Franz Baader, Barbara Morawska:
Matching with respect to general concept inclusions in the Description Logic EL. 22-25
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/BalbianiT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/BalbianiT14
Philippe Balbiani, Tinko Tinchev:
Unification in the normal modal logic Alt1. 26-32
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/ErbaturKMMNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/ErbaturKMMNR14
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen:
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). 33-35
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/ErbaturKMNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/ErbaturKMNR14
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen:
Hierarchical Combination of Matching Algorithms (Extended Abstract). 36-40
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/CabrerM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/CabrerM14
Leonardo Manuel Cabrer, George Metcalfe:
From Admissibility to a New Hierarchy of Unification Types. 41-46
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/BonacinaP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/BonacinaP14
Maria Paola Bonacina, David A. Plaisted:
Constraint Manipulation in SGGS. 47-54
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/NovikovaZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/NovikovaZ14
Tatyana A. Novikova, Vladimir A. Zakharov:
Two-sided unification is NP-complete. 55-61
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/BaumgartnerKLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/BaumgartnerKLV14
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Anti-Unification. 62-68
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/VezzosiA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/VezzosiA14
Andrea Vezzosi, Andreas Abel:
A Categorical Perspective on Pattern Unification (Extended Abstract). 69-73
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/ZilianiS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/ZilianiS14
Beta Ziliani, Matthieu Sozeau:
Towards a better-behaved unification algorithm for Coq. 74-87

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.