Français
English
Recherche
Personnaliser
Vos alertes
Vos paniers
Vos recherches
Vos alertes
Vos paniers
Vos recherches
Browse Collections
Aide
identification
Accueil
> Reducibility method for termination properties of typed lambda terms
Informations
Statistiques d'utilisation
Fichiers
Reducibility method for termination properties of typed lambda terms
Ghilezan, Silvia
;
Kuncak, Viktor
;
Likavec, Silvia
Publié dans:
Fifth International Workshop on Termination
Année
2001
Laboratoires:
LARA
Le document apparaît dans:
Production scientifique et compétences
>
I&C - Faculté Informatique & Communications
>
IINFCOM
>
LARA - Laboratoire d'analyse et de raisonnement automatisés
Travail hors EPFL
Papiers de conférence
Publié
Exporter au format:
BibTeX
|
MARC
|
MARCXML
|
DC
|
EndNote
|
NLM
|
RefWorks
|
RIS
Afficher au format:
MARC
|
MARCXML
|
DC
Ajouter à votre panier:
Retour à la recherche
Notice créée le 2007-08-21, modifiée le 2018-03-17
Évaluer ce document:
Rate this document:
1
2
3
4
5
(Pas encore évalué)
Add to personal basket
Exporter vers
BibTeX
,
MARC
,
MARCXML
,
DC
,
EndNote
,
NLM
,
RefWorks