Oriented equational logic programming is complete

DOI10.1006/JSCO.1996.0075zbMath0878.68037OpenAlexW2016691661MaRDI QIDQ1355756

O. Diekmann

Publication date: 28 May 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2df6f2ff5ef838c59c0a6240129a96c879ae6d17

zbMATH Keywords

SLD-resolutionbasic conditional narrowing

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Stratified resolution ⋮ Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif

This page was built for publication: Oriented equational logic programming is complete