English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  On Robustness for the Skolem, Positivity and Ultimate Positivity Problems

Akshay, S., Bazille, H., Genest, B., & Vahanwala, M. (2024). On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. Logcial Methods in Computer Science, 20(2): 11, pp. 1-32. doi:10.46298/lmcs-20(2:11)2024.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-000F-97CF-E Version Permalink: https://hdl.handle.net/21.11116/0000-000F-97D0-B
Genre: Journal Article
Latex : On Robustness for the {Skolem}, Positivity and Ultimate Positivity Problems

Files

show Files
hide Files
:
2211.02365.pdf (Publisher version), 799KB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-000F-97D1-A
Name:
2211.02365.pdf
Description:
-
OA-Status:
Not specified
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
-
License:
https://creativecommons.org/licenses/by/4.0

Locators

show

Creators

show
hide
 Creators:
Akshay, S.1, Author
Bazille, Hugo1, Author
Genest, Blaise1, Author
Vahanwala, Mihir2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society, ou_2541691              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 20242024
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Akshay_LMCS24
DOI: 10.46298/lmcs-20(2:11)2024
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Logcial Methods in Computer Science
  Abbreviation : LMCS
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: Braunschweig : TU Braunschweig
Pages: - Volume / Issue: 20 (2) Sequence Number: 11 Start / End Page: 1 - 32 Identifier: ISSN: 1860-5974