English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Holonomic Techniques, Periods, and Decision Problems (Invited Talk)

Ouaknine, J. (2020). Holonomic Techniques, Periods, and Decision Problems (Invited Talk). In N. Saxena, & S. Simon (Eds.), 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science (pp. 1-3). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.FSTTCS.2020.4.

Item is

Basic

show hide
Genre: Conference Paper

Files

show Files
hide Files
:
LIPIcs-FSTTCS-2020-4.pdf (Publisher version), 312KB
Name:
LIPIcs-FSTTCS-2020-4.pdf
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
Copyright Date:
-
Copyright Info:
© Joël Ouaknine; licensed under Creative Commons License CC-BY 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). Editors: Nitin Saxena and Sunil Simon; Article No. 4; pp. 4:1–4:3 Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
License:
-

Locators

show
hide
Description:
-
OA-Status:

Creators

show
hide
 Creators:
Ouaknine, Joël1, Author           
Affiliations:
1Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society, ou_2541691              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2020
 Publication Status: Published online
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: OuakninFSTTCS2020
DOI: 10.4230/LIPIcs.FSTTCS.2020.4
URN: urn:nbn:de:0030-drops-132451
 Degree: -

Event

show
hide
Title: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Place of Event: Goa, India (Virtual Conference)
Start-/End Date: 2020-12-14 - 2020-12-18

Legal Case

show

Project information

show hide
Project name : AVS-ISS
Grant ID : 648701
Funding program : Horizon 2020 (H2020)
Funding organization : European Commission (EC)

Source 1

show
hide
Title: 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science
  Abbreviation : FSTTCS 2020
  Subtitle : 40th IARCS Annual Conferenceon Foundations of Software Technology and Theoretical Computer Science FSTTCS 2020, December 14–18, 2020, BITS Pilani,K K Birla Goa Campus, Goa, India (Virtual Conference)
Source Genre: Proceedings
 Creator(s):
Saxena, Nitin1, Editor
Simon, Sunil1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Wadern : Schloss Dagstuhl
Pages: - Volume / Issue: - Sequence Number: 4 Start / End Page: 1 - 3 Identifier: ISBN: 978-3-95977-174-0

Source 2

show
hide
Title: Leibniz International Proceedings in Informatics
  Abbreviation : LIPIcs
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 182 Sequence Number: - Start / End Page: - Identifier: ISSN: 1868-8969