Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nada Sharaf
DiagrammaticCHR: A Diagrammatic Representation of CHR Programs
Related publications
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
