Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus release_plkghzuw35dnrjaog5m3uteq7e

by Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2012   p166-185

Archived Files and Locations

application/pdf  728.2 kB
file_wve54t3sqjd7vnukuiwptvttlm
hal.inria.fr (repository)
web.archive.org (webarchive)
application/pdf  568.4 kB
file_cvx2754elvchthvpdqafqbl2je
hal.inria.fr (repository)
web.archive.org (webarchive)
application/pdf  857.6 kB
file_u3lfq2n5qzbfdgytir2plvxv7y
hal.inria.fr (repository)
web.archive.org (webarchive)
application/pdf  381.7 kB
file_2rcn6ltp4zeunaa2xy25qjxq4u
www.doc.ic.ac.uk (web)
web.archive.org (webarchive)
application/pdf  443.6 kB
file_4s5dsejq5rfpbg24gt42a2f3d4
web.archive.org (webarchive)
hal.archives-ouvertes.fr (web)
application/pdf  375.1 kB
file_2cxuodmhv5gvfmiqudkdwqqjka
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2012
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 3aff1f81-7325-42bc-81fa-ad8c3206c4f2
API URL: JSON