English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Making Higher-Order Superposition Work

Vukmirović, P., Bentkamp, A., Blanchette, J., Cruanes, S., Nummelin, V., & Tourret, S. (2022). Making Higher-Order Superposition Work. Journal of Automated Reasoning, 66, 541-564. doi:10.1007/s10817-021-09613-z.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0009-F7A1-A Version Permalink: https://hdl.handle.net/21.11116/0000-000D-0B18-D
Genre: Journal Article

Files

show Files

Locators

show
hide
Locator:
https://rdcu.be/cGXwx (Publisher version)
Description:
Sharable Link
OA-Status:
Not specified

Creators

show
hide
 Creators:
Vukmirović, Petar1, Author
Bentkamp, Alexander1, Author
Blanchette, Jasmin2, Author           
Cruanes, Simon1, Author
Nummelin, Visa1, Author
Tourret, Sophie2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2022
 Publication Status: Published online
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Vukmirovic2022
DOI: 10.1007/s10817-021-09613-z
 Degree: -

Event

show

Legal Case

show

Project information

show hide
Project name : Matryoshka
Grant ID : 713999
Funding program : Horizon 2020 (H2020)
Funding organization : European Commission (EC)

Source 1

show
hide
Title: Journal of Automated Reasoning
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: New York, NY : Springer
Pages: 24 p. Volume / Issue: 66 Sequence Number: - Start / End Page: 541 - 564 Identifier: ISSN: 0168-7433
CoNE: https://pure.mpg.de/cone/journals/resource/954926965948