PlumX Metrics
Embed PlumX Metrics

A normal form for first-order logic over doubly-linked data structures

International Journal of Foundations of Computer Science, Vol: 19, Issue: 1, Page: 205-218
2008
  • 0
    Citations
  • 4
    Usage
  • 0
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Metrics Details

Article Description

International Journal of Foundations of Computer Science

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know