This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambd...
The papers in this volume were presented at the fourthbiennial SummerConference on Category Theor...
Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limi...
In this volume, different aspects of logics for dependence and independence are discussed, includ...
In this volume, different aspects of logics for dependence and independence are discussed, includ...
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programmi...
Unser bisheriger Preis:ORGPRICE: 139,09 €
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programmi...
Unser bisheriger Preis:ORGPRICE: 129,99 €