Show simple item record

dc.contributor.author
Basin, David
dc.contributor.author
Clavel, Manuel
dc.contributor.author
Meseguer, Jose
dc.date.accessioned
2017-06-10T03:01:45Z
dc.date.available
2017-06-10T03:01:45Z
dc.date.issued
2004-07
dc.identifier.issn
1529-3785
dc.identifier.issn
1557-945X
dc.identifier.other
10.1145/1013560.1013566
dc.identifier.uri
http://hdl.handle.net/20.500.11850/52517
dc.language.iso
en
dc.publisher
Association for Computing Machinery
dc.subject
Membership equational logic
dc.subject
Metalogics
dc.subject
Reflection
dc.subject
Rewriting logic
dc.title
Reflective Metalogical Frameworks
dc.type
Journal Article
ethz.journal.title
ACM Transactions on Computational Logic
ethz.journal.volume
5
ethz.journal.issue
3
ethz.journal.abbreviated
ACM trans. comput. log.
ethz.pages.start
528
ethz.pages.end
576
ethz.identifier.nebis
004019923
ethz.publication.place
New York, NY
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-10T03:02:00Z
ethz.source
ECIT
ethz.identifier.importid
imp59364f7f5ade068119
ethz.ecitpid
pub:85334
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-18T08:08:24Z
ethz.rosetta.lastUpdated
2022-03-28T10:50:26Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Reflective%20Metalogical%20Frameworks&rft.jtitle=ACM%20Transactions%20on%20Computational%20Logic&rft.date=2004-07&rft.volume=5&rft.issue=3&rft.spage=528&rft.epage=576&rft.issn=1529-3785&1557-945X&rft.au=Basin,%20David&Clavel,%20Manuel&Meseguer,%20Jose&rft.genre=article&rft_id=info:doi/10.1145/1013560.1013566&
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record