Reflective Metalogical Frameworks

Thumbnail
Metadata only
Autor(in)
Basin, David
Clavel, Manuel
Meseguer, Jose
Datum
2004-07
Typ
    Journal Article
Publikationsstatus
published
Externe Links
Zeitschrift / Serie
ACM Transactions on Computational Logic
Band
5(3)
Seiten / Artikelnummer
528 - 576
Verlag
Association for Computing Machinery
Thema
Membership equational logic; Metalogics; Reflection; Rewriting logic
Organisationseinheit
03634 - Basin, David / Basin, David  
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics