Functional RuleML: From Horn Logic with Equality to Lambda Calculus

Par Conseil national de recherches du Canada

Téléchargement
  1. (PDF, 241 Kio)
AuteurRechercher :
FormatTexte, Article
ConférenceUPGRADE, The European Journal for the Informatics Professional, December 2005.
SujetRuleML; logic programming; functional programming; Horn logic with equality; interpretedness; valuedness; conditional equations; higher-order functions; RuleML; programmation logique; programmation fonctionnelle; logique Horn avec égalité; interprétabilité; valeur; équations conditionnelles; fonctions d'ordre supérieur; calcul lambda
Résumé
Date de publication
Dans
Langueanglais
Numéro du CNRCNRCC 48539
Numéro NPARC8913565
Exporter la noticeExporter en format RIS
Signaler une correctionSignaler une correction (s'ouvre dans un nouvel onglet)
Identificateur de l’enregistrement4b68ff09-40bc-4b8f-9e22-f3f72bbc57c8
Enregistrement créé2009-04-22
Enregistrement modifié2021-12-07
Date de modification :