Foundations of Logic Programming in Hybridised Logics

DOI10.1007/978-3-319-28114-8_5zbMath1472.68025OpenAlexW2288355464MaRDI QIDQ2787338

Daniel Găină

Publication date: 25 February 2016

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-28114-8_5

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Related Items (2)

Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Birkhoff style calculi for hybrid logics

This page was built for publication: Foundations of Logic Programming in Hybridised Logics