Logic Programming as Hypergraph Rewriting

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-53982-4_16
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Disjunctive Logic Programming as Constrained Inferences

1997English

Abstract Categorial Parsing as Linear Logic Programming

2015English

Term Rewriting Meets Aspect-Oriented Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Logic Programming

1995English

Separation Logic Adapted for Proofs by Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Rewriting Logic Approach to Operational Semantics

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

Verifying Security Protocols as Planning in Logic Programming

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2001English

Translating Logic Programs Into Conditional Rewriting Systems

1997English

Abduction in Logic Programming as Second-Order Quantifier Elimination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy