Logic Programming

DOI10.1007/b94619zbMath1204.68060OpenAlexW2889864133MaRDI QIDQ5191491

Brigitte Pientka

Publication date: 6 August 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

The higher-order prover \textsc{Leo}-II ⋮ LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) ⋮ Case Analysis of Higher-Order Data ⋮ Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions

This page was built for publication: Logic Programming