default search action

combined dblp search
author search
venue search
publication search

ask others

22nd UNIF 2008, Hagenberg, 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
  - no references & citations available
- export record
  dblp key:
  - conf/unif/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/2008
Mircea Marin:
Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008. 2008
- view
  - electronic edition @ jku.at
  - no references & citations available
- export record
  dblp key:
  - conf/unif/AnantharamanLLNR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/AnantharamanLLNR08
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch:
Unification modulo Homomorphic Encryption is Decidable. 1-15
- view
  - electronic edition @ jku.at
  - no references & citations available
- export record
  dblp key:
  - conf/unif/BaaderBT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/BaaderBT08
Franz Baader, Andreas Bauer, Alwen Tiu:
Matching linear and non-linear trace patterns with regular policies. 16-24
- view
  - electronic edition @ jku.at
  - no references & citations available
- export record
  dblp key:
  - conf/unif/BaaderM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/BaaderM08
Franz Baader, Barbara Morawska:
Unification in the Description Logic EL is of Type Zero. 25-34
- view
  - electronic edition @ jku.at
  - no references & citations available
- export record
  dblp key:
  - conf/unif/EscobarMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/EscobarMS08
Santiago Escobar, José Meseguer, Ralf Sasse:
Equational Unification by Variant Narrowing (Extended Abstract). 35-39
- view
  - electronic edition @ jku.at
  - no references & citations available
- export record
  dblp key:
  - conf/unif/AriasLMN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/AriasLMN08
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira:
First-order unification using variable-free relational algebra. 40-54
- view
  - electronic edition @ jku.at
  - no references & citations available
- export record
  dblp key:
  - conf/unif/MarinK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/MarinK08
Mircea Marin, Temur Kutsia:
Matching with Membership Constraints for Hedge and Context Variables. 55-68
- view
  - electronic edition @ jku.at
  - no references & citations available
- export record
  dblp key:
  - conf/unif/Ramsay08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/Ramsay08
Allan Ramsay:
A tractable logic of types. 69-81
- view
  - electronic edition @ jku.at
  - no references & citations available
- export record
  dblp key:
  - conf/unif/SiekmannHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/SiekmannHS08
Jörg H. Siekmann, Michael Hoche, Peter Szabó:
String Unification is Essentially Infinitary. 82-102

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.