Please wait ...
Simple search
Advanced search
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22639
Direct link
http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042204
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
The implementation of AKL(FD)
Carlson, Björn
Janson, Sverker
RISE, Swedish ICT, SICS, Computer Systems Laboratory.
ORCID iD:
0000-0002-4285-101x
Carlsson, Mats
RISE, Swedish ICT, SICS, Computer Systems Laboratory.
ORCID iD:
0000-0003-3079-8095
1995 (English)
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
The MIT Press , 1995, 1. , p. 16
Series
MIT Press Series in Logic Programming
National Category
Computer and Information Sciences
Identifiers
URN:
urn:nbn:se:ri:diva-22639
OAI: oai:DiVA.org:ri-22639
DiVA, id:
diva2:1042204
Conference
ILPS'95, International Logic Programming Symposium, 4-7 Dec 1995, Portland, Oregon
Note
J. Lloyd, editor.
Available from:
2016-10-31
Created:
2016-10-31
Last updated:
2023-06-08
Bibliographically approved
Open Access in DiVA
fulltext
(178 kB)
118 downloads
File information
File name
FULLTEXT01.pdf
File size
178 kB
Checksum
SHA-512
ca6f4c0840517ab2c273cb908e6f1fd8cd3e37cc90abce5ab25a2dd6d3971607add006b79a200a7e0be3fd5724516b1a7520e9b989baf395fa288c11dae5d4f2
Type
fulltext
Mimetype
application/pdf
fulltext
(171 kB)
59 downloads
File information
File name
FULLTEXT02.ps
File size
171 kB
Checksum
SHA-512
2e19680e4d1f697abd7dbd3f774286b0b9ff8b4dc8f0589ec927a6f9804101597e7508c1a6ea52fe7ee64982262d2af8e5b3dc4a7625b00020935078e2e7a73e
Type
fulltext
Mimetype
application/postscript
Authority records
Janson, Sverker
Carlsson, Mats
Search in DiVA
By author/editor
Janson, Sverker
Carlsson, Mats
By organisation
Computer Systems Laboratory
On the subject
Computer and Information Sciences
Search outside of DiVA
Google
Google Scholar
Total: 177 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available
urn-nbn
Altmetric score
urn-nbn
Total: 1043 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22639
Direct link
http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042204
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.45.0
|
WCAG
DiVA
Logotyp