Home
About
Browse
Browse by Year
Browse by Research Area
Browse by Division
Browse by Author
Data Privacy Policy
Impressum
Login
Items where Division is "Rayna Dimitrova (RD)" and Year is 2024
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Author(s)/Creator(s)
|
Item Type
|
No Grouping
Jump to:
H
Number of items:
1
.
H
Heim, Philippe
and
Dimitrova, Rayna
(2024)
Solving Infinite-State Games via Acceleration.
In: 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024).
Conference:
POPL ACM-SIGACT Symposium on Principles of Programming Languages
(In Press)
This list was generated on
Fri Dec 6 19:25:08 2024 CET
.