Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Making Higher-Order Superposition Work

Subjects: Higher-order theorem proving; Theoretical computer science; Computer science

  • Source: Journal of Automated ReasoningJournal of Automated Reasoning, 2022, 66 (4), pp.541-564. ⟨10.1007/s10817-021-09613-z⟩Automated Deduction – CADE 28 ISBN: 9783030798758CADE

تفاصيل العنوان

×

A Survey of the Proof-Theoretic Foundations of Logic Programming

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; F.3.2

  • Source: Theory and Practice of Logic ProgrammingTheory and Practice of Logic Programming, Cambridge University Press (CUP), 2021, pp.1-46. ⟨10.1017/S1471068421000533⟩Theory and Practice of

تفاصيل العنوان

×
  • 1-10 of  8,399 نتائج ل ""010102 general mathematics""