Author:
Bekker Wilmari,Goranko Valentin
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Berstel, J.: Transductions and Context-Free Languages. Teubner Studienbücher Informatik. B.G. Teubner, Stuttgart (1979)
2. Biere, A., Cimatti, A., Clarke, E., Strichman, O., Zhu, Y.: Bounded model checking. Advances in Computers 58, 118–149 (2003)
3. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. CUP (2001)
4. Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL 8(3), 339–365 (2000)
5. Blumensath, A.: Automatic structures. Diploma thesis, RWTH Aachen (1999)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献