Product
Help
Pricing
About
Jobs
Log in
Get started
Award
Add to collection
101077902
Funder:
European Research Council
Funded outputs count:
3
Funder award ID:
101077902
OpenAlex ID:
G6232044841
General Decidability Results for Systems with Continuous Counters
2026
·
A. R. Balasubramanian
, Matthew Hague
, et al.
·
Proceedings of the ACM on Programming Languages
Slice closures of indexed languages and word equations with counting constraints
2024
·
Laura Ciobanu
, Georg Zetzsche
·
Proceedings - Symposium on Logic in Computer Science
·
2
Verifying Unboundedness via Amalgamation
2024
·
Ashwani Anand
, Sylvain Schmitz
, et al.
·
Proceedings - Symposium on Logic in Computer Science
·
5
Show more works
View as search
Year
Topic
