|
|
Showing 1 - 5 of
5 matches in All Departments
This book constitutes the proceedings of the Third International
Workshop on Dynamic Logic, DaLi 2019, held in Prague, Czech
Republic in October 2020. Due to COVID-19 the workshop has been
held online. The 17 full papers presented together with 6 short
papers were carefully reviewed and selected from 31 submissions.
The theoretical relevance and practical potential of dynamic logic
is a topic of interest in a number of scientific venues, from
wide-scope software engineering conferences to modal logic specific
events. The DaLi 2020 workshop is exclusively dedicated to Dynamic
logic and aims at filling this gap and creating a heterogeneous
community of colleagues, from Academia to Industry, from
Mathematics to Computer Science.
|
You may like...
Loot
Nadine Gordimer
Paperback
 (2)
R383
R310
Discovery Miles 3 100
Gloria
Sam Smith
CD
R187
R177
Discovery Miles 1 770
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
