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-22195
Direct link
http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1041739
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
GCLA: Generalized horn clauses as a programming language
Aronsson, Martin
RISE, Swedish ICT, SICS, Decisions, Networks and Analytics lab.
ORCID iD:
0000-0002-0236-783x
Hallnäs, Lars
RISE - Research Institutes of Sweden (2017-2019), ICT, SICS.
1988 (English)
Report (Other academic)
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1988, 1. , p. 28
Series
SICS Research Report, ISSN 0283-3638 ; R88:14
National Category
Computer and Information Sciences
Identifiers
URN:
urn:nbn:se:ri:diva-22195
OAI: oai:DiVA.org:ri-22195
DiVA, id:
diva2:1041739
Note
Original report number R88014 - no longer distributed; replaced by R89005.
Available from:
2016-10-31
Created:
2016-10-31
Last updated:
2023-05-25
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Authority records
Aronsson, Martin
Search in DiVA
By author/editor
Aronsson, Martin
By organisation
Decisions, Networks and Analytics lab
SICS
On the subject
Computer and Information Sciences
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 120 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-22195
Direct link
http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1041739
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