Inproceedings,
Enriching Prolog with S-Unification.
A. Kågedal, and F. Kluzniak.Declarative Programming, page 51-65. Springer, (1991)
Meta data
- BibTeX key
- conf/phoenix/KagedalK91
- entry type
- inproceedings
- booktitle
- Declarative Programming
- year
- 1991
- pages
- 51-65
- publisher
- Springer
- series
- Workshops in Computing
- crossref
- conf/phoenix/1991
- ee
- https://doi.org/10.1007/978-1-4471-3794-8_4
- isbn
- 3-540-19735-4
- url
- http://dblp.uni-trier.de/db/conf/phoenix/phoenix1991.html#KagedalK91
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/phoenix/KagedalK91
%A Kågedal, Andreas
%A Kluzniak, Feliks
%B Declarative Programming
%D 1991
%E Darlington, John
%E Dietrich, Roland
%I Springer
%K dblp
%P 51-65
%T Enriching Prolog with S-Unification.
%U http://dblp.uni-trier.de/db/conf/phoenix/phoenix1991.html#KagedalK91
%@ 3-540-19735-4
@inproceedings{conf/phoenix/KagedalK91,
added-at = {2019-06-21T00:00:00.000+0200},
author = {Kågedal, Andreas and Kluzniak, Feliks},
biburl = {https://www.bibsonomy.org/bibtex/293922fbc1d237a62baacd3ca5796ddfb/dblp},
booktitle = {Declarative Programming},
crossref = {conf/phoenix/1991},
editor = {Darlington, John and Dietrich, Roland},
ee = {https://doi.org/10.1007/978-1-4471-3794-8_4},
interhash = {9b4fe8864ca3d34f7a7a56cc4c71df63},
intrahash = {93922fbc1d237a62baacd3ca5796ddfb},
isbn = {3-540-19735-4},
keywords = {dblp},
pages = {51-65},
publisher = {Springer},
series = {Workshops in Computing},
timestamp = {2019-06-22T11:38:50.000+0200},
title = {Enriching Prolog with S-Unification.},
url = {http://dblp.uni-trier.de/db/conf/phoenix/phoenix1991.html#KagedalK91},
year = 1991
}