Manuel Clavel und Rewriting Logic - Info zur Person

(1 - 14 von 18

)

Manuel Clavel, Reflection in Rewriting Logic Metalogical Foundations...

philpapers.org

Reflection in Rewriting Logic Metalogical Foundations and Metaprogramming Applications. Manuel Clavel. (2000). Abstract, This article has no associated ...

Reflection in Rewriting Logic: Metalogical Foundations and...

web.stanford.edu

Author: Manuel Clavel, Series: More CSLI Publications Titles, Price: $ cloth, $ paperback, $ electronic, Length: 216 pages

all about maude von manuel clavel - ZVAB

www.zvab.com

All About Maude - A High-Performance Logical Framework : How to Specify, Program, and Verify Systems in Rewriting Logic von Manuel Clavel und eine große...

Manuel Clavel (Author of Reflection in Rewriting Logic)

www.goodreads.com

Manuel Clavel is the author of Reflection in Rewriting Logic (0.0 avg rating, 0 ratings, 0 reviews, published 2000), All About Maude (0.0 avg rating, 0 r...

bokus.com: Reflection in Rewriting Logic - Manuel Clavel - Häftad...

Pris: 289 kr. Häftad, Skickas inom vardagar. Köp Reflection in Rewriting Logic av Manuel Clavel på Bokus.com.

Formal Methods for Open Object-Based Distributed Systems IV: IFIP...

books.google.de

[14] Manuel Clavel, Francisco Durán, Steven Eker, and José Meseguer. Building equational proving tools by reflection in rewriting logic. In Proc. of the Cafe OBJ ...

Clavel, Manuel [WorldCat Identities]

worldcat.org

Reflection in rewriting logic : metalogical foundations and metaprogramming applications by Manuel Clavel( Book ) 7 editions published in in English and ...

bol.com: bol.com | Reflection in Rewriting Logic | | Manuel...

Auteur: Manuel Clavel. Uitgever: Mercury Learning & Information. Engels; ; juni 2000; Paperback; 192 pagina's. Alle productspecificaties ...

Clavel, Manuel (Person) - Bates College

link.bates.edu

All About Maude - A High-Performance Logical Framework : How to Specify, Program and Verify Systems in Rewriting Logic, by Manuel Clavel, Francisco Durán ...

Reflection in membership equational logic, many-sorted equational...

experts.illinois.edu

logic with equality, and rewriting logic. Manuel Clavel, José Meseguer, Miguel ...

Maude Manual -- References

maude.cs.uiuc.edu

[10]: Manuel Clavel. Reflection in general logics and in rewriting logic, with applications to the Maude language. Ph.D. Thesis, University of Navarre,

Reflection in General Logics, Rewriting Logic, and Maude – topic of...

cyberleninka.org

Abstract This paper is a summary of my PhD dissertation in which: general axiomatic notions of reflective...

Alle Infos zum Namen "Manuel Clavel"

Verwandte Suchanfragen zu Manuel Clavel

José Meseguer

Personen
Vorname "Manuel" (26536)
Name "Clavel" (69)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Manuel Clavel und Rewriting Logic Person-Info