default search action
Journal of Logic and Algebraic Methods in Programming, Volume 95
Volume 95, February 2018
- John P. Gallagher, Mai Ajspur, Bishoksan Kafle:
Optimised determinisation and completion of finite tree automata. 1-16 - Emilio Tuosto, Roberto Guanciale:
Semantics of global view of choreographies. 17-40 - Jirí Adámek, Stefan Milius, Lawrence S. Moss:
Fixed points of functors. 41-81 - Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
A modular reasoning system using uninterpreted predicates for code reuse. 82-102 - Damiano Zanardini:
Field-sensitive sharing. 103-127 - Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Deconstructing Lawvere with distributive laws. 128-146 - Thomas T. Hildebrandt, Marino Miculan:
Guest editors' foreword. 147
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.