King's College London

King's main site

Research portal

Nominal Matching Logic

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

James Cheney, Maribel Fernandez

Original language	English
Title of host publication	Principles and Practice of Declarative Programming - Proceedings PPDP 2022
Publisher	ACM Press
Accepted/In press	15 Jul 2022
Published	22 Sep 2022

Links

http://arxiv.org/abs/2207.14139
Accepted author manuscript

King's Authors

Maribel Fernandez (Informatics, Trusted Autonomous Systems Hub, Finance Hub, Security Hub, Software Systems)

View graph of relations

King's College London - Homepage

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454