Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Francesco Parisi-Presicce
Logic Programming as Hypergraph Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Disjunctive Logic Programming as Constrained Inferences
Abstract Categorial Parsing as Linear Logic Programming
Term Rewriting Meets Aspect-Oriented Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic Programming
Separation Logic Adapted for Proofs by Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Rewriting Logic Approach to Operational Semantics
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Verifying Security Protocols as Planning in Logic Programming
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Translating Logic Programs Into Conditional Rewriting Systems
Abduction in Logic Programming as Second-Order Quantifier Elimination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
