Diego Figueira
2
Documents
Publications
- 2
- 2
- 1
- 1
- 1
- 1
|
Reasoning about Data Repetitions with Counter SystemsLogical Methods in Computer Science, 2016, 12 (3), ⟨10.2168/LMCS-12(3:1)2016⟩
Article dans une revue
hal-01685180v1
|
|
Reasoning about Data Repetitions with Counter SystemsAnnual IEEE/ACM Symposium on Logic in Computer Science (LICS), Jun 2013, New Orleans, United States. ⟨10.1109/LICS.2013.8⟩
Communication dans un congrès
hal-01795130v1
|