Tour
News
People
Research
Projects
Events
Publications
Contact
Giovambattista Ianni
Latest
textscNP-Spec: An Executable Specification Language for Solving All Problems in NP
Cite
×