Alice and Bob Meet Equational Theories
dc.contributor.author
Basin, David A.
dc.contributor.author
Keller, Michel
dc.contributor.author
Radomirović, Saša
dc.contributor.author
Sasse, Ralf
dc.contributor.editor
Martí-Oliet, Narciso
dc.contributor.editor
Csaba Ölveczky, Peter
dc.contributor.editor
Talcott, Carolyn
dc.date.accessioned
2017-06-11T19:25:48Z
dc.date.available
2017-06-11T19:25:48Z
dc.date.issued
2015
dc.identifier.isbn
978-3-319-23164-8
dc.identifier.isbn
978-3-319-23165-5
dc.identifier.isbn
3-319-23165-0
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-319-23165-5_7
dc.identifier.uri
http://hdl.handle.net/20.500.11850/104410
dc.language.iso
en
dc.publisher
Springer
dc.title
Alice and Bob Meet Equational Theories
dc.type
Conference Paper
ethz.book.title
Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of his 65th Birthday
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
9200
ethz.journal.abbreviated
LNCS
ethz.pages.start
160
ethz.pages.end
180
ethz.event
Logic, Rewriting, and Concurrency - Festschrift Symposium in Honor of José Meseguer 2015
ethz.event.location
Urbana, IL, USA
ethz.event.date
September 23-25, 2015
ethz.identifier.wos
ethz.identifier.scopus
ethz.identifier.nebis
010511952
ethz.publication.place
Cham
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-11T19:26:23Z
ethz.source
ECIT
ethz.identifier.importid
imp5936537d3cf0e68174
ethz.ecitpid
pub:163390
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-13T13:55:00Z
ethz.rosetta.lastUpdated
2022-03-28T14:06:49Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Alice%20and%20Bob%20Meet%20Equational%20Theories&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2015&rft.volume=9200&rft.spage=160&rft.epage=180&rft.issn=0302-9743&1611-3349&rft.au=Basin,%20David%20A.&Keller,%20Michel&Radomirovi%C4%87,%20Sa%C5%A1a&Sasse,%20Ralf&rft.isbn=978-3-319-23164-8&978-3-319-23165-5&3-319-23165-0&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-319-23165-5_7&rft.btitle=Logic,%20Rewriting,%20and%20Concurrency%20:%20Essays%20Dedicated%20to%20Jos%C3%A9%20Meseguer%20on%20the%20Occasion%20of%20his%2065th%20Birthday
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34978]