Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library

Hans Jürgen Ohlbach. Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library. In Sergei N. Artëmov, Howard Barringer, Artur S. d Avila Garcez, Luís C. Lamb, John Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. pages 453-498, College Publications, 2005.

Abstract

Abstract is missing.