Modelling Infinite Structures with Atoms-Reference-Cited by-同舟云学术

Modelling Infinite Structures with Atoms

Published:2013 Issue: Volume: Page:13-28
ISSN:0302-9743
Container-title:Logic, Language, Information, and Computation
language:
Short-container-title:

Author:

Bojańczyk Mikołaj

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39992-3_3

Reference9 articles.

1. Adamowicz, Z., Zbierski, P.: Logic of Mathematics: A Modern Course of Classical Logic. Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Wiley (2011)

2. Bojanczyk, M., Klin, B., Lasota, S.: Automata with group actions. In: LICS, pp. 355–364 (2011)

3. Lecture Notes in Computer Science;M. Bojańczyk,2012

4. Bojanczyk, M., Torunczyk, S.: Imperative programming in sets with atoms. In: D’Souza, D., Kavitha, T., Radhakrishnan, J. (eds.) FSTTCS. LIPIcs, vol. 18, pp. 4–15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2012)

5. Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Asp. Comput. 13(3-5), 341–363 (2002)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Beyond Knowing That: A New Generation of Epistemic Logics;Jaakko Hintikka on Knowledge and Game-Theoretical Semantics;2018

2. Formal Reasoning on Infinite Data Values: An Ongoing Quest;Engineering Trustworthy Software Systems;2017

3. Abstract Interpretations in the Framework of Invariant Sets;Fundamenta Informaticae;2016-03-04

4. A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours;Trustworthy Global Computing;2014