BibTeX
CSL-JSON
MLA
Harvard
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
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
Stage
Year 2012
chapter
Stage
published
Year 2012
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar