Skip to Main Content (Press Enter)
×
Home
People
Outputs
Organizations
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
People
Outputs
Organizations
Expertise & Skills
☰
Outputs
DAGSTUHL SEMINAR PROCEEDINGS
Series
Identifier:
E211637
ISSN:
1862-4405
Overview
Overview
Outputs (2)
Designing Organizations: Towards a Model
Conference Paper
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs
Abstract
No Results Found
