No. Title Author Year
1 Modal Logic and Distributed Message Passing Automata Kuusisto, Antti 2013
2 Undecidable First-Order Theories of Affine Geometries Kuusisto, Antti et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 2


DROPS-Home | Fulltext Search | Imprint Published by LZI