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-12700
Direct link
http://sh.diva-portal.org/smash/record.jsf?pid=diva2:452128
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
Magic Computation for Well-founded Semantics: ICLP '94 Workshop Santa Margherita Ligure, Italy, June 17, 1994 Selected Papers
Degerstedt, Lars
Linköping university, dept of computer science.
Nilsson, Ulf
Linköping university, dept of computer science.
1995 (English)
In:
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop Santa Margherita Ligure, Italy, June 17, 1994 Selected Papers / [ed] Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, Berlin: Springer-Verlag , 1995, p. 181-204
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Berlin: Springer-Verlag , 1995. p. 181-204
Series
Lecture notes in computer science, ISSN 0302-9743 ; 927
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:sh:diva-12700
DOI:
10.1007/BFb0030665
ISBN:
3-540-59467-1 (print)
OAI: oai:DiVA.org:sh-12700
DiVA, id:
diva2:452128
Available from:
2011-10-27
Created:
2011-10-28
Last updated:
2025-10-07
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Other links
Publisher's full text
Authority records
Degerstedt, Lars
Search in DiVA
By author/editor
Degerstedt, Lars
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
doi
isbn
urn-nbn
Altmetric score
doi
isbn
urn-nbn
Total: 334 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-12700
Direct link
http://sh.diva-portal.org/smash/record.jsf?pid=diva2:452128
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.47.0
|
WCAG
|
Södertörn University
|
Contact SH DiVA support
|
Register in DiVA
DiVA
Logotyp