umu.se
Publications
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Change 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
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-144607
Direct link
http://umu.diva-portal.org/smash/record.jsf?pid=diva2:1181032
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
Using HOL Light to Reason over Second-Order MRLs
Minock, Michael
KTH Royal Institute of Technology.
ORCID iD:
0000-0001-7088-3070
2016 (English)
Conference paper, Poster (with or without abstract) (Refereed)
Place, publisher, year, edition, pages
2016.
National Category
Language Technology (Computational Linguistics)
Research subject
Computer Science
Identifiers
URN:
urn:nbn:se:umu:diva-144607
OAI: oai:DiVA.org:umu-144607
DiVA, id:
diva2:1181032
Conference
The Sixth Swedish Language Technology Conference (SLTC) Umeå University, 17-18 November, 2016
Available from:
2018-02-07
Created:
2018-02-07
Last updated:
2018-06-09
Bibliographically approved
Open Access in DiVA
fulltext
(190 kB)
17 downloads
File information
File name
FULLTEXT01.pdf
File size
190 kB
Checksum
SHA-512
62b04a4f8941940003a0ba6f6a0e4758b69041afcbfcfe7b164da063a5b292544e492a0f02b0eabbfdd700cfdac44da922ba6b574511347ee59d44203dc1a4a9
Type
fulltext
Mimetype
application/pdf
Other links
URL
Authority records BETA
Minock, Michael
Search in DiVA
By author/editor
Minock, Michael
On the subject
Language Technology (Computational Linguistics)
Search outside of DiVA
Google
Google Scholar
Total: 17 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: 132 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
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-144607
Direct link
http://umu.diva-portal.org/smash/record.jsf?pid=diva2:1181032
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.35.8
|
Umeå University Library
|
Publish in DiVA
|
Contact us
|
DiVA portal
|
SwePub
|
Libris