The Semantics of Nominal Logic Programs

DOI10.1007/11799573_27MaRDI QIDQ5449613zbMATH OpenOpenAlexFDO

Authors James Cheney

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_27

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Nominal logic, a first order theory of names and binding
• scientific article; zbMATH DE number 2242589
• Term Rewriting and Applications
• Nominal equational logic
• Completeness and Herbrand theorems for nominal logic

Cited in

(11)

• Nominal logic, a first order theory of names and binding
• Nominal equational logic
• Semantics Out of Context
• scientific article; zbMATH DE number 5524514 (Why is no real title available?)
• Semantics of structured normal logic programs
• A semantics for nabla
• Logic Programming
• Completeness and Herbrand theorems for nominal logic
• Denotational semantics with nominal Scott domains
• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 2242589 (Why is no real title available?)

This page was built for publication: The Semantics of Nominal Logic Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449613)