default search action
Theoretical Computer Science, Volume 763
Volume 763, April 2019
- Qingyu He, Luoshan Xu:
Weak algebraic information systems and a new equivalent category of DOM of domains. 1-11 - Lavindra de Silva, Lin Padgham, Sebastian Sardiña:
HTN-like solutions for classical planning problems: An application to BDI agent systems. 12-37 - Chiara Bodei, Linda Brodo, Roberto Bruni:
A formal approach to open multiparty interactions. 38-65 - Jirí Adámek, Stefan Milius:
On functors preserving coproducts and algebras with iterativity. 66-87
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.