Subject: Logic programming -- Periodicals - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject Logic programming -- Periodicals

821. ΑCheck: A mechanized metatheory model checker*. Issue 3 (22nd May 2017)

Authors:: CHENEY, JAMES; MOMIGLIANO, ALBERTO
Journal:: Theory and practice of logic programming
Issue:: Volume 17:Issue 3(2017)
Page Start:: 311
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

822. ℋ-Colouring Dichotomy in Proof Complexity. (24th April 2021)

Authors:: Gaysin, Azza
Journal:: Journal of logic and computation
Issue:: Volume 31:Number 5(2021)
Page Start:: 1206
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗