Amanote Research
Register
Sign In
DiagrammaticCHR: A Diagrammatic Representation of CHR Programs
doi 10.1109/iv.2015.31
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2015
Authors
Nada Sharaf
Slim Abdennadher
Thom Fruhwirth
Publisher
IEEE
Related search
Knowledge Representation in a Proof Checker for Logic Programs
Paratantrasvabhava (I) -A Diagrammatic Account- (Continued)
JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
Holes in Thet−Jzmodel: A Diagrammatic Study
Physical Review B
Cost Flow Diagrams as an Alternative Method of External Problem Representation - A Diagrammatic Approach to Teaching Cost Accounting and Evidence of Its Effectiveness
SSRN Electronic Journal
Chapter Four. Diagrammatic Notation
A Partial Ordering of Knots and Links Through Diagrammatic Unknotting
Journal of Knot Theory and its Ramifications
Number Theory
Algebra
Properties of Co-Operations: Diagrammatic Proofs
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Peter Munk Christiansen & Niels Chr. Sidenius
Politica
