Algebraic Semantics for Transition Systems and Logic Programming

Corradini, Andrea

Algebraic Semantics for Transition Systems and Logic Programming by Andrea Corradini - Genova Dipartumento di informatica Universita di Pisa 1990 - iii, 141p.

006.3363 / N90

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832