Unification of higher-order patterns modulo simple syntactic equational theories.
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] (2000)
- Volume: 4, Issue: 1, page 11-30
- ISSN: 1365-8050
Access Full Article
top
How to cite
topBoudet, Alexandre. "Unification of higher-order patterns modulo simple syntactic equational theories.." Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] 4.1 (2000): 11-30. <http://eudml.org/doc/120383>.
@article{Boudet2000,
author = {Boudet, Alexandre},
journal = {Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]},
keywords = {unification of higher-order patterns; syntactic equational theories},
language = {eng},
number = {1},
pages = {11-30},
publisher = {Maison de l'Informatique et des Mathématiques Discrètes, MIMD},
title = {Unification of higher-order patterns modulo simple syntactic equational theories.},
url = {http://eudml.org/doc/120383},
volume = {4},
year = {2000},
}
TY - JOUR
AU - Boudet, Alexandre
TI - Unification of higher-order patterns modulo simple syntactic equational theories.
JO - Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
PY - 2000
PB - Maison de l'Informatique et des Mathématiques Discrètes, MIMD
VL - 4
IS - 1
SP - 11
EP - 30
LA - eng
KW - unification of higher-order patterns; syntactic equational theories
UR - http://eudml.org/doc/120383
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.