Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-11(1:14)2015
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Bialgebraic Methods and Modal Logic in Structural Operational Semantics

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

Comparative Metric Semantics for Commit in Or-Parallel Logic Programming

1997English

Logic Programming From the Perspective of Algebraic Semantics

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

An Infinite-Game Semantics for Well-Founded Negation in Logic Programming

Annals of Pure and Applied Logic
Logic
2008English

Truthmaker Semantics for Relevant Logic

Journal of Philosophical Logic
Philosophy
2020English

The Semantics of Equational Logic Programming as an Instance of CLP

1993English

Supercover Semantics for Deontic Action Logic

Journal of Logic, Language and Information
LinguisticsPhilosophyComputer ScienceLanguage
2019English

Records for Logic Programming

The Journal of Logic Programming
1994English

Complementing Logic Program Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy