Author:
Gabbay Dov M.,Marcelino Sérgio
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference17 articles.
1. Barringer, H., D. M. Gabbay, and D. Rydeheard, ‘Reactive Grammars’, to appear in N. Dershovitz (ed.), LNCS volume in Honour of Yakov Choueka, Springer.
2. Barringer, H., D. M. Gabbay, and J. Woods, ‘Temporal Dynamics of Argumentation Networks’, in D. Hutter and W. Stephan, (eds.), Volume Dedicated to Joerg Siekmann, Mechanising Mathematical Reasoning, Springer Lecture Notes in Computer Science 2605, 2005, pp. 59–98.
3. Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
4. Crochemore, M., and D.M. Gabbay, ’Reactive Automata’, in preparation.
5. Gabbay D.M.: ‘Reactive Kripke Semantics and Arc Accessibility’. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds) Pillars of Computer Science*: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Lecture Notes in Computer Science, vol. 4800, pp. 292–341. Springer-Verlag, Berlin (2008)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献