Università
della
Svizzera
italiana
Italiano
English
usi.ch
Info Desk
Campus map
search.usi
Search for contacts, projects,
courses and publications
Italiano
People
Education
Research
Organisation
Search for publications
People
Education
Education
Courses
Research
Projects
Publications
Competences maps
Organisation
Faculties
Other organizational units
Decision Procedures for Flat Array Properties
Additional information
Authors
Alberti F.,
Sharygina N.
Type
Technical report
Year
2013
Language
English
Number
2013/04
Month
October
Faculties
Faculty of Informatics
Attachments
PDF