Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Besik Dundua
Publications
A rewrite-based computational model for functional logic programming
Mircea Marin
,
Temur Kutsia
and
Besik Dundua
In
:
SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
Keyphrases
completeness
,
functional logic programming
,
narrowing
,
soundness
,
strategies
.
Copyright © 2012-2024 easychair.org. All rights reserved.