System disruptions
There are recurring service disruptions on some of the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
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-22638
Direct link
http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042203
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
Entailment of finite domain constraints
Carlson, Björn
Carlsson, Mats
RISE, Swedish ICT, SICS, Computer Systems Laboratory.
ORCID iD:
0000-0003-3079-8095
Diaz, Daniel
1994 (English)
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
The MIT Press , 1994, 1. , p. 15
Series
MIT Press Series in Logic Programming
National Category
Computer and Information Sciences
Identifiers
URN:
urn:nbn:se:ri:diva-22638
OAI: oai:DiVA.org:ri-22638
DiVA, id:
diva2:1042203
Conference
ICLP'94, International Conference on Logic Programming, 13-18 June 1994, Santa Margherita Ligure, Italy
Note
P. Van Hentenryck, editor.
Available from:
2016-10-31
Created:
2016-10-31
Last updated:
2025-09-23
Bibliographically approved
Open Access in DiVA
fulltext
(189 kB)
236 downloads
File information
File name
FULLTEXT01.pdf
File size
189 kB
Checksum
SHA-512
5f8e5c5d0aaa3aeb5d6b5aa60e87ae5f7c5b89d7b2ba8c3a01af252468d79af636bd3199ba40e280d9483f115b2ea677a8f8a76f76b2f178547beddb871763c4
Type
fulltext
Mimetype
application/pdf
fulltext
(202 kB)
54 downloads
File information
File name
FULLTEXT02.ps
File size
202 kB
Checksum
SHA-512
bea045b16a3113be8c221d5101ece028e46fd464f39f2e0f726d095539916c74aadeb8bf32b0d5e33e03a3416d73197915bfc92987e9deeb0e9e7ff570403fea
Type
fulltext
Mimetype
application/postscript
Authority records
Carlsson, Mats
Search in DiVA
By author/editor
Carlsson, Mats
By organisation
Computer Systems Laboratory
On the subject
Computer and Information Sciences
Search outside of DiVA
Google
Google Scholar
Total: 291 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: 255 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-22638
Direct link
http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042203
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.49.0
|
WCAG
DiVA
Logotyp