Titlebook: Logic, Language, Information and Computation; 16th International W Hiroakira Ono,Makoto Kanazawa,Ruy Queiroz Conference proceedings 2009 Sp

杠杆

0302-9743 ; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection..978-3-642-02260-9978-3-642-02261-6Series ISSN 0302-9743 Series E-ISSN 1611-3349