sh.se
Publications
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
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:sh:diva-12698
Direct link
http://sh.diva-portal.org/smash/record.jsf?pid=diva2:452159
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
harvard-anglia-ruskin-university
apa-old-doi-prefix.csl
sodertorns-hogskola-harvard.csl
sodertorns-hogskola-oxford.csl
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
harvard-anglia-ruskin-university
apa-old-doi-prefix.csl
sodertorns-hogskola-harvard.csl
sodertorns-hogskola-oxford.csl
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
Tabulated Resolution for Well-founded Semantics
Bol, Roland
Degerstedt, Lars
1993 (English)
In:
Logic programming: proceedings of the 1993 international symposium / [ed] Dale Miller, Cambridge, Mass.: MIT Press , 1993, p. 199-219
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Cambridge, Mass.: MIT Press , 1993. p. 199-219
Series
Logic programming, ISSN 1061-0464
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:sh:diva-12698
ISBN:
0262631520 (print)
OAI: oai:DiVA.org:sh-12698
DiVA, id:
diva2:452159
Conference
International logic Programming Symposium
Available from:
2011-10-27
Created:
2011-10-28
Last updated:
2018-01-12
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Authority records
Degerstedt, Lars
Search in DiVA
By author/editor
Degerstedt, Lars
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetric score
isbn
urn-nbn
Total: 184 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:sh:diva-12698
Direct link
http://sh.diva-portal.org/smash/record.jsf?pid=diva2:452159
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
harvard-anglia-ruskin-university
apa-old-doi-prefix.csl
sodertorns-hogskola-harvard.csl
sodertorns-hogskola-oxford.csl
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
harvard-anglia-ruskin-university
apa-old-doi-prefix.csl
sodertorns-hogskola-harvard.csl
sodertorns-hogskola-oxford.csl
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.41.0
|
WCAG
|
Södertörn University
|
Contact SH DiVA support
|
Register in DiVA
DiVA
Logotyp