Models, Algorithms, Logics and Tools - 9783319631202

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Lar...

Probst - Semantics Logics and Calculi Essays Dedicated to Hanne Ri - X555z

Mart-Oliet - Logic Rewriting and Concurrency Essays Dedicated to - X555z

Nigam - Logic Language and Security Essays Dedicated to Andre Sced - X555z

Beklemishev - Fields of Logic and Computation II Essays Dedicated to - X555z

Albers - Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on th - X555z