Gilles Dowek (u. A.) | Higher-order Algebra, Logic, And Term Rewriting

T. F. Melham (u. A.) | Higher Order Logic And Hardware Verification |

Narciso Martí-oliet (u. A.) | Logic, Rewriting, And Concurrency |

Rewriting Logic And Its Applications | Narciso Martí-oliet (u. A.) |

Jean-luc Remy (u. A.) | Conditional Term Rewriting Systems |

Jan Willem Klop (u. A.) | Term Rewriting Systems | Buch | Englisch

T. Melham | Higher Order Logic And Hardware Verification | Taschenbuch

Friedrich L. Bauer (u. A.) | Logic And Algebra Of Specification |

Term Rewriting And All That By Franz Baader

Tableau Methods For Propositional Logic And Term Logic 6302

Biological Sequence Matching Using Boolean Algebra And Fuzzy Logic: A

Frederic P. Miller (u. A.) | First-order Logic | Taschenbuch |

Asma Khalil (u. A.) | Twin And Higher-order Pregnancies | Buch |

A Geometry Of Approximation: Rough Set Theory: Logic, Algebra And

Dipolar Correlation Spectroscopy Higher-order Correlation Terms In

Santiago Escobar | Rewriting Logic And Its Applications | Taschenbuch