Publisher
Springer International Publishing
Reference21 articles.
1. Baelde, D.: Least and greatest fixed points in linear logic. ACM Trans. Comput. Log. 13(1), 2:1–2:44 (2012)
2. Buszkowski, W.: Lambek calculus with nonlogical axioms. In: Casadio, C., et al. (eds.) Language and Grammar, Studies in Mathematical Linguistics and Natural Language, pp. 77–93. CSLI Publications (2002)
3. Buszkowski, W.: On action logic: equational theories of action algebras. J. Log. Comput. 17(1), 199–217 (2007)
4. Buszkowski, W., Palka, E.: Infinitary action logic: complexity, models and grammars. Stud. Logica 89(1), 1–18 (2008)
5. Das, A., Pous, D.: Non-well-founded proof theory for (Kleene+action) (algebras+lattices). In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Leibniz International Proceedings in Informatics (LIPIcs), vol. 119, pp. 19:1–19:18. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany (2018). https://doi.org/10.4230/LIPIcs.CSL.2018.19
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献